Title
Model search: formalizing and automating constraint solving in MDE platforms
Abstract
Model Driven Engineering (MDE) and constraint programming (CP) have been widely used and combined in different applications. However, existing results are either ad-hoc, not fully integrated or manually executed. In this article, we present a formalization and an approach for automating constraint-based solving in a MDE platform. Our approach generalizes existing work by combining known MDE concepts with CP techniques into a single operation called model search. We present the theoretical basis for model search, as well as an automated process that details the involved operations. We validate our approach by comparing two implemented solutions (one based on Alloy/SAT, the other on OPL/CP), and by executing them over an academic use-case.
Year
DOI
Venue
2010
10.1007/978-3-642-13595-8_15
ECMFA
Keywords
Field
DocType
mde concept,involved operation,different application,constraint programming,model driven engineering,cp technique,mde platform,model search,academic use-case,automated process,use case
Model transformation,Programming language,Search engine,Model-driven architecture,Computer science,Constraint programming,Software product line
Conference
ISBN
Citations 
PageRank 
3-642-13594-3
10
0.66
References 
Authors
16
3
Name
Order
Citations
PageRank
Mathias Kleiner1697.66
Marcos Didonet Del Fabro227334.14
Patrick Albert3776.39