An Integrated Framework to Specify Domain-Specific Modeling Languages
| Autor: | Bahram Zarrin, Hubert Baumeister |
|---|---|
| Jazyk: | angličtina |
| Rok vydání: | 2018 |
| Předmět: |
FORMULA
Computer science Programming language Domain-specific modeling 020207 software engineering 02 engineering and technology 010501 environmental sciences computer.software_genre 01 natural sciences Semantics Specification Domain-Specific Modeling Languages Software_SOFTWAREENGINEERING Formal Approach 0202 electrical engineering electronic engineering information engineering DSL-Tools Software_PROGRAMMINGLANGUAGES computer 0105 earth and related environmental sciences |
| Zdroj: | Zarrin, B & Baumeister, H 2018, An Integrated Framework to Specify Domain-Specific Modeling Languages . in Proceedings of 6th International Conference on Model-Driven Engineering and Software Development . SCITEPRESS Digital Library, pp. 83-94, 6th International Conference on Model-Driven Engineering and Software Development, Funchal, Portugal, 22/01/2018 . https://doi.org/10.5220/0006555800830094 MODELSWARD |
| DOI: | 10.5220/0006555800830094 |
| Popis: | In this paper, we propose an integrated framework that can be used by DSL designers to implement their desired graphical domain-specific languages. This framework relies on Microsoft DSL Tools, a meta-modeling framework to build graphical domain-specific languages, and an extension of ForSpec, a logic-based specification language. The drawback of MS DSL Tools is it does not provide a formal and rigorous approach for semantics specifications. In this framework, we use Microsoft DSL Tools to define the metamodel and graphical notations of DSLs, and an extended version of ForSpec as a formal language to define their semantics. Integrating these technologies under the umbrella of Microsoft Visual Studio IDE allows DSL designers to utilize a single development environment for developing their desired domain-specific languages. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|