Formalization of UML Composition in OCL

With the increasing use of design models during the development process, developers now face a daunting task to maintain consistency between the design models and their implementation. Consistency maintenance is particularly challenging when a design model language introduces constructs that have no...

Full description

Saved in:
Bibliographic Details
Published in2012 IEEE/ACIS 11th International Conference on Computer and Information Science pp. 675 - 680
Main Authors Chavez, H. M., Wuwei Shen
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.05.2012
Subjects
Companies
composition
Context
Context modeling
Diamond-like carbon
modeling
ownership
Semantics
Testing
uml
Unified modeling language
Online AccessGet full text

Cover

More Information
Summary:With the increasing use of design models during the development process, developers now face a daunting task to maintain consistency between the design models and their implementation. Consistency maintenance is particularly challenging when a design model language introduces constructs that have no direct counterpart in programming languages. For example, the UML composition, an important relationship in software development, reflects some important principles in software engineering such as encapsulation. Unfortunately, affected by the ownership model, existing approaches supporting UML composition require the non-accessibility property. However, the composition in the UML specification does not support the ownership model. So, in this paper we present a UML composition formalization using the Object Constraint Language (OCL) that strictly adheres to the UML specification.
ISBN:1467315362
9781467315364
DOI:10.1109/ICIS.2012.53