Paper Info
Title
Verification of DSMLs using graph transformation: a case study with Alloy
Abstract
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.
Year
DOI
Venue
2009
10.1145/1656485.1656488
Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation
Keywords
DocType
Citations 
concrete syntax,graph transformation systems,model checking tool,dsml model,operational semantics,model-driven engineering,domain-specific modeling languages,dsml specification,domain expert,case study,built-in support,domain abstraction,model checking,verification,activity diagram,graph transformation,behavioral semantics,software development,system modeling,model driven engineering
Conference
6
PageRank 
References 
Authors
0.62
13
4
Name
Order
Citations
PageRank
Zekai Demirezen1183.66
Marjan Mernik23256154.23
Jeff Gray3973116.57
B. R. Bryant4193.23