Formal Semantics for a UML Fragment Using UML/OCL Metamodeling

A. Tchertchago (Germany)


Modelling languages, UML, OCL, metamodeling, semantics, well-formedness rules


This paper studies the definition of formal semantics for a fragment of the Unified Modeling Language (UML) that covers some static and dynamic UML concepts. The idea of the considered methodological approach is based on the formalization of an information system in order to use this model as a semantic reference structure. Metamodels for abstract syntax and a set of constraints for static semantics of metaclasses are provided for this fragment. The development of an integrated model enables to incorporate metamodels for class and statechart diagrams with semantic reference model and, thus, to determine semantic relationship between them. We use the Object Constraint Language (OCL) as an expression language to describe a set of well-formedness rules and semantic constraints for considered models. Practical experiments with the USE tool are carried out to analyse and justify constraints.

Important Links:

Go Back