Meta-Modelling Semantics of UML
نویسندگان
چکیده
--------OO modelling notations such as the UML embody high-quality modelling experiences, but the lack of precise semantics for the notations prohibits rigorous analysis of the models. In this paper we examine how the existing semantics of UML can be strengthened to support the development of rigorous analysis and proof techniques. Our
منابع مشابه
A Meta-Model Semantics for Structural Constraints In UML
The UML standard has adopted a meta-modelling approach to defining the abstract syntax of UML. A meta-modelling approach is taken essentially to aid the construction of automated tools, but the semantics is defined by statements in English. A meta-model that incorporates precise semantics would support the construction of tools that could perform semantically-oriented tasks, such as consistency...
متن کاملAn Action Semantics for MML
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-effects. The action semantics are described in the MML style, with model, instance and semantic packages. Different actions are described as specializations of th...
متن کاملUML Semantics FAQ
This paper reports the results of a workshop held at ECOOP’99. The workshop was set up to find answers to questions fundamental to the definition of a semantics for the Unified Modelling Language. Questions examined the meaning of the term semantics in the context of UML; approaches to defining the semantics, including the feasibility of the meta-modelling approach; whether a single semantics i...
متن کاملKeynote: On the Ease of Extending a Powertype-Based Methodology Metamodel
Metamodelling is an increasingly prevalent tool in conceptual modelling – in particular in the context of OMG standards such as UML, MOF and SPEM. However, when applying a standard metamodelling approach based solely on instantiation semantics, many problems arise. These are shown to be solved using a powertype-based approach instead. Here we summarize this approach and focus on the ease with w...
متن کاملCore Meta-Modelling Semantics of UML: The pUML Approach
The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes only provides a description of the language's syntax and well-formedness rules. The meaning of the language, which is mainly described in English, is too informal and unstructured to provide a foundation for developing formal a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 1999