@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 = jan,
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",
note = "6th International Conference on Model-Driven Engineering and Software Development, MODELSWARD 2018 ; Conference date: 22-01-2018 Through 24-01-2018",
}