Related Communities:

UML and OCL representation in canonical model

UML and OCL representation in canonical information model.

Author(s): Stupnikov S.A., Briukhov D.O.
Created:2005/08/31
Published:Formal Methods and Models for Compositional Infrastuctures of Distributed Information Systems: The Systems and Means of Informatics, Special Issue. -- Moscow: IPI RAN, 2005. -- P. 120--129. (In Russian)
Abstract:

In this paper a representation in the canonical information model of Unified Modeling Language (UML) developed by OMG consortium as well as Object Constraint Language (OCL) --- a language intended for specification of additional requirements unrepresentable by graphical means of UML --- are considered.

A representation of main constructions of UML used in class diagrams as well as main elements of OCL used for specification of invariants, operation pred and postconditions are considered. Representation developed allows us to use UML while requirement planning and analysis phases of information systems compositional development.

Download: [ PostScript ]

Supported by Synthesis Group