Meta-modelling syntax and semantics of structural concepts for open networked enterprises

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.