The UML is a collection of notations, some visual some textual.

Syntax Semantics Denotational Mapping Figure 2: Profile semantics 3.1 Meta-modelling sub-language An essential component of the proposed architecture is a meta-modelling sublanguage. This is used to characterise all aspects of a profile and the kernel library. It provides all the facilities necessary to write profiles, including: simple class diagrams, a simple constraint language, packages (to represent models), an enhanced version of package imports, and a notion of package realisation. Like any other profile, the meta-modelling sub-language imports a number of concepts from the kernel library (see figure 3). StaticBasics (from KernelLibrary) Constraint Basics (from KernelLibrary) Meta-Modelling Sub-Language ModelManagement Basics (from KernelLibrary) Figure 3: The meta-modelling sub-language package As an example, figure 4 shows some of the classes that might belong to 6 the abstract syntax of the sub-language. These deal with two fundamental static modelling con...

Abstract not found

In this paper, we consider the problem of building a reference implementation (RI) to support a proposed semantics for UML . The purpose of the RI is to enable the automated exploration of the semantics and to permit tool vendors to verify tool compliance. In doing so, we consider the support required to implement UML profiles; specific extensions of UML that are based on a common semantic core. Using the RI, a vendor should be able to show that the abstract syntax of UML models processed by their tool and the semantics of those models comply with a ratified profile.