- Book Chapter
3
- 10.1007/978-0-387-84814-3_26
A Semantics of Behavioural Concepts for Open Virtual Enterprises
- Jan 01, 2009
- Mohamed Bouhdadi + 1 more +1
The Reference Model for Open Distributed Processing (RM-ODP) defines a framework for the development of Open Distributed Processing (ODP) systems in terms of five viewpoints. Each viewpoint language defines concepts and rules for specifying ODP systems from the corresponding viewpoint. However, the ODP viewpoint languages are abstract and do not show how these should be represented. We treat in this paper the need for formal notation for behavioural concepts in the enterprise language. Using the Unified Modeling Language and Object Constraints Language UML/OCL, we define a formal semantics for a fragment of ODP behaviour concepts defined in the RM-ODP foundations part and in the enterprise language. We mainly focus on time, action, behaviour constraints, and policies. These concepts are suitable for describing and constraining the behaviour of the ODP enterprise viewpoint specifications.
Read more