Article

TCS:: a DSL for the specification of textual concrete syntaxes in model engineering

Authors:

Frédéric Jouault,

Ivan KurtevAuthors Info & Claims

GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering

Pages 249 - 254

https://doi.org/10.1145/1173706.1173744

Published: 22 October 2006 Publication History

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.

References

[1]

Kort, J., Klint, P., Klusener, S., Lämmel, R., Verhoef, C., Verhoeven, E.J.: Engineering of Grammarware, http://www.cs.vu.nl/grammarware/. (2005)

[2]

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.

Digital Library

[3]

OMG: UML OCL 2.0 Specification, OMG Document ptc/03-10-14, http://www.omg.org/docs/ptc/03-10-14.pdf. (2003)

[4]

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)

[5]

Parr, T., Quong, R.: ANTLR: A Predicated LL(k) Parser Generator. Software --- Practice and Experience 25(7) (1995) 789--810

Digital Library

[6]

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

Digital Library

[7]

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

Digital Library

[8]

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)

[9]

Andersson, O., et al.: W3C Working Draft of Scalable Vector Graphics (SVG) 1.2, http://www.w3.org/TR/SVG12/. (2005)

[10]

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

Digital Library

[11]

Budinsky, F., Steinberg, D., Ellersick, R., Merks, E., Brodsky, S.A., Grose, T.J.: Eclipse Modeling Framework. Addison Wesley (2003)

Digital Library

[12]

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)

[13]

ATLAS team: ATLAS MegaModel Management (AM3) Home page, http://www.eclipse.org/gmt/am3/. (2006)

[14]

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)

[15]

Parr, T.: ANTLR v3, http://antlr.org/v3/index.html. (2006)

[16]

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)

[17]

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)

[18]

OMG: MOF Model to Text Transformation Language, http://www.omg.org/cgi-bin/apps/doc?ad/04-04-07.pdf. (2004)

Cited By

Hidaka STisi MEgyed AWimmer MChechik MCombemale B(2024)Partial Bidirectionalization of Model Transformation LanguagesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3640310.3674083(1-12)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3640310.3674083
Zhang WHoltmann JStrüber DHebig RSteghöfer J(2024)Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformationJournal of Systems and Software10.1016/j.jss.2024.112069214:COnline publication date: 1-Aug-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.112069
Hossain MRoy BRoy CSchneider K(2020)VizSciFlow: A Visually Guided Scripting Framework for Supporting Complex Scientific Data AnalysisProceedings of the ACM on Human-Computer Interaction10.1145/33949764:EICS(1-37)Online publication date: 18-Jun-2020
https://dl.acm.org/doi/10.1145/3394976
Show More Cited By

Index Terms

TCS:: a DSL for the specification of textual concrete syntaxes in model engineering
1. Software and its engineering
  1. Software notations and tools
    1. Compilers
      1. Source code generation
    2. Context specific languages
      1. Specialized application languages

Recommendations

A component-based approach for specifying DSML's concrete syntax
GMLD '13: Proceedings of the Second Workshop on Graphical Modeling Language Development

Model-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

Information & Contributors

Information

Published In

cover image ACM Conferences

GPCE '06: Proceedings of the 5th international conference on Generative programming and component engineering

October 2006

310 pages

ISBN:1595932372

DOI:10.1145/1173706

General Chair:
Stan Jarzabek
National University of Singapore, Singapore
,
Program Chairs:
Douglas Schmidt
Vanderbilt University, USA
,
Todd Veldhuizen
University of Waterloo, Canada

Copyright © 2006 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 22 October 2006

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

GPCE06

Sponsor:

GPCE06: Generative Programming and Component Engineering 2006

October 22 - 26, 2006

Oregon, Portland, USA

Acceptance Rates

Overall Acceptance Rate 56 of 180 submissions, 31%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

129
Total Citations
View Citations
1,127
Total Downloads

Downloads (Last 12 months)8
Downloads (Last 6 weeks)0

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Hidaka STisi MEgyed AWimmer MChechik MCombemale B(2024)Partial Bidirectionalization of Model Transformation LanguagesProceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems10.1145/3640310.3674083(1-12)Online publication date: 22-Sep-2024
https://dl.acm.org/doi/10.1145/3640310.3674083
Zhang WHoltmann JStrüber DHebig RSteghöfer J(2024)Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformationJournal of Systems and Software10.1016/j.jss.2024.112069214:COnline publication date: 1-Aug-2024
https://dl.acm.org/doi/10.1016/j.jss.2024.112069
Hossain MRoy BRoy CSchneider K(2020)VizSciFlow: A Visually Guided Scripting Framework for Supporting Complex Scientific Data AnalysisProceedings of the ACM on Human-Computer Interaction10.1145/33949764:EICS(1-37)Online publication date: 18-Jun-2020
https://dl.acm.org/doi/10.1145/3394976
Shen LChen XLiu RWang HJi G(2020)Domain-Specific Language Techniques for Visual Computing: A Comprehensive StudyArchives of Computational Methods in Engineering10.1007/s11831-020-09492-428:4(3113-3134)Online publication date: 27-Oct-2020
https://doi.org/10.1007/s11831-020-09492-4
Rodríguez-Gracia DPiedra-Fernández JIribarne LCriado JAyala RAlonso-Montesinos JMaria de las Mercedes C(2019)Microservices and Machine Learning Algorithms for Adaptive Green BuildingsSustainability10.3390/su1116432011:16(4320)Online publication date: 9-Aug-2019
https://doi.org/10.3390/su11164320
Bettini L(2019)Type errors for the IDE with Xtext and XsemanticsOpen Computer Science10.1515/comp-2019-00039:1(52-79)Online publication date: 26-Mar-2019
https://doi.org/10.1515/comp-2019-0003
Di Rocco JDi Ruscio DHärtel JIovino LLämmel RPierantonio A(2019)Understanding MDE projects: megamodels to the rescue for architecture recoverySoftware and Systems Modeling10.1007/s10270-019-00748-719:2(401-423)Online publication date: 18-Jul-2019
https://doi.org/10.1007/s10270-019-00748-7
(2018)Scenario-based trustworthiness verification for systems of internet of thingsInternational Journal of Internet Protocol Technology10.5555/3271918.327192511:1(51-62)Online publication date: 1-Jan-2018
https://dl.acm.org/doi/10.5555/3271918.3271925
Zhang FZhai JShen XMutlu OChen W(2018)ZwiftProceedings of the 2018 International Conference on Supercomputing10.1145/3205289.3205325(195-206)Online publication date: 12-Jun-2018
https://dl.acm.org/doi/10.1145/3205289.3205325
Zhu ZLei YAlshareef ASarjoughian HZhu Y(2018)Domain Specific MetaModeling for Deep Semantic ComposabilityIEEE Access10.1109/ACCESS.2018.28226616(18276-18289)Online publication date: 2018
https://doi.org/10.1109/ACCESS.2018.2822661
Show More Cited By

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten