Skip to main content
Springer Nature Link
Log in

Solving Constraints in Model Transformations

  • Conference paper
Theory and Practice of Model Transformations (ICMT 2009)

Part of the book series: Lecture Notes in Computer Science ((LNPSE,volume 5563))

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

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. OMG: Meta object facility (mof) 2.0 query/view/transformation specification. OMG, ptc/07-07-07 (July 2007)

    Google Scholar 

  2. 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)

    Chapter  Google Scholar 

  3. Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Object Technology Series. Addison-Wesley, Reading (2003)

    Google Scholar 

  4. OMG: Object constraint language omg available specification version 2.0. OMG (May 2006)

    Google Scholar 

  5. Freuder, E.C.: In pursuit of the holy grail. Constraints 2(1), 57–61 (1997)

    Article  MATH  Google Scholar 

  6. Brucker, A.D., Doser, J., Wolff, B.: Semantic issues of OCL: Past, present, and future. Electronic Communications of the EASST 5, 213–228 (2006)

    Google Scholar 

  7. Ratschan, S.: Applications of quantified constraint solving over the reals. Internet (January 2008), http://www2.cs.cas.cz/~ratschan/appqcs.html visited 01/09

  8. Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal 45(3), 621–646 (2006)

    Article  Google Scholar 

  9. 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)

    Chapter  Google Scholar 

  10. 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)

    Chapter  Google Scholar 

  11. IBM United Kingdom Laboratories Ltd., I.a.: Model transformation framework (mtf). IBM alphaWorks (2004), http://www.alphaworks.ibm.com/tech/mtf

  12. OMG: Meta object facility 2.0 core final adopted specification. OMG (October 2003)

    Google Scholar 

  13. 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)

    Google Scholar 

  14. 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)

    Chapter  Google Scholar 

  15. Apt, K.R., Wallace, M.: Constraint Logic Programming using Eclipse. Cambridge University Press, New York (2007)

    MATH  Google Scholar 

  16. 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)

    Google Scholar 

  17. ikv++ technologies AG: Qvt medini. Internet, http://www.ikv.de/ikv_movies/mediniQVT.swf

  18. Ehrig, K., Taentzer, G., Varro, D.: Tool integration by model transformations based on the eclipse modeling framework. Technical report, EASST Newsletter (2006)

    Google Scholar 

  19. 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)

    Chapter  Google Scholar 

  20. 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)

    Chapter  Google Scholar 

  21. 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)

    Chapter  Google Scholar 

  22. 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)

    Google Scholar 

  23. OMG: Mof 2.0 query / views / transformations rfp (April 2004)

    Google Scholar 

  24. Lengyel, L., Levendovszky, T., Charaf, H.: Constraint Validation Support in Visual Model Transformation Systems. Acta Cybernetica 17(2), 339–357 (2005)

    MATH  Google Scholar 

  25. White, J., Gray, J., Schmidt, D.C.: Constraint-based model weaving. In: Transactions on Aspect-Oriented Software Development (2009) (to appear)

    Google Scholar 

  26. 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)

    Google Scholar 

  27. Palanque, P., Paterno, F.: Formal Methods in Human-Computer Interaction. Springer, Berlin (1998) ISBN 978-3540761587

    Book  MATH  Google Scholar 

  28. Browne, T., Davila, D., Rugaber, S., Stirewalt, R.E.K.: The mastermind user interface generation project. Technical report, Georgia Institute of Technology (1996)

    Google Scholar 

  29. 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)

    Chapter  Google Scholar 

  30. 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)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, Telecooperation, Technische Universität Darmstadt, Hochschulstr. 10, D-64289, Darmstadt, Germany

    Andreas Petter, Alexander Behring & Max Mühlhäuser

Authors
  1. Andreas Petter
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Alexander Behring
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Max Mühlhäuser
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Heslington, University of York, YO10 5DD, York, United Kingdom

    Richard F. Paige

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics