Book Chapter10.1007/978-3-319-04717-1_5
Formal MDE-Based Tool Development
Robson José Silva,Alexandre Mota,Rodrigo Rizzi Starr +2 more
- 01 Jan 2014
- pp 105-125
2
TL;DR: This work proposes a rigorous methodology to create GUI (Graphical User Interface) based DSLs formal tools, aimed at providing a productive and trustworthy development methodology to safety critical industries.
read more
Abstract: Model-driven engineering (MDE) focuses on creating and exploiting (specific) domain models. It is common to use domain-specific languages (DSL) to describe the concrete elements of such models. MDE tools can easily build DSLs, although it is not clear how to capture dynamic semantics as well as formally verify properties. Formal methods are a well-known solution for providing correct software, but human-machine interaction is usually not addressed. Several industries, particularly the safety-critical industries, use mathematical representations to deal with their problem domains. Such DSLs are difficult to capture, using just MDE tools for instance, because they have specific semantics to provide the desired (core) expected behavior. Thus, we propose a rigorous methodology to create GUI (Graphical User Interface) based DSLs formal tools. We aim at providing a productive and trustworthy development methodology to safety critical industries.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
The Spoofax language workbench rules for declarative specification of languages and IDEs
Lennart C. L. Kats,Eelco Visser +1 more
- 31 Dec 2010
TL;DR: Spoofax as mentioned in this paper is a language workbench for efficient, agile development of textual domain-specific languages with state-of-the-art IDE support, integrating language processing techniques for parser generation, meta-programming, and IDE development into a single environment.
Pure and declarative syntax definition : Paradise lost and regained
Lennart C. L. Kats,Eelco Visser,Guido Wachsmuth +2 more
- 31 Dec 2010
TL;DR: This paper analyzed how these problems arise for different aspects of syntax definitions, discussed their consequences for language engineers, and showed how the pure and declarative nature of syntax definition can be regained.
References
When and how to develop domain-specific languages
TL;DR: In this article, the authors identify patterns in the decision, analysis, design, and implementation phases of DSL development and discuss domain analysis tools and language development systems that may help to speed up DSL development.
Xtext: implement your language faster than the quick and dirty way
Moritz Eysholdt,Heiko Behrens +1 more
- 17 Oct 2010
TL;DR: This tutorial explains how to define a language and a statically typed, EMF-based Abstract Syntax Tree using only a grammar, and shows how literally every as- pects of the language and its complementary tool support can be customized using Dependency Injection.
419
•Book
Model-Driven Architecture - Foundations and Applications
Arend Rensink
- 01 Jan 2008
TL;DR: The QVT-Partners approach is used in this paper for model transformation in Model Driven Architecture (MDA) this paper, where the authors present a non-trivial example using the QVTpartners approach.
392
The epsilon object language (EOL)
Dimitrios S. Kolovos,Richard F. Paige,Fiona A. C. Polack +2 more
- 10 Jul 2006
TL;DR: This work presents the metamodel independent Epsilon Object Language (EOL) which builds on OCL and describes how it has been used to construct a selection of languages, such as model merging, comparison, and text generation languages.
319