TY - GEN
T1 - Rewriting constraint models with metamodels
AU - Chenouard, Raphaël
AU - Granvilliers, Laurent
AU - Soto, Ricardo
N1 - Funding Information:
The authors thank the staff in the 20 clinical systems ( Appendix 1 , p 493) for teaching so much about what can be done to innovate and provide superior care to patients and community residents. They also express their appreciation for the extensive contributions made by Kerri Ashling, MD, Richard Brandenburg, PhD, and Valerie Stender, RN, in medical record review, financial, and operational analyses. The authors are very grateful to the Robert Wood Johnson Foundation for its generous support of this investigation, (RWJ Grant Number 036103 ). They deeply appreciate the guidance and inspiration provided by Professor J. Brian Quinn, PhD. Finally, they acknowledge the encouragement and ideas offered by Donald Berwick, MD, and his colleagues at the Institute for Healthcare Improvement.
PY - 2009
Y1 - 2009
N2 - An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may require translations between constraint programming languages, transformations of constraint representations, model optimizations, and tuning of solving strategies. In this paper, we introduce a pivot metamodel describing the common features of constraint models including different kinds of constraints, statements like conditionals and loops, and other first-class elements like object classes and predicates. This metamodel is general enough to cope with the constructions of many languages, from object-oriented modeling languages to logic languages, but it is independent from them. The rewriting operations manipulate metamodel instances apart from languages. As a consequence, the rewriting operations apply whatever languages are selected and they are able to manage model semantic information. A bridge is created between the metamodel space and languages using parsing techniques. Tools from the software engineering world can be useful to implement this framework.
AB - An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may require translations between constraint programming languages, transformations of constraint representations, model optimizations, and tuning of solving strategies. In this paper, we introduce a pivot metamodel describing the common features of constraint models including different kinds of constraints, statements like conditionals and loops, and other first-class elements like object classes and predicates. This metamodel is general enough to cope with the constructions of many languages, from object-oriented modeling languages to logic languages, but it is independent from them. The rewriting operations manipulate metamodel instances apart from languages. As a consequence, the rewriting operations apply whatever languages are selected and they are able to manage model semantic information. A bridge is created between the metamodel space and languages using parsing techniques. Tools from the software engineering world can be useful to implement this framework.
UR - http://www.scopus.com/inward/record.url?scp=84890260212&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84890260212
SN - 9781577354338
T3 - SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation
SP - 42
EP - 49
BT - SARA 2009 - Proceedings, 8th Symposium on Abstraction, Reformulation and Approximation
T2 - 8th Symposium on Abstraction, Reformulation and Approximation, SARA 2009
Y2 - 7 July 2009 through 10 July 2009
ER -