Denotational semantics: a methodology for language development
Denotational semantics: a methodology for language development
The Z notation: a reference manual
The Z notation: a reference manual
Computer Standards & Interfaces - Special issue on formal description techniques
The object constraint language: precise modeling with UML
The object constraint language: precise modeling with UML
The Unified Modeling Language reference manual
The Unified Modeling Language reference manual
Testing object-oriented systems: models, patterns, and tools
Testing object-oriented systems: models, patterns, and tools
Agile software development
Art of Software Testing
IEEE Software
What Does the Term Semantics Mean in the Context of UML
Proceedings of the Workshop on Object-Oriented Technology
An UML-Based Meta-Language for the QOS-Aware Enterprise Specification of Open Distributed Systems
PRO-VE '02 Proceedings of the IFIP TC5/WG5.5 Third Working Conference on Infrastructures for Virtual Enterprises: Collaborative Business Ecosystems and Virtual Enterprises
The UML as a Formal Modeling Notation
«UML» '98 Selected papers from the First International Workshop on The Unified Modeling Language «UML»'98: Beyond the Notation
A UML-Based Approach to System Testing
«UML» '01 Proceedings of the 4th International Conference on The Unified Modeling Language, Modeling Languages, Concepts, and Tools
Hi-index | 0.00 |
The Reference Model for Open Distributed Processing (RM-ODP) defines a framework within which support of distribution, interoperability and portability can be integrated. However other ODP standards have to be defined. We treat in this paper the need of formal notation for structural concepts in the enterprise language. Indeed, the ODP viewpoint languages are abstract in the sense that they define what concepts should be supported not how these concepts should be represented. One approach to define formal semantics of a language is denotational elaborating the instance denoted by a sentence of the language in a particular context. Using the denotational semantics in the context of UML/OCL meta-modelling approach and the denotational semantics we define in this paper syntax and semantics for a fragment of ODP structural concepts defined in the RM-ODP foundations part and in the enterprise language. These specification concepts are suitable for describing and constraining ODP enterprise viewpoint specifications.