OCL for the ODP information viewpoint specifications

Authors:
Bouhdadi Mohamed;El Maati Chabbar;Abdellah Aqarrout
Affiliations:
Department of Mathematics and Computer Science, University Mohammed V, Faculty of Sciences, Rabat, Morocco;Department of Mathematics and Computer Science, University Mohammed V, Faculty of Sciences, Rabat, Morocco;Department of Mathematics and Computer Science, University Mohammed V, Faculty of Sciences, Rabat, Morocco
Venue:
ICCOMP'06 Proceedings of the 10th WSEAS international conference on Computers
Year:
2006

Citing 13
Cited 0

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
FDTs for ODP

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

Agile software development
Art of Software Testing

Art of Software Testing
Aim, Fire

IEEE Software
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
Core meta-modelling semantics of UML: the pUML approach

UML'99 Proceedings of the 2nd international conference on The unified modeling language: beyond the standard

Quantified Score

Hi-index	0.00

Visualization

Abstract

Now that the Reference Model for Open Distributed Processing (RM-ODP) has stabilized, several ODP standards must be defined. These standards include ODP functions and ODP transparencies. We address in this paper issues related to the ODP information viewpoint standards. Firstly, using the ODP information concepts and based on the trends in software engineering and in the formal specification and description techniques, we justify that OCL is one of the appropriate formal languages for the ODP information viewpoint specifications. Secondly, we use OCL for the information viewpoint specification of the ODP trading function. The OCL gives the abilities to attach constraints to any meta-model, to verify their coherence and to translate the constraints into code for evaluating them on instance models.