An integrated framework to develop domain-specific languages

Extended case study

Bahram Zarrin, Hubert Baumeister, Hessam Sarjoughian

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper, we propose an integrated framework to formally specify the syntax and the semantics of domain-specific languages. We build this framework by integrating the Microsoft DSL Tools, a framework to develop graphical domain-specific languages, and an extension of the ForSpec, a logic-based specification language. The motivation for proposing this framework is the lack of a formal and rigorous approach by DSL Tools for semantics specifications. We combine the aforementioned technologies under the umbrella of Microsoft Visual Studio IDE to facilitate the development of graphical DSLs within a single development environment. We use the Microsoft DSL Tools to specify the metamodel and graphical notations for DSLs, and our extension of the ForSpec, offering better support for semantic specifications. As a case study, we develop a modeling language to design domain-specific flow-based languages.

Original languageEnglish (US)
Title of host publicationModel-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Revised Selected Papers
EditorsLuís Ferreira Pires, Bran Selic, Slimane Hammoudi
PublisherSpringer Verlag
Pages159-184
Number of pages26
ISBN (Print)9783030110291
DOIs
StatePublished - Jan 1 2019
Event6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018 - Funchal, Madeira, Portugal
Duration: Jan 22 2018Jan 24 2018

Publication series

NameCommunications in Computer and Information Science
Volume991
ISSN (Print)1865-0929

Other

Other6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018
CountryPortugal
CityFunchal, Madeira
Period1/22/181/24/18

Fingerprint

DSL
Domain-specific Languages
Semantics
Specification
Specification Languages
Specifications
Modeling Language
Metamodel
Specification languages
Notation
Studios
Logic
Framework
Graphics

Keywords

  • Domain-specific languages
  • Flow-based programming
  • Formal languages
  • FORMULA
  • ForSpec
  • Microsoft DSL Tools
  • Semantics specification

ASJC Scopus subject areas

  • Computer Science(all)
  • Mathematics(all)

Cite this

Zarrin, B., Baumeister, H., & Sarjoughian, H. (2019). An integrated framework to develop domain-specific languages: Extended case study. In L. F. Pires, B. Selic, & S. Hammoudi (Eds.), Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Revised Selected Papers (pp. 159-184). (Communications in Computer and Information Science; Vol. 991). Springer Verlag. https://doi.org/10.1007/978-3-030-11030-7_8

An integrated framework to develop domain-specific languages : Extended case study. / Zarrin, Bahram; Baumeister, Hubert; Sarjoughian, Hessam.

Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Revised Selected Papers. ed. / Luís Ferreira Pires; Bran Selic; Slimane Hammoudi. Springer Verlag, 2019. p. 159-184 (Communications in Computer and Information Science; Vol. 991).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Zarrin, B, Baumeister, H & Sarjoughian, H 2019, An integrated framework to develop domain-specific languages: Extended case study. in LF Pires, B Selic & S Hammoudi (eds), Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Revised Selected Papers. Communications in Computer and Information Science, vol. 991, Springer Verlag, pp. 159-184, 6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018, Funchal, Madeira, Portugal, 1/22/18. https://doi.org/10.1007/978-3-030-11030-7_8
Zarrin B, Baumeister H, Sarjoughian H. An integrated framework to develop domain-specific languages: Extended case study. In Pires LF, Selic B, Hammoudi S, editors, Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Revised Selected Papers. Springer Verlag. 2019. p. 159-184. (Communications in Computer and Information Science). https://doi.org/10.1007/978-3-030-11030-7_8
Zarrin, Bahram ; Baumeister, Hubert ; Sarjoughian, Hessam. / An integrated framework to develop domain-specific languages : Extended case study. Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Revised Selected Papers. editor / Luís Ferreira Pires ; Bran Selic ; Slimane Hammoudi. Springer Verlag, 2019. pp. 159-184 (Communications in Computer and Information Science).
@inproceedings{a47aed52f232482d95f1d9fd876f01bb,
title = "An integrated framework to develop domain-specific languages: Extended case study",
abstract = "In this paper, we propose an integrated framework to formally specify the syntax and the semantics of domain-specific languages. We build this framework by integrating the Microsoft DSL Tools, a framework to develop graphical domain-specific languages, and an extension of the ForSpec, a logic-based specification language. The motivation for proposing this framework is the lack of a formal and rigorous approach by DSL Tools for semantics specifications. We combine the aforementioned technologies under the umbrella of Microsoft Visual Studio IDE to facilitate the development of graphical DSLs within a single development environment. We use the Microsoft DSL Tools to specify the metamodel and graphical notations for DSLs, and our extension of the ForSpec, offering better support for semantic specifications. As a case study, we develop a modeling language to design domain-specific flow-based languages.",
keywords = "Domain-specific languages, Flow-based programming, Formal languages, FORMULA, ForSpec, Microsoft DSL Tools, Semantics specification",
author = "Bahram Zarrin and Hubert Baumeister and Hessam Sarjoughian",
year = "2019",
month = "1",
day = "1",
doi = "10.1007/978-3-030-11030-7_8",
language = "English (US)",
isbn = "9783030110291",
series = "Communications in Computer and Information Science",
publisher = "Springer Verlag",
pages = "159--184",
editor = "Pires, {Lu{\'i}s Ferreira} and Bran Selic and Slimane Hammoudi",
booktitle = "Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Revised Selected Papers",

}

