The Metamodelling Language Calculus: Foundation Semantics for UML
作者： Tony Clark , Andy Evans , Stuart Kent
关键词: Unified Modeling Language 、 Object Constraint Language 、 Metamodeling 、 Semantics 、 Applications of UML 、 Computer science 、 Calculus 、 Formal semantics (linguistics) 、 Core language 、 UML tool 、 Programming language 、 Computer programming 、 Knowledge representation and reasoning
摘要: The Metamodelling Language (MML) is a sub-set of the Unified Modeling (UML) that proposed as core language used to bootstrap UML 2.0 definition initiative. Since it meta-circular, MML requires an external formal semantics in order ground it. This paper defines Calculus which formally define and therefore provides semantic basis for 2.0.
springer.com
core.ac.uk
kent.ac.uk
sci-hub.st 参考文章(20)
Jean-Pierre Briot, Pierre Cointe, The OBJVLISP model: definition of a uniform, reflexive and extensible object oriented language european conference on artificial intelligence. pp. 225- 232 ,(1986)
Mark Richters, Martin Gogolla, None, Validating UML models and OCL constraints Lecture Notes in Computer Science. pp. 265- 277 ,(2000) , 10.5555/1765175.1765203
Heinrich Hussmann, Birgit Demuth, Frank Finger, Modular architecture for a toolset supporting OCL Lecture Notes in Computer Science. pp. 278- 293 ,(2000) , 10.5555/1765175.1765204
Anneke Kleppe, Jos Warmer, The Object Constraint Language: Precise Modeling with UML ,(1998)
Gunnar Övergaard, Formal Specification of Object-Oriented Meta-modelling fundamental approaches to software engineering. pp. 193- 207 ,(2000) , 10.1007/3-540-46428-X_14
Luca Cardelli, Martin Abadi, A Theory of Objects ,(1996)
Desmond F. D'Souza, Alan Cameron Wills, Objects, Components, and Frameworks With Uml: The Catalysis Approach ,(1998)
Mark Richters, Martin Gogolla, None, A metamodel for OCL Lecture Notes in Computer Science. pp. 156- 171 ,(1999) , 10.5555/1767297.1767315
Andy Evans, Stuart Kent, Core meta-modelling semantics of UML: the pUML approach Lecture Notes in Computer Science. pp. 140- 155 ,(1999) , 10.5555/1767297.1767314
Jean-Pierre Briot, Pierre Cointe, A uniform model for object-oriented languages using the class abstraction international joint conference on artificial intelligence. pp. 40- 43 ,(1987)