Formal Specification and Verification of Concepts in Information Language in ODP Systems
Jalal Laassiri, SaÃ¯d El Hajji, Mohamed Bouhdadi
Journal of E-Technology, Vol. 1, No. 3, 2010.
DOI: 
Link: http://www.dline.info/jet/fulltext/v1n3/4.pdf
Abstract:
Distributed systems can be very large and complex and the many different considerations which influence their design can result in a substantial body of specification, which needs a structuring framework if it is to be managed successfully. The purpose of the RM-ODP is to define such a framework. The Reference Model for Open Distributed Processing (RM-ODP) provides a framework within which support of distribution, inter-working and portability can be integrated. It defines: an object model, architectural concepts and architecture for the development of ODP systems in terms of five viewpoints. However, RM-ODP is a meta-norm, and several ODP standards have to be defined. Indeed, the viewpoint languages are abstract in sense that they define what concepts should be supported and not how these concepts should be represented using the UML/OCL meta-modeling approach. In this paper, we report on the definition and address of the syntax and semantics for a fragment of ODP object concepts defined in the RM-ODP foundations part and in the information language. These concepts are suitable for describing and constraining ODP information viewpoint specifications.