Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
A formal semantics for the ODP computational model
Computer Networks and ISDN Systems - Special issue on ISO reference model for open distributed processing
Computer Standards & Interfaces - Special issue on formal description techniques
Applying formal methods to standard development: the open distributed processing experience
Computer Standards & Interfaces - Special issue on formal description techniques
Computational models for open distributed systems
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Transformations and consistent semantics for ODP viewpoints
FMOODS '97 Proceedings of the IFIP TC6 WG6.1 international workshop on Formal methods for open object-based distributed systems
Specification and proof in membership equational logic
Theoretical Computer Science - Trees in algebra and programming
An approach to Z toolkit for the reference model of open distributed processing
Computer Standards & Interfaces
ODP enterprise viewpoint specification
Computer Standards & Interfaces
Computer Networks: The International Journal of Computer and Telecommunications Networking
Fourth International Conference on Formal methods for open object-based distributed systems IV
The 4+1 View Model of Architecture
IEEE Software
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Specification of real-time and hybrid systems in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Membership algebra as a logical framework for equational specification
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on Automated software engineering
Addressing Computational Viewpoint Design
EDOC '03 Proceedings of the 7th International Conference on Enterprise Distributed Object Computing
Formalizing ODP Computational Viewpoint Specifications in Maude
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Modeling the ODP Computational Viewpoint with UML 2.0
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
From programming to modeling: our experience with a distributed software engineering course
Proceedings of the 30th international conference on Software engineering
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.00 |
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP is becoming increasingly relevant now because the size and complexity of large distributed systems is challenging current software engineering methods and tools, and because international standards have become key to achieve the required interoperability between the different parties and organizations involved in the design and development of complex systems. RM-ODP defines five viewpoints for decomposing the design activity into separate areas of concern. One of the RM-ODP viewpoints, the computational viewpoint, focuses on the basic functionality of the system and its environment, independently of its distribution. Although several notations have been proposed to model the ODP computational viewpoint, either they are not expressive enough to faithfully represent all its concepts, or they tend to suffer from a lack of formal support. In this paper we introduce the use of Maude as a formal notation for writing and executing ODP computational viewpoint specifications. Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. We show how Maude offers a simple, natural, and accurate way of modeling the ODP computational viewpoint concepts, allows the execution of the specifications produced, and offers good tool support for reasoning about them.