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 Kleiner | 1 | 69 | 7.66 |
Marcos Didonet Del Fabro | 2 | 273 | 34.14 |
Patrick Albert | 3 | 77 | 6.39 |