Abstract
Metamodeling is raising more and more interest in the field of language engineering. While this approach is now well understood for defining abstract syntaxes, formally defining concrete syntaxes with metamodels is still a challenge. Concrete syntaxes are traditionally expressed with rules, conforming to EBNF-like grammars, which can be processed by compiler compilers to generate parsers. Unfortunately, these generated parsers produce concrete syntax trees, leaving a gap with the abstract syntax defined by metamodels, and further ad-hoc hand-coding is required. In this paper we propose a new kind of specification for concrete syntaxes, which takes advantage of metamodels to generate fully operational tools (such as parsers or text generators). The principle is to map abstract syntaxes to concrete syntaxes via bidirectional mapping-models with support for both model-to-text, and text-to-model transformations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
OMG, Meta-Object Facility (MOF) 1.4, OMG Document formal/02-04-03 (2002)
Budinsky, F., Steinberg, D., Merks, E., Ellersick, R., Grose, T.J.: Eclipse Modeling Framework, ch. 5 Ecore Modeling Concepts. Addison-Wesley, Reading (2003)
IBM, Emfatic, http://www.alphaworks.ibm.com/tech/emfatic
Jouault, F., Bézivin, J.: KM3: A DSL for Metamodel Specification. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 171–185. Springer, Heidelberg (2006)
Muller, P.-A., Fleurey, F., Jézéquel, J.-M.: Weaving executability into object-oriented meta-languages. In: Briand, L.C., Williams, C. (eds.) MoDELS 2005. LNCS, vol. 3713, pp. 264–278. Springer, Heidelberg (2005)
OMG, Xml Metadata Interchange (XMI 2.1), OMG Document formal/05-09-01 (2005)
Sun Microsystems, Metadata repository (MDR) (2005), http://mdr.netbeans.org/
Eclipse, Eclipse Modeling Framework (EMF) (2005), http://www.eclipse.org/emf/
Atkinson, C., Kuehne T.: The role of meta-modeling in MDA. In: Workshop in Software Model Engineering (WISME@UML), Dresden, Germany (2002)
Greenfield, J., Short, K., Cook, S., Kent, S.: Software Factories: Assembling Applications with Patterns, Models, Frameworks, and Tools. Wiley, Chichester (2004)
Clark, T., Evans, A., Sammut, P., Willans, J.: Applied metamodelling: A foundation for language-driven development (2005), http://albini.xactium.com
OMG, MOF Model to Text Transformation Language (Request For Proposal), OMG Document ad/2004-04-07 (2004)
de Lara, J., Vangheluwe, H.: Using AToM3 as a meta-case tool. In: Proceedings of the 4th International Conference on Enterprise Information Systems (ICEIS), pp. 642–649 (2002)
Fondement, F., Baar, T.: Making Metamodels Aware of Concrete Syntax. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol. 3748, pp. 190–204. Springer, Heidelberg (2005)
Borras, P., Clement, D., Despeyroux, T., Incerpi, J., Kahn, G., Lang, B., Pascual, V.: Centaur: the system. In: Proceedings of the ACM SIGSOFT/SIGPLAN software engineering symposium on practical software development environments, vol. 13(5), pp. 14–24
Kurtev, I., Aksit, M., Bezivin, J.: Technical Spaces: An Initial Appraisal. In: CoopIS, DOA 2002 Federated Conferences, Industrial track, Irvine (2002)
Wimmer, M., Kramler, G.: Bridging Grammarware and Modelware. In: WISME Workshop, MODELS / UML 2005, Montego Bay, Jamaica, Ocotober (2005)
Alanen, M., Porres, I.: A Relation Between Context-Free Grammars and Meta Object Facility Metamodels. Technical report, Turku Centre for Computer Science (2003)
Kunert, A.: Semi-Automatic Generation of Metamodels and Models from Grammars and Programs. In: Proceedings of the Fifth International Workshop on Graph Transformation and Visual Modeling Techniques at ETAPS 2006 (April 2006)
Klint, P., Lämmel, R., Verhoef, C.: Towards an engineering discipline for grammarware. ACM TOSEM 14(3), 331–380 (2005)
Muller, P.-A., Hassenforder, M.: HUTN as a Bridge between ModelWare and GrammarWare – An Experience Report. In: WISME Workshop, MODELS / UML 2005, Montego Bay, Jamaica, Ocotober (2005)
OMG. UML2.0 Object Constraint Language (OCL) Final Adopted specification, Object Management Group (2003), http://www.omg.org/cgi-bin/doc?ptc/2003-10-14
Muller, P.-A., Studer, P., Jézéquel, J.-M.: Model-driven generative approach for concrete syntax composition. In: Workshop in Best Practices for Model Driven Software Development, Vancouver, Canada (2004)
Aho, A.V., Sethi, R., Ullman, J.D.: Compilers, Techniques and Tools. Addison Wesley, Reading (1986)
Parr, T.: Another Tool for Language Recognition (ANTLR) (2005), http://www.antlr.org/
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
Muller, PA. et al. (2006). Model-Driven Analysis and Synthesis of Concrete Syntax. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds) Model Driven Engineering Languages and Systems. MODELS 2006. Lecture Notes in Computer Science, vol 4199. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11880240_8
Download citation
DOI: https://doi.org/10.1007/11880240_8
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-45772-5
Online ISBN: 978-3-540-45773-2
eBook Packages: Computer ScienceComputer Science (R0)