Abstract
Higher-level modelling is considered to be the answer to many of the problems computer science is faced with. In order to do modelling, it is necessary to use proper tools. This article is about modelling tools and how they can be generated automatically out of (modelling) language descriptions. Language descriptions in turn are given in meta-models. In this article, we define a terminology for aspects of meta-models and check how they are supported by existing meta-modelling tools. In particular we look at semantic aspects of the meta-models.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Czarnecki, K., Eisenecker, U.W.: Intentional Programming. In: Generative Programming: Methods, Tools, and Applications, ch. 11. Addison-Wesley, Reading (2000)
d’Anjou, J., Fairbrother, S., Kehn, D., Kellermann, J., McCarthy, P.: The Java Developer’s Guide to Eclipse. Addison-Wesley, Reading (2004)
Dmitriev, S.: Language oriented programming: The next programming paradigm. onBoard (2004), See: http://www.onboard.jetbrains.com/is1/articles/04/10/lop/
Eschbach, R., Glässer, U., Gotzhein, R., von Löwis, M., Prinz, A.: Formal definition of SDL 2000: Compiling and running SDL specifications as ASM models. In: Abstract State Machines 2001: New Developments and Applications (2001); J. UCS Special issue 7(11) (2001)
Frank, K.: A proposal for an MDA foundation model. An ORMSC White Paper V00-02 ormsc/05-04-01, Object Management Group (OMG) (accessed, August 2005), Available at: http://www.omg.org/docs/ormsc/05-04-01.pdf
Gjøsæter, T., Nytun, J.P., Prinz, A., Tveit, M.S.: Accessibility testing XHTML documents using UML. In: Koskimies, K., Kuzniarz, L., Nummenmaa, J., Zhang, Z. (eds.) Proc. of the Nordic UML Workshop, University of Tampere, Finland (2005)
Eclipse Graphical Modeling Framework, http://www.eclipse.org/gmf
Griffin, C.: Using EMF. Technical report, IBM: Eclipse Corner Article (2003), http://www.eclipse.org/articles/Article-UsingEMF/using-emf.html
Intentional Software, http://intentsoft.com/
ITU-T. SDL - ITU-T Specification and Description Language, Formal Semantics. ITU-T Recommendation Z.100, Annex F (1999)
Greenfield, J., Short, K.:Moving to Software Factories (July 2004), Available at: http://blogs.msdn.com/askburton/articles/232021.aspx
Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Applications with Patterns, Frameworks, Models & Tools. John Wiley & Sons, Chichester (2004)
Johnson, S.C.: yacc – Yet Another Compiler-Compiler, See also: http://dinosaur.compilertools.net/yacc/index.html
Lesk, M.E., Schmidt, E.: Lex – A Lexical Analyzer Generator, See also: http://dinosaur.compilertools.net/lex/index.html
Porres, I., Alanen, M.: The coral modelling framework. In: Koskimies, K., Kuzniarz, L., Lilius, J., Porres, I. (eds.) Proc. of the 2nd Nordic Workshop on the Unified Modeling Language NWUML 2004. Turku Centre for Computer Science, Finland (2004)
MetaCase. MetaEdit+. Version 4.0. Evaluation Tutorial. Technical report, MetaCase (2005), Available at: http://www.metacase.com/support/40/manuals/eval40sr2a4.pdf
Microsoft. Information on Visual Studio Team System. Technical report, Microsoft (2006), Available at: http://lab.msdn.microsoft.com/vs2005/teamsystem
Meta Programming System, See: http://www.jetbrains.com/mps/
Nytun, J.P., Prinz, A., Kunert, A.: Representation of levels and instantiation in a metamodelling environment. In: Koskimies, K., Kuzniarz, L., Lilius, J., Porres, I. (eds.) Proc. of the Nordic UML Workshop. Turku Centre for Computer Science, Finland (2004)
Nytun, J.P., Prinz, A.: Metalevel representation and philosophical ontology. In: Proc. of ECOOP workshop on Philosophy, Ontology, and Information Systems. University of Oslo, Norway (2004)
OMG. Model Driven Architecture Guide, Version 1.0.1. Object Management Group, omg/03-06-01 (June 2003)
OMG. Human-Usable Textual Notation (HUTN) Specification Version 1.0 formal/04-08-01. OMG document, Object Management Group (2004), Available at: http://www.omg.org/docs/formal/04-08-01.pdf
OMG. Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification Final Adopted Specification ptc/05-11-01. OMG document, Object Management Group (2005), Available at: http://www.omg.org/docs/ptc/05-11-01.pdf
OMG. MOF 2.0/XMI Mapping Specification, v2.1 formal/05-09-01. OMG document, Object Management Group (2005), Available at: http://www.omg.org/docs/formal/05-09-01.pdf
OMG. OCL 2.0 Specification. Object Management Group, ptc/2005-06-06 (June 2005)
OMG. UML 1.4 with Action Semantics. OMG document, Object Management Group (2005), Available at: http://www.omg.org/cgi-bin/doc?ptc/02-01-09
OMG. Unified Modeling Language: Diagram Interchange version 2.0, ptc/05-06-04. OMG document, Object Management Group (2005), Available at: http://www.omg.org/docs/ptc/05-06-04.pdf
OMG Editor. Revised Submission to OMG RFP ad/2003-04-07: Meta Object Facility (MOF) 2.0 Core Proposal. Technical report, Object Management Group (April 2003), Available at: http://www.omg.org/docs/formal/06-01-01.pdf
Parr, T.J., Quong, R.W.: ANTLR: A predicated-LL(k) parser generator. In: Software – Practice and Experience, vol. 25(7). ACM Press, New York (1995)
Prinz, A.: Formal Semantics for RSDL: Definition and Implementation. PhD thesis, Humboldt-Universität zu Berlin (June 2000)
Clark, T., Evans, A., Sammut, P., Williams, J.: Applied Metamodelling. A Foundation for Language Driven Development. Xactium (2004), Available at: http://www.xactium.com
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Nytun, J.P., Prinz, A., Tveit, M.S. (2006). Automatic Generation of Modelling Tools. In: Rensink, A., Warmer, J. (eds) Model Driven Architecture – Foundations and Applications. ECMDA-FA 2006. Lecture Notes in Computer Science, vol 4066. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11787044_21
Download citation
DOI: https://doi.org/10.1007/11787044_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35909-8
Online ISBN: 978-3-540-35910-4
eBook Packages: Computer ScienceComputer Science (R0)