No abstract

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, influenced by the ownership model, existing approaches supporting UML composition require the non-accessibility property. However, composition in the UML specification does not support the ownership model. In this paper we present a UML composition formalization using the Object Constraint Language (OCL) that strictly adheres to the UML specification.

No abstract

No abstract

In this paper, we study how to detect the ownership violation based on the Unified Modeling Language (UML 2.0) in IBM Eclipse Modeling Framework. We develop a novel technique for automatically detecting the ownership violation in a program against its design class diagram using a software model checker. Specifically, given the fields that are intended to implement ownership in a UML class diagram, our approach checks the ownership property in two steps. First, the approach systematically generates all valid object diagrams, i.e. valid input program states. Then, after a method to destroy the owner object is called on each object diagram, the approach checks whether all external links to the owned objects have been removed. Central to this approach is how to prune away the large search space that includes all valid input program states.