9 research outputs found
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 deĀÆned
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
A Pattern Based Approach to Defining the Dynamic Infrastructure of UML 2.0
The 2U Consortium has recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses an innovative technique of rapidly āstamping outā the definition using a small number of patterns commonly found in software architecture. The patterns, their instantiation, and any further language details are described using precise class diagrams and OCL, this enables the definition to be easily understood. The main focus of the 2U approach is on the static part of the definition. A further concern when modelling software, using languages such as the UML, is describing the dynamic
behaviour of the system over time. The contribution of this paper is to provide a template that can be
used to āstamp outā the dynamic part of the UML 2.0 infrastructure. We argue for the suitability of the
dynamic template because it makes little commitment to concrete abstractions and can, therefore, be used
to support a broad spectrum of behavioural languages
A pattern based approach to defining the dynamic infrastructure of UML 2.0.
The 2U Consortium has recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses an innovative technique of rapidly āstamping outā the definition using a small number of patterns commonly found in software architecture. The patterns, their instantiation, and any further language details are described using precise class diagrams and OCL, this enables the definition to be easily understood. The main focus of the 2U approach is on the static part of the definition. A further concern when modelling software, using languages such as the UML, is describing the dynamic
behaviour of the system over time. The contribution of this paper is to provide a template that can be
used to āstamp outā the dynamic part of the UML 2.0 infrastructure. We argue for the suitability of the
dynamic template because it makes little commitment to concrete abstractions and can, therefore, be used
to support a broad spectrum of behavioural languages
A pattern based approach to defining the dynamic infrastructure of UML 2.0.
The 2U Consortium has recently submitted a proposal for the definition of the UML 2.0 infrastructure. This uses an innovative technique of rapidly āstamping outā the definition using a small number of patterns commonly found in software architecture. The patterns, their instantiation, and any further language details are described using precise class diagrams and OCL, this enables the definition to be easily understood. The main focus of the 2U approach is on the static part of the definition. A further concern when modelling software, using languages such as the UML, is describing the dynamic
behaviour of the system over time. The contribution of this paper is to provide a template that can be used to āstamp outā the dynamic part of the UML 2.0 infrastructure. We argue for the suitability of the dynamic template because it makes little commitment to concrete abstractions and can, therefore, be used to support a broad spectrum of behavioural languages
Unambiguous UML submission to UML 2 infrastructure RFP (ad/00-09-01).
This is a response to the UML 2.0 Request for Proposals on Infrastructure (ad/00-09-01). We propose an architecture
for the definition of UML 2.0 which supports the layered and extensible definition of UML as a family of languages, and depends on the use of package extension (composition) and package template mechanisms in the metamodelling language. This submission defines that architecture and populates it with the definition of a core foundation for the definition of structural and behavioural modelling constructs for UML. Chapter 3 (āLanguage Architectureā) identifies all those parts of the architecture defined in any given version of this document
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 deĀÆned
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