Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering
Integrating the Specification Techniques of Graph Transformation and Temporal Logic
MFCS '97 Proceedings of the 22nd International Symposium on Mathematical Foundations of Computer Science
Tool Support for Verifying UML Activity Diagrams
IEEE Transactions on Software Engineering
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Translating model simulators to analysis models
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
On the use of alloy to analyze graph transformation systems
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Monarch: model-based development of software architectures
MODELS'10 Proceedings of the 13th international conference on Model driven engineering languages and systems: Part II
DESIGN SPACE ANALYSIS IN MODEL-DRIVEN ENGINEERING
Journal of Integrated Design & Process Science
Hi-index | 0.00 |
Domain-Specific Modeling Languages (DSMLs) enable domain experts to participate in software development tasks and to specify their own programs using domain abstractions. Many Model-Driven Engineering (MDE) platforms primarily concentrate on structural aspects of DSMLs and only provide techniques to define abstract and concrete syntax. Only a few platforms provide built-in support for specification of behavioral semantics and verification tasks. In this paper, we focus on how to specify the behavioral semantics of a DSML by a sequence of graph transformation rules. We also discuss how to transform a DSML specification into Alloy, a model checking tool. These transformations demonstrate that DSML models specified in a visual notation can be verified by means of existing model checking tools.