research-article

Migrating custom DSL implementations to a language workbench (tool demo)

Authors:

Jasper Denkers,

Louis van Gool,

Eelco VisserAuthors Info & Claims

SLE 2018: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering

Pages 205 - 209

https://doi.org/10.1145/3276604.3276608

Published: 24 October 2018 Publication History

Get Access

Abstract

We present a tool architecture that supports migrating custom domain-specific language (DSL) implementations to a language workbench. We demonstrate an implementation of this architecture for models in the domains of defining component interfaces (IDL) and modeling system behavior (OIL) which are developed and used at a digital printer manufacturing company. Increasing complexity and the lack of DSL syntax and IDE support for existing implementations in Python based on XML syntax hindered their evolution and adoption. A reimplementation in Spoofax using modular language definition enables composition between IDL and OIL and introduces more concise DSL syntax and IDE support. The presented tool supports migrating to new implementations while being backward compatible with existing syntax and related tooling.

References

[1]

Hendrik van Antwerpen, Pierre Néron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth. 2016. A constraint language for static semantic analysis based on scope graphs. In Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation. ACM, 49-60.

Digital Library

Google Scholar

[2]

Martin Bravenboer, Karl Trygve Kalleberg, Rob Vermaas, and Eelco Visser. 2008. Stratego/XT 0.17. A language and toolset for program transformation. Science of computer programming 72, 1-2 (2008), 52-70.

Digital Library

Google Scholar

[3]

Sebastian Erdweg, Tijs Van Der Storm, Markus Völter, Meinte Boersma, Remi Bosman, William R Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, et al. 2013. The state of the art in language workbenches. In International Conference on Software Language Engineering. Springer, 197-217.

Crossref

Google Scholar

[4]

Sebastian Erdweg, Tijs Van Der Storm, Markus Völter, Laurence Tratt, Remi Bosman, William R Cook, Albert Gerritsen, Angelo Hulshout, Steven Kelly, Alex Loh, et al. 2015. Evaluating and comparing language workbenches: Existing results and benchmarks for the future. Computer Languages, Systems & Structures 44 (2015), 24-47.

Digital Library

Google Scholar

[5]

Martin Fowler. 2005. Language workbenches: The killer-app for domain specific languages. (2005).

Google Scholar

[6]

Lennart CL Kats and Eelco Visser. 2010. The spoofax language workbench: rules for declarative specification of languages and IDEs. In ACM sigplan notices, Vol. 45. ACM, 444-463.

Digital Library

Google Scholar

[7]

Pierre Neron, Andrew Tolmach, Eelco Visser, and Guido Wachsmuth. 2015. A theory of name resolution. In European Symposium on Programming Languages and Systems. Springer, 205-231.

Crossref

Google Scholar

[8]

Eelco Visser, Guido Wachsmuth, Andrew Tolmach, Pierre Neron, Vlad Vergu, Augusto Passalaqua, and Gabriël Konat. 2014. A Language Designer's Workbench: A One-Stop-Shop for Implementation and Verification of Language Designs. In Proceedings of the 2014 ACM International Symposium on New Ideas, New Paradigms, and Reflections on Programming & Software. ACM, 95-111.

Digital Library

Google Scholar

Cited By

View all

Bunte ODenkers Jvan Gool LVinju JVisser EWillemse TZaidman A(2024)OIL: an industrial case study in language engineering with SpoofaxSoftware and Systems Modeling10.1007/s10270-024-01185-xOnline publication date: 3-Jun-2024
https://doi.org/10.1007/s10270-024-01185-x
Bunte Ovan Gool LWillemse T(2022)Formal verification of OIL component specifications using mCRL2International Journal on Software Tools for Technology Transfer10.1007/s10009-022-00658-y24:3(441-472)Online publication date: 21-Apr-2022
https://doi.org/10.1007/s10009-022-00658-y
Schindler EMoneva Hvan Pinxten Jvan Gool Lvan der Meulen BStotz NTheelen B(2021)JetBrains MPS as Core DSL Technology for Developing Professional Digital PrintersDomain-Specific Languages in Practice10.1007/978-3-030-73758-0_3(53-91)Online publication date: 15-Apr-2021
https://doi.org/10.1007/978-3-030-73758-0_3
Show More Cited By

Index Terms

Migrating custom DSL implementations to a language workbench (tool demo)
1. Software and its engineering
  1. Software notations and tools
    1. Context specific languages
      1. Domain specific languages

