i This is the second of the two special issues on the Unified Modeling Language (UML); the first appeared in the January-March 2008 issue of the Journal of Database Management (Ba-tra, 2008), and included four papers on the topic. The first issue covered UML application topics: the use of UML in practice (Dobing & Parsons, 2008), the organizational inadequacies of UML (Smolander & Rossi, 2008),...

The Uni ed Modeling Language UML is rapidly emerging as a de facto standard for modelling OO systems Given this role it is imperative that the UML needs a well de ned fully explored semantics Such semantics is required in order to ensure that UML concepts are precisely stated and de ned In this paper we motivate an approach to formalizing UML in which formal speci cation techniques are used to ...

The Unified Modeling Language (UML) is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML have a welldefined, fully explored semantics. Such semantics is required in order to ensure that UML concepts are precisely stated and defined. In this paper we describe and motivate an approach to formalizing UML in which formal specification t...

Unified Modeling Language (UML) is the de facto standard for requirements modeling and system design. UML as a visual language can tremendously help customers, project managers, and developers to specify the requirements of a target system. However, UML lacks the ability to specify the requirements precisely such as the contracts of the system operation, and verify the consistency and refinemen...

Since the first OMG specification of the Unified Modeling Language (UML), the Object Constraint Language (OCL) has been used for the definition of well-formedness rules in the UML specification. These rules have been specified within the early OCL years, when no appropriate tooling existed. Thus, they could not be checked for syntactical and static semantics correctness. In this paper we presen...

UML is a complex language with many modeling features. Especially the modeling of static structures with class diagrams is supported by a rich set of description primitives. We show how to transfrom UML class diagrams involving cardinality constraints, qualifiers, association classes, aggregations, compositions, and generalizations into equivalent UML class diagrams employing only n-ary associa...

Executable UML allows precisely describing the software system at a higher level of abstraction. The executable models can be translated to a less abstract programming language completely or executed directly. Object Constraint Language (OCL), as a formal specification language, is a standard published along with UML. It is primitively used to describe constraints for UML models. In this paper,...

The Unified Modeling Language (UML) is accepted today as an important standard for developing software. UML tools however provide little support for validating and checking models in early development phases. There is also no substantial support for the Object Constraint Language (OCL). We present an approach for the validation of UML models and OCL constraints based on animation and certificat...

The Uniied Modeling Language UML is a language for specifying , visualizing and documenting object-oriented systems. UML combines the concepts of OOA/OOD, OMT and OOSE and is intended as a standard in the domain of object-oriented analysis and design. Due to the missing formal, mathematical foundation of UML the syntax and the semantics of a number of UML constructs are not precisely deened. Th...

We present a metamodel-based approach for specifying uml notations for domain-specific modeling languages. Traditionally, domain specific languages are either defined by uml profiles or using metamodels. We provide a generic integration of these two methods supporting arbitrary uml profiles and metamodels. Our approach provides a bidirectional mapping between the uml notation and the metamodel ...