Formalizing ODP computational viewpoint specifications in Maude

  title={Formalizing ODP computational viewpoint specifications in Maude},
  author={Jos{\'e} Ra{\'u}l Romero and Antonio Vallecillo},
  journal={Proceedings. Eighth IEEE International Enterprise Distributed Object Computing Conference, 2004. EDOC 2004.},
The ODP computational viewpoint describes the functionality of a system and its environment, in terms of a configuration of objects which interact at interfaces. Computational objects provide a functional decomposition of the system, independently of its distribution. Although several notations have been proposed to model this ODP viewpoint, either they are not expressive enough to faithfully represent all its concepts, or they tend to suffer from a lack of formal support. We explore the use of… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper


Publications citing this paper.
Showing 1-10 of 13 extracted citations

Concepts in the MDA approach

View 12 Excerpts
Highly Influenced

A Rewriting Based Model for Nondeterministic Composite Web Service System

IEEE International Conference on e-Business Engineering (ICEBE'07) • 2007
View 1 Excerpt

Formal Specification for Secure Electronic Data Interchange System in Maude

2007 IEEE International Conference on Automation and Logistics • 2007
View 1 Excerpt

On the Execution of ODP Computational Specifications

2006 10th IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW'06) • 2006
View 1 Excerpt

Modeling the ODP computational viewpoint with UML 2.0

Ninth IEEE International EDOC Enterprise Computing Conference (EDOC'05) • 2005
View 3 Excerpts


Publications referenced by this paper.
Showing 1-10 of 33 references

Reference Model for Open Distributed Processing

Geneva, Switzerland, • 1997
View 9 Excerpts
Highly Influenced

Invariant-Driven Strategies for Maude

Electr. Notes Theor. Comput. Sci. • 2005
View 2 Excerpts

Roşu. Rewriting-based techniques for runtime verification

G. K. Havelund
To appear in Journal of Automated Software Engineering, • 2005
View 2 Excerpts

Formalizing ODP enterprise specifications in Maude

Computer Standards & Interfaces • 2003
View 1 Excerpt

Maude 2.0 manual. Available in

M. Clavel, F. Duŕan, +4 authors C. Talcott
View 1 Excerpt

Conditional rewriting logic as a unified model of concurrency

F. Guenthner
Theoretical Comput . Sci . • 2002

The Maude LTL Model Checker

Electr. Notes Theor. Comput. Sci. • 2002
View 3 Excerpts

Similar Papers

Loading similar papers…