Set Operations for Unified Modeling Language, in

Abstract. Software design is an iterative and collaborative process. There is a need for techniques for composing and decomposing the constructed models, and for comparing them against each other to avoid inconsistencies and to promote understanding of the system under design. To address these issues, set operations for the Unified Modeling Language (UML) are discussed. The operations are defined tool-independently using the UML metamodel and are being implemented as a part of a larger framework for manipulating UML models. The operations are put in context with other similar techniques, including composition relationships of Subject-Oriented Design.

Combining OCL and Programming Languages for UML Model Processing

Model processing tasks, like model checking, merging, slicing, and synthesis, need efficient and maintainable mechanisms to define models, as well as to query, compare and manipulate information in them. Although the Object Constraint Language (OCL) is primarily meant for expressing constraints for UML models, it can also be used for various model processing purposes. In this paper we discuss the needs for, and possibilities of, using OCL for processing models, and show how we have applied and extended OCL. We also introduce a model processing tool using OCL as an integral part of model manipulation facilities. We especially emphasise the need of combined use of OCL and programming languages in UML model processing