Little languages: little maintenance
Journal of Software Maintenance: Research and Practice
On a method of multiprogramming
On a method of multiprogramming
Model checking
Domain-specific languages: an annotated bibliography
ACM SIGPLAN Notices
Communication and Concurrency
Process Algebra with Timing
Metrics and Laws of Software Evolution - The Nineties View
METRICS '97 Proceedings of the 4th International Symposium on Software Metrics
When and how to develop domain-specific languages
ACM Computing Surveys (CSUR)
TOPCASED Combining Formal Methods with Model-Driven Engineering
ASE '06 Proceedings of the 21st IEEE/ACM International Conference on Automated Software Engineering
Evolving an embedded domain-specific language in Java
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
EMF: Eclipse Modeling Framework 2.0
EMF: Eclipse Modeling Framework 2.0
Software/Hardware Engineering with the Parallel Object-Oriented Specification Language
MEMOCODE '07 Proceedings of the 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign
The temporal logic of programs
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
Spin model checker, the: primer and reference manual
Spin model checker, the: primer and reference manual
Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap?
ICMT '08 Proceedings of the 1st international conference on Theory and Practice of Model Transformations
Automating Co-evolution in Model-Driven Engineering
EDOC '08 Proceedings of the 2008 12th International IEEE Enterprise Distributed Object Computing Conference
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Generic model transformations: write once, reuse everywhere
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Model transformation analysis: staying ahead of the maintenance nightmare
ICMT'11 Proceedings of the 4th international conference on Theory and practice of model transformations
Guidance for domain specific modeling in small and medium enterprises
Proceedings of the compilation of the co-located workshops on DSM'11, TMC'11, AGERE!'11, AOOPES'11, NEAT'11, & VMIL'11
Reusable and correct endogenous model transformations
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
Traceability visualization in model transformations with tracevis
ICMT'12 Proceedings of the 5th international conference on Theory and Practice of Model Transformations
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
| Hi-index | 0.00 |
We describe our experiences with the process of designing a domain-specific language (DSL) and corresponding model transformations. The simultaneous development of the language and the transformations has lead to an iterative evolution of the DSL. We identified four main influences on the evolution of our DSL: the problem domain, the target platforms, model quality, and model transformation quality. Our DSL is aimed at modeling the structure and behavior of distributed communicating systems. Simultaneously with the development of our DSL, we implemented three model transformations to different formalisms: one for simulation, one for execution, and one for verification. Transformations to each of these formalisms were implemented one at the time, while preserving the validity of the existing ones. The DSL and the formalisms for simulation, execution, and verification have different semantic characteristics. We also implemented a number of model transformations that bridge the semantic gaps between our DSL and each of the three formalisms. In this paper, we describe our development process and how the aforementioned influences have caused our DSL to evolve.