An MDE-Based Approach for Solving Configuration Problems: An Application to the Eclipse Platform

  • Guillaume Doux
  • Patrick Albert
  • Gabriel Barbier
  • Jordi Cabot
  • Marcos Didonet Del Fabro
  • Scott Uk-Jin Lee
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6698)


Most of us have experienced configuration issues when installing new software applications. Finding the right configuration is often a challenging task since we need to deal with many dependencies between plug-ins, components, libraries, packages, etc; sometimes even regarding specific versions of the involved artefacts. Right now, most configuration engines are adhoc tools designed for specific configuration scenarios. This makes their reuse in different contexts very difficult.In this paper we report on our experience in following a MDE-based approach to solve configuration problems. In our approach, the configuration problem is represented as a model that abstracts all irrelevant technological details and facilitates the use of generic (constraint) solvers to find optimal solutions. This approach has been applied by an industrial partner to the management of plug-ins in the Eclipse framework, a big issue for all the technology providers that distribute Eclipse-based tools.


Configuration MDE Eclipse Plug-in Cartography 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Cicchetti, A., Di Ruscio, D., Pelliccione, P., Pierantonio, A., Zacchiroli, S.: Towards a model driven approach to upgrade complex software systems. In: Maciaszek, L.A., González-Pérez, C., Jablonski, S. (eds.) ENASE 2008/2009. Communications in Computer and Information Science, vol. 69, pp. 262–276. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  2. 2.
    Le Berre, D., Rapicault, P.: Dependency management for the eclipse ecosystem. In: Proceedings of IWOCE 2009, International workshop on Open Component Ecosystems (2009)Google Scholar
  3. 3.
    Gruber, O., Hargrave, B.J., McAffer, J., Rappicault, P., Watson, T.: The eclipse 3.0 platform: Adopting osgi technology. IBM Systems Journal 44(2) (2005)Google Scholar
  4. 4.
    Kleiner, M., Del Fabro, M.D., Albert, P.: Model Search: Formalizing and Automating Constraint Solving in MDE Platforms. In: Kühne, T., Selic, B., Gervais, M.-P., Terrier, F. (eds.) ECMFA 2010. LNCS, vol. 6138, pp. 173–188. Springer, Heidelberg (2010)CrossRefGoogle Scholar
  5. 5.
    EMF. Eclipse Modeling Project. Reference site,
  6. 6.
    OCL 2.0 specification (2008),
  7. 7.
    ILOG OPL-CPLEX development bundle (January 2010),
  8. 8.
    Jackson, D.: Alloy: a lightweight object modelling notation. ACM Transactions on Software Engineering and Methodology 11(2), 256–290 (2002)CrossRefGoogle Scholar
  9. 9.
    Apt, K.R.: Principle of Constraint Programming. Cambridge University Press, Cambridge (2003)CrossRefMATHGoogle Scholar
  10. 10.
    Brucker, A.D., Wolff, B.: The HOL-OCL book. Technical Report 525, ETH Zurich (2006)Google Scholar
  11. 11.
    Cabot, J., Clarisó, R., Riera, D.: UMLtoCSP: a tool for the formal verification of UML/OCL models using constraint programming. In: ASE 2007, pp. 547–548 (2007)Google Scholar
  12. 12.
    Van Der Straeten, R., Mens, T., Simmonds, J., Jonckers, V.: Using description logic to maintain consistency between UML models. In: Stevens, P., Whittle, J., Booch, G. (eds.) UML 2003. LNCS, vol. 2863, pp. 326–340. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  13. 13.
    Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: Uml2alloy: A challenging model transformation. In: ACM/IEEE 10th International Conference on Model Driven Engineering Languages and Systems, pp. 436–450 (2007)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Guillaume Doux
    • 1
  • Patrick Albert
    • 2
  • Gabriel Barbier
    • 3
  • Jordi Cabot
    • 1
  • Marcos Didonet Del Fabro
    • 4
  • Scott Uk-Jin Lee
    • 5
  1. 1.AtlanMod, INRIA & EMN, NantesFrance
  2. 2.IBM France, ParisFrance
  3. 3.Mia-software, NantesFrance
  4. 4.Universidade Federal do ParanáBrazil
  5. 5.CEA, LIST, Gif-sur-YvetteFrance

Personalised recommendations