Abstract
Constraint programming holds many promises for model driven software development (MDSD). Up to now, constraints have only started to appear in MDSD modeling languages, but have not been properly reflected in model transformation. This paper introduces constraint programming in model transformation, shows how constraint programming integrates with QVT Relations - as a pathway to wide spread use of our approach - and describes the corresponding model transformation engine. In particular, the paper will illustrate the use of constraint programming for the specification of attribute values in target models, and provide a qualitative evaluation of the benefit drawn from constraints integrated with QVT Relations.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
OMG: Meta object facility (mof) 2.0 query/view/transformation specification. OMG, ptc/07-07-07 (July 2007)
Lawley, M., Raymond, K.: Implementing a practical declarative logic-based model transformation engine. In: SAC 2007: Proceedings of the, ACM symposium on Applied computing, pp. 971–977. ACM, New York (2007)
Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Object Technology Series. Addison-Wesley, Reading (2003)
OMG: Object constraint language omg available specification version 2.0. OMG (May 2006)
Freuder, E.C.: In pursuit of the holy grail. Constraints 2(1), 57–61 (1997)
Brucker, A.D., Doser, J., Wolff, B.: Semantic issues of OCL: Past, present, and future. Electronic Communications of the EASST 5, 213–228 (2006)
Ratschan, S.: Applications of quantified constraint solving over the reals. Internet (January 2008), http://www2.cs.cas.cz/~ratschan/appqcs.html visited 01/09
Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–646 (2006)
Jouault, F., Kurtev, I.: On the architectural alignment of atl and qvt. In: SAC 2006: Proceedings of the, ACM symposium on Applied computing, pp. 1188–1195. ACM Press, New York (2006)
Stevens, P.: Bidirectional model transformations in qvt: Semantic issues and open questions. In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol. 4735, pp. 1–15. Springer, Heidelberg (2007)
IBM United Kingdom Laboratories Ltd., I.a.: Model transformation framework (mtf). IBM alphaWorks (2004), http://www.alphaworks.ibm.com/tech/mtf
OMG: Meta object facility 2.0 core final adopted specification. OMG (October 2003)
Cabot, J., Clariso, R., Riera, D.: Verification of uml/ocl class diagrams using constraint programming. In: Model Driven Engineering, Verification, And Validation: Integrating Verification And Validation in MDE, MoDeVVA 2008 (2008)
Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: The missing link of mda. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol. 2505, pp. 90–105. Springer, Heidelberg (2002)
Apt, K.R., Wallace, M.: Constraint Logic Programming using Eclipse. Cambridge University Press, New York (2007)
Jussien, N., Rochart, G., Lorca, X.: The choco constraint programming solver. In: CPAIOR 2008 workshop on Open-Source Software for Integer and Contraint Programming (OSSICP 2008), Paris, France (June 2008)
ikv++ technologies AG: Qvt medini. Internet, http://www.ikv.de/ikv_movies/mediniQVT.swf
Ehrig, K., Taentzer, G., Varro, D.: Tool integration by model transformations based on the eclipse modeling framework. Technical report, EASST Newsletter (2006)
Rudolf, M.: Utilizing Constraint Satisfaction Techniques for Efficient Graph Pattern Matching. In: Ehrig, H., Engels, G., Kreowski, H.-J., Rozenberg, G. (eds.) TAGT 1998. LNCS, vol. 1764, pp. 381–394. Springer, Heidelberg (2000)
Ehrig, H., Ehrig, K., Habel, A., Pennemann, K.H.: Constraints and application conditions: From graphs to high-level structures. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 287–303. Springer, Heidelberg (2004)
El-Boussaidi, G., Mili, H.: Detecting patterns of poor design solutions using constraint propagation. In: Czarnecki, K., Ober, I., Bruel, J.-M., Uhl, A., Völter, M. (eds.) MODELS 2008. LNCS, vol. 5301, pp. 189–203. Springer, Heidelberg (2008)
Compuware-Corporation, SUN-Microsystems: Xmof queries, views and transformations on models using mof, ocl and patterns. OMG, OMG Document ad/2003-08-07 (August 2003)
OMG: Mof 2.0 query / views / transformations rfp (April 2004)
Lengyel, L., Levendovszky, T., Charaf, H.: Constraint Validation Support in Visual Model Transformation Systems. Acta Cybernetica 17(2), 339–357 (2005)
White, J., Gray, J., Schmidt, D.C.: Constraint-based model weaving. In: Transactions on Aspect-Oriented Software Development (2009) (to appear)
Gajos, K., Weld, D.S.: Supple: automatically generating user interfaces. In: IUI 2004: Proceedings of the 9th international conference on Intelligent user interfaces, pp. 93–100. ACM Press, New York (2004)
Palanque, P., Paterno, F.: Formal Methods in Human-Computer Interaction. Springer, Berlin (1998) ISBN 978-3540761587
Browne, T., Davila, D., Rugaber, S., Stirewalt, R.E.K.: The mastermind user interface generation project. Technical report, Georgia Institute of Technology (1996)
Hettel, T., Lawley, M., Raymond, K.: Model synchronisation: Definitions for round-trip engineering. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 31–45. Springer, Heidelberg (2008)
Cicchetti, A., Di Ruscio, D., Eramo, R.: Towards propagation of changes by model approximations. In: EDOCW 2006: Proceedings of the 10th IEEE on International Enterprise Distributed Object Computing Conference Workshops, Washington, DC, USA, p. 24. IEEE Computer Society, Los Alamitos (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2009 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Petter, A., Behring, A., Mühlhäuser, M. (2009). Solving Constraints in Model Transformations. In: Paige, R.F. (eds) Theory and Practice of Model Transformations. ICMT 2009. Lecture Notes in Computer Science, vol 5563. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-02408-5_10
Download citation
DOI: https://doi.org/10.1007/978-3-642-02408-5_10
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-02407-8
Online ISBN: 978-3-642-02408-5
eBook Packages: Computer ScienceComputer Science (R0)