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
Deontic logic in computer science: normative system specification
Deontic logic in computer science: normative system specification
Computer Standards & Interfaces - Special issue on formal description techniques
Timed rewriting logic with an application to object-based specification
Science of Computer Programming - Special issue: on formal specifications: foundations, methods, tools and applications: selected papers from the FMTA '95 conference (29–31 May 1995, Konstancin n. Warsaw, Poland)
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
Managing Conflicts in Goal-Driven Requirements Engineering
IEEE Transactions on Software Engineering
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
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
Ponder: Realising Enterprise Viewpoint Concepts
EDOC '00 Proceedings of the 4th International conference on Enterprise Distributed Object Computing
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
Monitoring Programs Using Rewriting
Proceedings of the 16th IEEE international conference on 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
Using Maude to write and execute ODP information viewpoint specifications
Computer Standards & Interfaces
All about maude - a high-performance logical framework: how to specify, program and verify systems in rewriting logic
Software language engineering of architectural viewpoints
ECSA'11 Proceedings of the 5th European conference on Software architecture
An RM-ODP enterprise view for spatial data infrastructures
Computer Standards & Interfaces
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
| Hi-index | 0.01 |
Maude is an executable rewriting logic language specially well suited for the specification of object-oriented open and distributed systems. In this paper, we explore the possibility of using Maude as a formal notation for writing and reasoning about RM-ODP enterprise specifications. Maude offers a simple, natural and accurate way of modeling the enterprise viewpoint concepts, which provides interesting benefits over previous modeling approaches, allows overcoming some of their limitations, and offers good tool support.