Abstract
MMF uses meta-modelling techniques to precisely define modelling languages. The approach employs novel technology based on package specialisation and templates. MMF is being applied to the UML 2.0 revision initiative and is supported by a tool.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Bottoni P., Koch M., Parisi-Presicce F., Taentzer G. (2000) Consistency Checking and Visualization of OCL Constraints. In Evans A., Kent S., Selic B. (eds) UML 2000 proceedings volume 1939 LNCS, 278–293, Springer-Verlag.
Clark A., Evans A., Kent S. (2000) Profiles for Language Definition. Presented at the ECOOP pUML Workshop, Nice.
Clark A., Evans A., Kent S, Cook S., Brodsky S., (2000) A feasibility Study in Rearchitecting UML as a Family of Languages Using a Precise OO Meta-Modeling Approach. Available at http://www.puml.org/mmt.zip.
Clark A., Evans A., Kent S. (2001) Initial submission to the UML 2.0 Infrastructure RFP. Available at http://www.cs.york.ac.uk/puml/papers/uml2submission.pdf
Clark A., Evans A., Kent S. (2001) The Specification of a Reference Implementation for UML. Special Issue of L’Objet on Object Modelling, 2001.
Clark A., Evans A., Kent S. (2001) The Meta-Modeling Language Calculus: Foundation Semantics for UML. ETAPS FASE Conference 2001, Genoa.
D’souza D., Wills A. C. (1998) Object Components and Frameworks with UML— The Catalysis Approach. Addison-Wesley.
D’souza D., Sane A., Birchenough A. (1999) First-Class Extensibility for UML-Packaging of Profiles, Stereotypes, Patterns. In France R. & Rumpe B. (eds) UML’99 proceedings volume 1723 LNCS, 265–277, Springer-Verlag.
Evans A., Kent S. (1999) Core meta-modelling semantics of UML-The pUML approach. In France R. & Rumpe B. (eds) UML’99 proceedings volume 1723 LNCS, 140–155, Springer-Verlag.
Howse J., Molina F., Kent S., Taylor J. (1999) Reasoning with Spider Diagrams. Proceedings of the IEEE Symposium on Visual Languages ’99, 138–145. IEEE CS Press.
Hussmann H., Demuth B., Finger F. (2000) Modular Architecture for a Toolset Supporting OCL In Evans A., Kent S., Selic B. (eds) UML 2000 proceedings volume 1939 LNCS, 278–293, Springer-Verlag.
Kent S. (1997) Constraint Diagrams: Visualizing Invariants in Object-Oriented Models. In Proceedings of OOPSLA’97, 327–341.
Richters M., Gogolla M. (1999) A metamodel for OCL. In France R. & Rumpe B. (eds) UML’99 proceedings volume 1723 LNCS, 156–171, Springer-Verlag.
Richters M., Gogolla M. (2000) Validating UML Models and OCL Constraints. In Evans A., Kent S., Selic B. (eds) UML 2000 proceedings volume 1939 LNCS, 265–277, Springer-Verlag.
Richters M., Gogolla M. (2000) A Semantics for OCL pre and post conditions. Presented at the OCL Workshop, UML 2000.
Object Management Group (1999) OMG Unified Modeling Language Specification, version 1.3. Available at http://www.omg.org/uml.
The UML 2.0 Working Group Home Page http://www.celigent.com/omg/adptf/wgs/uml2wg.html.
Warmer J., Kleppe A. (1999) The Object Constraint Language: Precise Modeling with UML. Addison-Wesley.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Clark1, T., Evans, A., Kent, S. (2002). Engineering Modelling Languages: A Precise Meta-Modelling Approach. In: Kutsche, RD., Weber, H. (eds) Fundamental Approaches to Software Engineering. FASE 2002. Lecture Notes in Computer Science, vol 2306. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45923-5_11
Download citation
DOI: https://doi.org/10.1007/3-540-45923-5_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43353-8
Online ISBN: 978-3-540-45923-1
eBook Packages: Springer Book Archive