TY - GEN

T1 - An integrated framework to develop domain-specific languages

T2 - Extended case study

AU - Zarrin, Bahram

AU - Baumeister, Hubert

AU - Sarjoughian, Hessam

PY - 2019/1/1

Y1 - 2019/1/1

N2 - In this paper, we propose an integrated framework to formally specify the syntax and the semantics of domain-specific languages. We build this framework by integrating the Microsoft DSL Tools, a framework to develop graphical domain-specific languages, and an extension of the ForSpec, a logic-based specification language. The motivation for proposing this framework is the lack of a formal and rigorous approach by DSL Tools for semantics specifications. We combine the aforementioned technologies under the umbrella of Microsoft Visual Studio IDE to facilitate the development of graphical DSLs within a single development environment. We use the Microsoft DSL Tools to specify the metamodel and graphical notations for DSLs, and our extension of the ForSpec, offering better support for semantic specifications. As a case study, we develop a modeling language to design domain-specific flow-based languages.

AB - In this paper, we propose an integrated framework to formally specify the syntax and the semantics of domain-specific languages. We build this framework by integrating the Microsoft DSL Tools, a framework to develop graphical domain-specific languages, and an extension of the ForSpec, a logic-based specification language. The motivation for proposing this framework is the lack of a formal and rigorous approach by DSL Tools for semantics specifications. We combine the aforementioned technologies under the umbrella of Microsoft Visual Studio IDE to facilitate the development of graphical DSLs within a single development environment. We use the Microsoft DSL Tools to specify the metamodel and graphical notations for DSLs, and our extension of the ForSpec, offering better support for semantic specifications. As a case study, we develop a modeling language to design domain-specific flow-based languages.

KW - Domain-specific languages

KW - Flow-based programming

KW - Formal languages

KW - FORMULA

KW - ForSpec

KW - Microsoft DSL Tools

KW - Semantics specification

UR - http://www.scopus.com/inward/record.url?scp=85061478553&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85061478553&partnerID=8YFLogxK

U2 - 10.1007/978-3-030-11030-7_8

DO - 10.1007/978-3-030-11030-7_8

M3 - Conference contribution

SN - 9783030110291

T3 - Communications in Computer and Information Science

SP - 159

EP - 184

BT - Model-Driven Engineering and Software Development - 6th International Conference, MODELSWARD 2018, Revised Selected Papers

A2 - Pires, Luís Ferreira

A2 - Selic, Bran

A2 - Hammoudi, Slimane

PB - Springer Verlag

ER -