Defining Unified Modelling Language (UML) profiles allows adaptation of the UML metamodel for specific domain, area, platform, etc. Context awareness is one of particular domains that need to be well adapted when we use UML language to model specific situations of users and applications. Therefore, it is necessary to create specific modelling notations for this particular domain. In this paper,...

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...