Frédéric Jouault
ABSTRACT
Domain modeling promotes the description of various facets of information systems by a coordinated set of domain-specific languages (DSL). Some of them have visual/graphical and other may have textual concrete syntaxes. Model Driven Engineering (MDE) helps defining the concepts and relations of the domain by the way of metamodel elements. For visual languages, it is necessary to establish links between these concepts and relations on one side and visual symbols on the other side. Similarly, with textual languages it is necessary to establish links between metamodel elements and syntactic structures of the textual DSL. To successfully apply MDE in a wide range of domains we need tools for fast implementation of the expected growing number of DSLs. Regarding the textual syntax of DSLs, we believe that most current proposals for bridging the world of models (MDE) and the world of grammars (Grammarware) are not completely adapted to this need. We propose a generative solution based on a DSL called TCS (Textual Concrete Syntax). Specifications expressed in TCS are used to automatically generate tools for model-to-text and text-to-model transformations. The proposed approach is illustrated by a case study in the definition of a telephony language.
- Kort, J., Klint, P., Klusener, S., Lämmel, R., Verhoef, C., Verhoeven, E.J.: Engineering of Grammarware, http://www.cs.vu.nl/grammarware/. (2005)Google Scholar
- Bézivin, J., Jouault, F., Kurtev, I., Valduriez, P.: Model-based DSL Frameworks. In: Companion to the 21st Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2006, October 22-26, 2006, Portland, OR, USA, ACM (2006) to appear. Google ScholarDigital Library
- OMG: UML OCL 2.0 Specification, OMG Document ptc/03-10-14, http://www.omg.org/docs/ptc/03-10-14.pdf. (2003)Google Scholar
- Bézivin, J., Jouault, F.: Using ATL for Checking Models. In: Proceedings of the International Workshop on Graph and Model Transformation (GraMoT), Tallinn, Estonia (2005)Google Scholar
- Parr, T., Quong, R.: ANTLR: A Predicated LL(k) Parser Generator. Software --- Practice and Experience 25(7) (1995) 789--810 Google ScholarDigital Library
- Jouault, F., Bézivin, J.: KM3: a DSL for Metamodel Specification. In: Proceedings of 8th IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems, LNCS 4037, Bologna, Italy (2006) 171--185 Google ScholarDigital Library
- Jouault, F., Kurtev, I.: Transforming Models with ATL. In: Satellite Events at the MoDELS 2005 Conference. Volume 3844 of Lecture Notes in Computer Science., Springer-Verlag (2006) 128--138 Google ScholarDigital Library
- Burgy, L., Consel, C., Latry, F., Lawall, J., Réveillère, L., Palix, N.: Language Technology for Internet-Telephony Service Creation. In: IEEE International Conference on Communications. (2006)Google Scholar
- Andersson, O., et al.: W3C Working Draft of Scalable Vector Graphics (SVG) 1.2, http://www.w3.org/TR/SVG12/. (2005)Google Scholar
- Gansner, E.R., North, S.C.: An open graph visualization system and its applications to software engineering. Software --- Practice and Experience 30(11) (2000) 1203--1233 Google ScholarDigital Library
- Budinsky, F., Steinberg, D., Ellersick, R., Merks, E., Brodsky, S.A., Grose, T.J.: Eclipse Modeling Framework. Addison Wesley (2003) Google ScholarDigital Library
- OMG: Meta Object Facility (MOF) 2.0 Core Specification, OMG Document formal/2006-01-01, http://www.omg.org/cgi-bin/doc?formal/2006-01-01. (2006)Google Scholar
- ATLAS team: ATLAS MegaModel Management (AM3) Home page, http://www.eclipse.org/gmt/am3/. (2006)Google Scholar
- Jouault, F., Bézivin, J., Consel, C., Kurtev, I., Latry, F.: Building DSLs with AMMA/ATL, a Case Study on SPL and CPL Telephony Languages. In: Proceedings of the 1st ECOOP Workshop on Domain-Specific Program Development (DSPD), July 3rd, Nantes, France. (2006)Google Scholar
- Parr, T.: ANTLR v3, http://antlr.org/v3/index.html. (2006)Google Scholar
- OMG: MOF 2.0 / XMI Mapping Specification, v2.1, OMG Document formal/2005-09-01, http://www.omg.org/cgi-bin/doc?formal/2005-09-01. (2005)Google Scholar
- OMG: Human-Usable Textual Notation, v1.0, OMG Document formal/2004-08-01, http://www.omg.org/cgi-bin/doc?formal/2004-08-01. (2004)Google Scholar
- OMG: MOF Model to Text Transformation Language, http://www.omg.org/cgi-bin/apps/doc?ad/04-04-07.pdf. (2004)Google Scholar
Index Terms
- TCS:: a DSL for the specification of textual concrete syntaxes in model engineering
Recommendations
A component-based approach for specifying DSML's concrete syntax
GMLD '13: Proceedings of the Second Workshop on Graphical Modeling Language DevelopmentModel-Driven Engineering (MDE) encourages the use of graphical modeling tools, which facilitate the development process from modeling to coding. Such tools can be designed using the MDE approach into meta-modeling environments called metaCASE tools.
It ...
Working with the HL7 metamodel in a Model Driven Engineering context
Display Omitted The new domain models exploitation paradigm: Model Driven Engineering.The challenge of use the HL7 metamodel in the MDE context.Software engineers will use the benefits of HL7 standards and UML & MDE existing tools. HL7 (Health Level 7) ...
Analysing the cognitive effectiveness of the WebML visual notation
WebML is a domain-specific language used to design complex data-intensive Web applications at a conceptual level. As WebML was devised to support design tasks, the need to define a visual notation for the language was identified from the very beginning. ...
Comments