Recommendations

The spoofax language workbench: rules for declarative specification of languages and IDEs
OOPSLA '10: Proceedings of the ACM international conference on Object oriented programming systems languages and applications

Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. Spoofax integrates language processing techniques for parser generation, meta-programming, and IDE development into ...
Bacatá: a language parametric notebook generator (tool demo)
SLE 2018: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering

Interactive notebooks allow people to communicate and collaborate through a single rich document that might include live code, multimedia, computed results, and documentation, which is persisted as a whole for reproducibility. Notebooks are currently ...
The spoofax language workbench: rules for declarative specification of languages and IDEs
OOPSLA '10

Spoofax is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support. Spoofax integrates language processing techniques for parser generation, meta-programming, and IDE development into ...

Comments

Information & Contributors

Information

Published In

SLE 2018: Proceedings of the 11th ACM SIGPLAN International Conference on Software Language Engineering

October 2018

219 pages

ISBN:9781450360296

DOI:10.1145/3276604

General Chair:
David Pearce
Victoria University of Wellington, New Zealand
,
Program Chairs:
Tanja Mayerhofer
Vienna University of Technology, Austria
,
Friedrich Steimann
Fernuniversität in Hagen, Germany

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 the author(s) 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].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 24 October 2018

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article

Conference

SLE '18

Sponsor:

SIGPLAN

SLE '18: 11th ACM SIGPLAN International Conference on Software Language Engineering

November 5 - 6, 2018

MA, Boston, USA

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

7
Total Citations
View Citations
128
Total Downloads

Downloads (Last 12 months)9
Downloads (Last 6 weeks)3

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

View all

Bunte ODenkers Jvan Gool LVinju JVisser EWillemse TZaidman A(2024)OIL: an industrial case study in language engineering with SpoofaxSoftware and Systems Modeling10.1007/s10270-024-01185-xOnline publication date: 3-Jun-2024
https://doi.org/10.1007/s10270-024-01185-x
Bunte Ovan Gool LWillemse T(2022)Formal verification of OIL component specifications using mCRL2International Journal on Software Tools for Technology Transfer10.1007/s10009-022-00658-y24:3(441-472)Online publication date: 21-Apr-2022
https://doi.org/10.1007/s10009-022-00658-y
Schindler EMoneva Hvan Pinxten Jvan Gool Lvan der Meulen BStotz NTheelen B(2021)JetBrains MPS as Core DSL Technology for Developing Professional Digital PrintersDomain-Specific Languages in Practice10.1007/978-3-030-73758-0_3(53-91)Online publication date: 15-Apr-2021
https://doi.org/10.1007/978-3-030-73758-0_3
Iung ACarbonell JMarchezan LRodrigues EBernardino MBasso FMedeiros B(2020)Systematic mapping study on domain-specific language development toolsEmpirical Software Engineering10.1007/s10664-020-09872-1Online publication date: 28-Aug-2020
https://doi.org/10.1007/s10664-020-09872-1
Bunte OGool LWillemse T(2020)Formal Verification of OIL Component Specifications using mCRL2Formal Methods for Industrial Critical Systems10.1007/978-3-030-58298-2_10(231-251)Online publication date: 29-Aug-2020
https://doi.org/10.1007/978-3-030-58298-2_10
Denkers JDumas MPfahl DApel SRusso A(2019)A longitudinal field study on creation and use of domain-specific languages in industryProceedings of the 2019 27th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3338906.3341463(1152-1155)Online publication date: 12-Aug-2019
https://dl.acm.org/doi/10.1145/3338906.3341463
Reinhardt OUhrmacher AHinsch MBijak J(2019)Developing Agent-Based Migration Models in Pairs2019 Winter Simulation Conference (WSC)10.1109/WSC40007.2019.9004946(2713-2724)Online publication date: Dec-2019
https://doi.org/10.1109/WSC40007.2019.9004946

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.

PDF

eReader

View online with eReader.

eReader

Abstract

References

Cited By

Index Terms

Recommendations

The spoofax language workbench: rules for declarative specification of languages and IDEs

Bacatá: a language parametric notebook generator (tool demo)

The spoofax language workbench: rules for declarative specification of languages and IDEs

Comments

Information

Published In

Sponsors

Publisher

Publication History

Permissions

Check for updates

Author Tags

Qualifiers

Conference

Upcoming Conference

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

Login options

Full Access

View options

PDF

eReader

Share

Share this Publication link

Share on social media

Affiliations