Normalizing OCL Constraints in UML Class Diagram-Based Metamodels - AND/OR Clauses

Author

Lengyel, László ; Levendovszky, Tihamer ; Charaf, Hassan

Author_Institution

Budapest Univ. of Technol. & Econ.

Volume

1

fYear

2005

fDate

21-24 Nov. 2005

Firstpage

579

Lastpage

582

Abstract

Software modeling means producing diagrams. A software diagram, such as a UML class diagram, in general, not refined enough to provide all the relevant aspects of a specification. We need a mechanism to describe additional constraints about the objects in the model. The object constraint language (OCL) is a formal language, OCL expressions are unambiguous and make the model more precise and more detailed. The navigations contained by the constraints increase the complexity of the constraint evaluation. This paper introduces the concept of AND/OR clauses and provides algorithms - constraint relocation and constraint decomposition - to eliminate navigation steps from the OCL constraints appearing in UML class diagram-based models

Keywords

Unified Modeling Language; formal languages; formal specification; object-oriented languages; AND/OR clauses; OCL constraints; UML class diagram-based metamodels; constraint decomposition; constraint evaluation; constraint relocation; formal language; object constraint language; software diagram; software modeling; Computer industry; Formal languages; Metamodeling; Navigation; Object oriented modeling; Software design; Software standards; Software systems; Standards development; Unified modeling language; AND/OR Clauses; Constraint Normalization; Metamodeling; OCL; UML;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer as a Tool, 2005. EUROCON 2005.The International Conference on

Conference_Location

Belgrade

Print_ISBN

1-4244-0049-X

Type

conf

DOI

10.1109/EURCON.2005.1629995

Filename

1629995