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 -