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