Skip to main content
SpringerLink
Log in

Search-Based Model Optimization Using Model Transformations

  • Conference paper
System Analysis and Modeling: Models and Reusability (SAM 2014)

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

Included in the following conference series:

Abstract

Design-Space Exploration (DSE) and optimization look for a suitable and optimal candidate solution to a problem, with respect to a set of quality criteria, by searching through a space of possible solution designs. Search-Based Optimization (SBO) is a well-known technique for design-space exploration and optimization. Model-Driven Engineering (MDE) offers many benefits for creating a general approach to SBO, through a suitable problem representation. In MDE, model transformation is the preferred technique to manipulate models. The challenge thus lies in adapting model transformations to perform SBO tasks. In this paper, we demonstrate that multiple SBO techniques are easily incorporated into MDE. Through a non-trivial example of electrical circuit generation, we show how this approach can be applied, how it enables simple switching between different SBO approaches, and integrates domain knowledge, all within the modeling paradigm.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Burton, F.R., Paige, R.F., Rose, L.M., Kolovos, D.S., Poulding, S., Smith, S.: Solving acquisition problems using model-driven engineering. In: Vallecillo, A., Tolvanen, J.-P., Kindler, E., Störrle, H., Kolovos, D. (eds.) ECMFA 2012. LNCS, vol. 7349, pp. 428–443. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  2. Burton, F.R., Poulding, S.M.: Complementing metaheuristic search with higher abstraction techniques. In: Paige et al. [19], pp. 45–48

    Google Scholar 

  3. Cook, S.A.: The complexity of theorem-proving procedures. In: Proc. Third Annual ACM Symp. on Theory of Computing (STOC 1971), pp. 151–158. ACM, USA (1971)

    Chapter  Google Scholar 

  4. Denil, J., Cicchetti, A., Biehl, M., De Meulenaere, P., Eramo, R., Demeyer, S., Vangheluwe, H.: Automatic Deployment Space Exploration Using Refinement Transformations. Electronic Communications of the EASST Recent Advances in Multi-paradigm Modeling 50 (2011)

    Google Scholar 

  5. Denil, J., Han, G., Persson, M., De Meulenaere, P., Zeng, H., Liu, X., Vangheluwe, H.: Model-Driven Engineering Approaches to Design Space Exploration. Tech. rep., McGill University, SOCS-TR-2013.1 (2013)

    Google Scholar 

  6. Denil, J., Jukss, M., Verbrugge, C., Vangheluwe, H.: Search-based model optimization using model transformation. Tech. Rep. SOCS-TR-2014.2, School of Computer Science, McGill University (January 2014)

    Google Scholar 

  7. Drago, M.L., Ghezzi, C., Mirandola, R.: QVTR2: A rational and performance-aware extension to the relations language. In: Dingel, J., Solberg, A. (eds.) MODELS 2010. LNCS, vol. 6627, pp. 328–328. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  8. Hegedus, A., Horvath, A., Rath, I., Varro, D.: A model-driven framework for guided design space exploration. In: Proc. ASE 2011, pp. 173–182. IEEE CS, USA (2011)

    Google Scholar 

  9. Jackson, E.K., Kang, E., Dahlweid, M., Seifert, D., Santen, T.: Components, platforms and possibilities: Towards generic automation for mda. In: Proc. EMSOFT 2010, pp. 39–48. ACM, USA (2010)

    Google Scholar 

  10. Jukss, M., Verbrugge, C., Elaasar, M., Vangheluwe, H.: Scope in model transformations. Tech. Rep. SOCS-TR-2013.4, School of Computer Science, McGill University (January 2013)

    Google Scholar 

  11. Kessentini, M., Wimmer, M., Sahraoui, H., Boukadoum, M.: Generating transformation rules from examples for behavioral models. In: Proc. Second International Workshop on Behaviour Modelling Foundation and Applications, BM-FA 2010, pp. 1–7. ACM Press, New York (2010)

    Chapter  Google Scholar 

  12. Kessentini, M., Langer, P., Wimmer, M.: Searching models, modeling search: On the synergies of SBSE and MDE. In: Paige et al. [19], pp. 51–54

    Google Scholar 

  13. Kirkpatrick, S., Gelatt, C.D., Vecchi, M.P.: Optimization by Simulated Annealing. Science 220(4598), 671–680 (1983)

    Article  MATH  MathSciNet  Google Scholar 

  14. Land, A., Doig, A.: An Automated Method of Solving Discrete Programming Problems. Econometrica 28(3), 497–520 (1960)

    Article  MATH  MathSciNet  Google Scholar 

  15. Lúcio, L., Mustafiz, S., Denil, J., Vangheluwe, H., Jukss, M.: FTG+PM: An integrated framework for investigating model transformation chains. In: Khendek, F., Toeroe, M., Gherbi, A., Reed, R. (eds.) SDL 2013. LNCS, vol. 7916, pp. 182–202. Springer, Heidelberg (2013)

    Chapter  Google Scholar 

  16. Mustafiz, S., Denil, J., Lúcio, L., Vangheluwe, H.: The FTG+PM framework for multi-paradigm modelling: An automotive case study. In: Proc. MPM 2012, pp. 13–18. ACM, USA (2012)

    Google Scholar 

  17. Nagel, L., Pederson, D.: SPICE (Simulation Program with Integrated Circuit Emphasis). Tech. Rep. UCB/ERL M382, EECS Department, University of California, Berkeley (April 1973)

    Google Scholar 

  18. Neema, S., Sztipanovits, J., Karsai, G., Butts, K.: Constraint-based design-space exploration and model synthesis. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 290–305. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  19. Paige, R.F., Harman, M., Williams, J.R. (eds.): CMSBSE@ICSE 2013. IEEE CS (2013)

    Google Scholar 

  20. Saxena, T., Karsai, G.: Mde-based approach for generalizing design space exploration. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 46–60. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  21. Schätz, B., Hölzl, F., Lundkvist, T.: Design-Space Exploration through Constraint-Based Model-Transformation. In: 2010 17th IEEE International Conference and Workshops on Engineering of Computer-Based Systems, pp. 173–182. IEEE (2010)

    Google Scholar 

  22. Schmidt, D.C.: Guest Editor’s Introduction: Model-Driven Engineering. IEEE Computer 39(2), 25–31 (2006)

    Article  Google Scholar 

  23. Sen, S., Baudry, B., Vangheluwe, H.: Towards domain-specific model editors with automatic model completion. Simulation 86(2), 109–126 (2010)

    Article  Google Scholar 

  24. Sendall, S., Kozaczynski, W.: Model transformation: the heart and soul of model-driven software development. IEEE Software 20(5), 42–45 (2003)

    Article  Google Scholar 

  25. Syriani, E., Vangheluwe, H., LaShomb, B.: T-Core: a framework for custom-built model transformation engines. Software & Systems Modeling, 1–29 (2013)

    Google Scholar 

  26. Williams, J.R., Poulding, S., Rose, L.M., Paige, R.F., Polack, F.A.C.: Identifying desirable game character behaviours through the application of evolutionary algorithms to model-driven engineering metamodels. In: Cohen, M.B., Ó Cinnéide, M. (eds.) SSBSE 2011. LNCS, vol. 6956, pp. 112–126. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  27. Zeng, H., Natale, M.D.: Improving real-time feasibility analysis for use in linear optimization methods. In: 22nd Euromicro Conference on Real-Time Systems (ECRTS), pp. 279–290. IEEE CS (2010)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. University of Antwerp, Belgium

    Joachim Denil & Hans Vangheluwe

  2. McGill University, Canada

    Joachim Denil, Maris Jukss, Clark Verbrugge & Hans Vangheluwe

Authors
  1. Joachim Denil
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Maris Jukss
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Clark Verbrugge
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Hans Vangheluwe
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Electrical Engineering and Computer Sience, University of Ottawa, 800 King Edward St., K1N 6N5, Ottawa, ON, Canada

    Daniel Amyot

  2. Department of Statistics and Operations Research, Universitat Politècnica de Catalunya - Barcelona Tech, North Campus - C5218 Room, 08034, Barcelona, Spain

    Pau Fonseca i Casas

  3. Department of Electrical and Computer Engineering, McGill University, 3480 University Street, H3A 0E9, Montreal, QC, Canada

    Gunter Mussbacher

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer International Publishing Switzerland

About this paper

Cite this paper

Denil, J., Jukss, M., Verbrugge, C., Vangheluwe, H. (2014). Search-Based Model Optimization Using Model Transformations. In: Amyot, D., Fonseca i Casas, P., Mussbacher, G. (eds) System Analysis and Modeling: Models and Reusability. SAM 2014. Lecture Notes in Computer Science, vol 8769. Springer, Cham. https://doi.org/10.1007/978-3-319-11743-0_6

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-11743-0_6

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-11742-3

  • Online ISBN: 978-3-319-11743-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation