The Meta-Modeling Language (MML) is a sub-set of the Unified Modeling Language (UML) that is proposed as the core language used to bootstrap the UML 2.0 definition initiative. Since it is metacircular, MML requires an external formal semantics in order to ground it. This paper defines the MML Calculus which is used to formally define MML and therefore provides a semantic basis for UML 2.0.

A graphical notation for representing Timed CSP (TCSP) specifications is presented. The notation, which integrates features from a number of existing specification languages, including Statecharts, is aimed at providing the means for more easily constructing and managing large TCSP specifications, with the intention of forming the basis for tools and a methodology for applying TCSP in the large. The graphical notation extends TCSP by allowing specifications to be both processes and arbitrary predicates, thus increasing the expressiveness and applicability of the notation. An extendible tool framework, designed for the graphical notation and to be integrated with other tools, is presented. We discuss the features of this framework, especially how it aims to support reasoning about TCSP specifications.

This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) - a precise meta-modelling language designed for developing families of UML languages. Actions are defined as computational procedures with side-e#ects. The action semantics are described in the MML style, with model, instance and semantic packages. Di#erent actions are described as specializations of the basic action in their own package. The aim is to show that by using a Catalysis like package extension mechanism, with precise mappings to a simple semantic domain, a well-structured and extensible model for an action language can be obtained. 1

Within the automotive industry model-based specification techniques are the basis for the definition of seamless design processes allowing the complete, the consistent, and the unambiguous specification of software and hardware parts of car specific networks of control units. For a successful application, those modeling approaches have to give methodical support for adequately capturing the architecture in the targeted system class. In our opinion most standard modeling languages leave room for improvement exactly at this point. Therefore we develop a modeling language characterized by the following features: (1) architecture centric modeling, (2) domain-specificity, and (3) close relation to standard modeling languages. Within this article we introduce the Automotive Modeling Language (AML) by illustrating a case study which comprises parts of the body car electronics within a car. Architecture related modeling concepts are discussed in detail by showing the correlation between their UML representation and their ASCET-SD representation.