An Integrated Framework to Specify Domain-Specific Modeling Languages

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

429 Downloads (Pure)

Abstract

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.
Original languageEnglish
Title of host publicationProceedings of 6th International Conference on Model-Driven Engineering and Software Development
PublisherSCITEPRESS Digital Library
Publication date2018
Pages83-94
ISBN (Print)978-989-758-283-7
DOIs
Publication statusPublished - 2018
Event6th International Conference on Model-Driven Engineering and Software Development - Funchal, Madeira, Portugal
Duration: 22 Jan 201824 Jan 2018

Conference

Conference6th International Conference on Model-Driven Engineering and Software Development
CountryPortugal
CityFunchal, Madeira
Period22/01/201824/01/2018

Keywords

  • Domain-Specific Modeling Languages
  • Formal Approach
  • Semantics Specification
  • DSL-Tools
  • FORMULA

Cite this

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 (pp. 83-94). SCITEPRESS Digital Library. https://doi.org/10.5220/0006555800830094
Zarrin, Bahram ; Baumeister, Hubert. / An Integrated Framework to Specify Domain-Specific Modeling Languages. Proceedings of 6th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS Digital Library, 2018. pp. 83-94
@inproceedings{dc75cc57ea7248f1b5489e2205cbeb5c,
title = "An Integrated Framework to Specify Domain-Specific Modeling Languages",
abstract = "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.",
keywords = "Domain-Specific Modeling Languages, Formal Approach, Semantics Specification, DSL-Tools, FORMULA",
author = "Bahram Zarrin and Hubert Baumeister",
year = "2018",
doi = "10.5220/0006555800830094",
language = "English",
isbn = "978-989-758-283-7",
pages = "83--94",
booktitle = "Proceedings of 6th International Conference on Model-Driven Engineering and Software Development",
publisher = "SCITEPRESS Digital Library",

}

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, Madeira, Portugal, 22/01/2018. https://doi.org/10.5220/0006555800830094

An Integrated Framework to Specify Domain-Specific Modeling Languages. / Zarrin, Bahram; Baumeister, Hubert.

Proceedings of 6th International Conference on Model-Driven Engineering and Software Development. SCITEPRESS Digital Library, 2018. p. 83-94.

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

TY - GEN

T1 - An Integrated Framework to Specify Domain-Specific Modeling Languages

AU - Zarrin, Bahram

AU - Baumeister, Hubert

PY - 2018

Y1 - 2018

N2 - 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.

AB - 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.

KW - Domain-Specific Modeling Languages

KW - Formal Approach

KW - Semantics Specification

KW - DSL-Tools

KW - FORMULA

U2 - 10.5220/0006555800830094

DO - 10.5220/0006555800830094

M3 - Article in proceedings

SN - 978-989-758-283-7

SP - 83

EP - 94

BT - Proceedings of 6th International Conference on Model-Driven Engineering and Software Development

PB - SCITEPRESS Digital Library

ER -

Zarrin B, Baumeister H. 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. 2018. p. 83-94 https://doi.org/10.5220/0006555800830094