The Metamodelling Language Calculus: Foundation Semantics for UML

Tony Clark; Andy Evans; Stuart Kent

doi:10.1007/3-540-45314-8_3

The Metamodelling Language Calculus: Foundation Semantics for UML

Tony Clark, Andy Evans, Stuart Kent

College of Engineering and Physical Sciences

Research output: Contribution to journal › Conference article › peer-review

Abstract

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

Original language	English
Pages (from-to)	17-31
Journal	Fundamental Approaches to Software Engineering
Volume	2029
DOIs	https://doi.org/10.1007/3-540-45314-8_3
Publication status	Published - 23 Mar 2001
Event	International Conference on Fundamental Approaches to Software Engineering: FASE 2001 - Genoa, Italy Duration: 2 Apr 2001 → 6 Apr 2001

Access to Document

10.1007/3-540-45314-8_3

Cite this

@article{1bee5e0427a14c27b0815c5d74bb8e44,

title = "The Metamodelling Language Calculus: Foundation Semantics for UML",

abstract = "The Metamodelling 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.",

author = "Tony Clark and Andy Evans and Stuart Kent",

year = "2001",

month = mar,

day = "23",

doi = "10.1007/3-540-45314-8_3",

language = "English",

volume = "2029",

pages = "17--31",

journal = "Fundamental Approaches to Software Engineering",

issn = "0302-9743",

publisher = "Springer",

note = "International Conference on Fundamental Approaches to Software Engineering : FASE 2001 ; Conference date: 02-04-2001 Through 06-04-2001",

}

TY - JOUR

T1 - The Metamodelling Language Calculus: Foundation Semantics for UML

AU - Clark, Tony

AU - Evans, Andy

AU - Kent, Stuart

PY - 2001/3/23

Y1 - 2001/3/23

N2 - The Metamodelling 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.

AB - The Metamodelling 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.

UR - http://link.springer.com/10.1007/3-540-45314-8_3

U2 - 10.1007/3-540-45314-8_3

DO - 10.1007/3-540-45314-8_3

M3 - Conference article

SN - 0302-9743

VL - 2029

SP - 17

EP - 31

JO - Fundamental Approaches to Software Engineering

JF - Fundamental Approaches to Software Engineering

T2 - International Conference on Fundamental Approaches to Software Engineering

Y2 - 2 April 2001 through 6 April 2001

ER -

The Metamodelling Language Calculus: Foundation Semantics for UML

Abstract

Access to Document

Other files and links

Fingerprint

Cite this