The OPL optimization programming language
The OPL optimization programming language
Automating first-order relational logic
SIGSOFT '00/FSE-8 Proceedings of the 8th ACM SIGSOFT international symposium on Foundations of software engineering: twenty-first century applications
Software product lines: practices and patterns
Software product lines: practices and patterns
Configuration Knowledge Representation Using UML/OCL
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
The complexity of theorem-proving procedures
STOC '71 Proceedings of the third annual ACM symposium on Theory of computing
TCS:: a DSL for the specification of textual concrete syntaxes in model engineering
Proceedings of the 5th international conference on Generative programming and component engineering
UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming
Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering
USE: A UML-based specification environment for validating UML and OCL
Science of Computer Programming
Model-driven constraint programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
Model Transformation as an Optimization Problem
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automated Diagnosis of Product-Line Configuration Errors in Feature Models
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Solving Constraints in Model Transformations
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
Parsing SBVR-Based Controlled Languages
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
MiniZinc: towards a standard CP modelling language
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
KM3: a DSL for metamodel specification
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Assessing the Kodkod model finder for resolving model inconsistencies
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
An MDE-based approach for solving configuration problems: an application to the eclipse platform
ECMFA'11 Proceedings of the 7th European conference on Modelling foundations and applications
ECMFA'13 Proceedings of the 9th European conference on Modelling Foundations and Applications
Hi-index | 0.00 |
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.