The Z notation: a reference manual
The Z notation: a reference manual
An introduction to LOTOS: learning by examples
Computer Networks and ISDN Systems - Formal description technique (FDT) languages for protocols
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
The specification and testing of conformance in ODP systems
Selected proceedings of the IFIP TC6 9th international workshop on Testing of communicating systems
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
ODP enterprise viewpoint specification
Computer Standards & Interfaces
Computer Networks: The International Journal of Computer and Telecommunications Networking
Alloy: a lightweight object modelling notation
ACM Transactions on Software Engineering and Methodology (TOSEM)
Open Distributed Processing and Multimedia
Open Distributed Processing and Multimedia
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
Conceptual Modeling of Complex Systems Using an RM-ODP Based Ontology
EDOC '01 Proceedings of the 5th IEEE International Conference on Enterprise Distributed Object Computing
A Metamodel for the Unified Modeling Language
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Proposal for a formal foundation of RM-ODP concepts
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
Writing ODP Enterprise Specifications in Maude
WOODPECKER '01 Proceedings of the 1st International Workshop on Open Distribute Processing: Enterprise, Computation, Knowledge, Engineering and Realisation: In conjunction with ICEIS 2001
Reference model for devolution in e-governance
Proceedings of the 2nd international conference on Theory and practice of electronic governance
The Reference Model of Open Distributed Processing: Foundations, experience and applications
Computer Standards & Interfaces
Hi-index | 0.01 |
The subject of research in this paper is RM-ODP, an ISO/ITU-T international standard. We investigate an important challenge that the standard faces, specifically the absence of a satisfactory formalization of its proposed conceptual framework. We report on the definition and implementation of a concrete resolution for this challenge: a single consistent formalization of the RM-ODP conceptual framework. Our solution formalizes denotational and Tarski's declarative semantics for RM-ODP. The formalization is based on the Triune Continuum Paradigm-a fundamental, logically rigorous object-oriented modeling paradigm that can be adapted by different modeling frameworks as a semantic foundation for their conceptual structures.