Refutational theorem proving using term-rewriting systems
Artificial Intelligence
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Object-oriented development: the fusion method
Object-oriented development: the fusion method
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
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
Objects, components, and frameworks with UML: the catalysis approach
Objects, components, and frameworks with UML: the catalysis approach
The unified software development process
The unified software development process
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
Formal methods for distributed processing
Principles of the Business Rule Approach
Principles of the Business Rule Approach
The 4+1 View Model of Architecture
IEEE Software
Maude: specification and programming 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
Consistent Semantics for ODP Information and Computational Models
FORTE X / PSTV XVII '97 Proceedings of the IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII)
Formalizing ODP enterprise specifications in Maude
Computer Standards & Interfaces
Using UML and Maude for Writing and Reasoning about ODP Policies
POLICY '03 Proceedings of the 4th IEEE International Workshop on Policies for Distributed Systems and Networks
Formalizing ODP Computational Viewpoint Specifications in Maude
EDOC '04 Proceedings of the Enterprise Distributed Object Computing Conference, Eighth IEEE International
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
Modeling the ODP Computational Viewpoint with UML 2.0
EDOC '05 Proceedings of the Ninth IEEE International EDOC Enterprise Computing Conference
Writing and executing ODP computational viewpoint specifications using Maude
Computer Standards & Interfaces
Invariant-driven specifications in Maude
Science of Computer Programming
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
| Hi-index | 0.00 |
The aim of the open distributed processing (ODP) information viewpoint is to describe the semantics of the information and of the information processing in a system, from a global point of view, without having to worry about other considerations, such as how the information will be finally distributed or implemented or the technology used to achieve such implementation. Although several notations have been proposed to model this ODP viewpoint, they are not expressive enough to faithfully represent all the information concepts, or they tend to suffer from a lack of (formal) support, or both. In this paper, we explore the use of Maude as a formal notation for writing ODP information specifications. Maude is an executable rewriting logic language especially 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 information viewpoint concepts, allows the execution of the specifications produced, and offers good tool support for reasoning about them.