Skip to main content
SpringerLink
Log in

Weaving-Based Configuration and Modular Transformation of Multi-layer Systems

  • Conference paper
Book cover Model Driven Engineering Languages and Systems (MODELS 2012)

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

Abstract

In model-driven development of multi-layer systems (e.g. application, platform and infrastructure), each layer is usually described by separate models. When generating analysis models or code, these separate models first of all need to be linked. Hence, existing model transformations for single layers cannot be simply re-used.

In this paper, we present a modular approach to the transformation of multi-layer systems. It employs model weaving to define the interconnections between models of different layers. The weaving models themselves are subject to model transformations: The result of transforming a weaving model constitutes a configuration for the models obtained by transforming single layers, thereby allowing for a re-use of existing model transformations. We exemplify our approach by the generation of analysis models for component-based software.

This work was partially supported by the German Research Foundation (DFG) within the Collaborative Research Centre “On-The-Fly Computing” (SFB 901).

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. Eclipse Modeling Framework (EMF), http://www.eclipse.org/modeling/emf

  2. Failures-Divergence Refinement (FDR2), http://www.fsel.com

  3. National Institute of Standards and Technology (NIST), http://www.nist.gov/itl/cloud/

  4. Palladio-Bench, http://www.palladio-simulator.org

  5. Anwar, A., Ebersold, S., Nassar, M., Coulette, B., Kriouile, A.: Towards a generic approach for model composition. In: The Third International Conference on Software Engineering Advances, ICSEA 2008, pp. 83–90 (October 2008)

    Google Scholar 

  6. Balasubramanian, K., Schmidt, D.C., Molnar, Z., Ledeczi, A.: Component-based system integration via (meta)model composition. In: 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2007, pp. 93–102 (March 2007)

    Google Scholar 

  7. Becker, S., Koziolek, H., Reussner, R.: The Palladio component model for model-driven performance prediction. Journal of Systems and Software 82, 3–22 (2009)

    Article  Google Scholar 

  8. Besova, G., Wehrheim, H., Wagner, A.: Reputation-based reliability prediction of service compositions. Electr. Notes Theor. Comput. Sci. 279(2), 3–16 (2011)

    Article  Google Scholar 

  9. Bézivin, J., Büttner, F., Gogolla, M., Jouault, F., Kurtev, I., Lindow, A.: Model Transformations? Transformation Models! In: Wang, J., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol. 4199, pp. 440–453. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  10. Bräuer, M., Lochmann, H.: Towards semantic integration of multiple domain-specific languages using ontological foundations. In: Proceedings of the 4th International Workshop on (Software) Language Engineering, ATEM 2007 (2007)

    Google Scholar 

  11. Didonet del Fabro, M.: Metadata management using model weaving and model transformation. Ph.D. thesis, Universite de Nantes (September 2007)

    Google Scholar 

  12. Del Fabro, M.D., Valduriez, P.: Towards the efficient development of model transformations using model weaving and matching transformations. Software and System Modeling 8(3), 305–324 (2009)

    Article  Google Scholar 

  13. Foster, H., Emmerich, W., Kramer, J., Magee, J., Rosenblum, D.S., Uchitel, S.: Model checking service compositions under resource constraints. In: ESEC/SIGSOFT FSE, pp. 225–234 (2007)

    Google Scholar 

  14. Foster, H., Uchitel, S., Magee, J., Kramer, J.: An integrated workbench for model-based engineering of service compositions. IEEE T. Services Computing 3(2), 131–144 (2010)

    Article  Google Scholar 

  15. Groher, I., Völter, M.: Aspect-oriented model-driven software product line engineering. T. Aspect-Oriented Software Development VI 6, 111–152 (2009)

    Article  Google Scholar 

  16. Guerra, E., de Lara, J., Kolovos, D.S., Paige, R.F., dos Santos, O.M.: transML: A Family of Languages to Model Model Transformations. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part I. LNCS, vol. 6394, pp. 106–120. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  17. Hermann, F., Ehrig, H., Orejas, F., Czarnecki, K., Diskin, Z., Xiong, Y.: Correctness of Model Synchronization Based on Triple Graph Grammars. In: Whittle, J., Clark, T., Kühne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 668–682. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  18. Hoare, C.A.R.: Communicating sequential processes. Prentice-Hall, Inc., Upper Saddle River, NJ, USA (1985)

    MATH  Google Scholar 

  19. Johannes, J., Aßmann, U.: Concern-Based (de)composition of Model-Driven Software Development Processes. In: Petriu, D.C., Rouquette, N., Haugen, Ø. (eds.) MODELS 2010, Part II. LNCS, vol. 6395, pp. 47–62. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  20. Jouault, F., Allilaire, F., Bézivin, J., Kurtev, I.: ATL: a model transformation tool. Science of Computer Programming 72(1-2), 31–39 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  21. Kapova, L., Reussner, R.: Application of Advanced Model-Driven Techniques in Performance Engineering. In: Aldini, A., Bernardo, M., Bononi, L., Cortellessa, V. (eds.) EPEW 2010. LNCS, vol. 6342, pp. 17–36. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  22. Kappel, G., Wimmer, M., Retschitzegger, W., Schwinger, W.: Leveraging Model-Based Tool Integration by Conceptual Modeling Techniques. In: Kaschek, R., Delcambre, L. (eds.) The Evolution of Conceptual Modeling. LNCS, vol. 6520, pp. 254–284. Springer, Heidelberg (2011)

    Chapter  Google Scholar 

  23. Kelsen, P., Ma, Q.: A Modular Model Composition Technique. In: Rosenblum, D.S., Taentzer, G. (eds.) FASE 2010. LNCS, vol. 6013, pp. 173–187. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  24. Oldevik, J.: Transformation Composition Modelling Framework. In: Kutvonen, L., Alonistioti, N. (eds.) DAIS 2005. LNCS, vol. 3543, pp. 1135–1136. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  25. Salmi, N., Ioualalen, M.: Towards Efficient Component Performance Analysis in Component Based Architectures. In: Biffl, S., Winkler, D., Bergsmann, J., Aalst, W., Mylopoulos, J., Rosemann, M., Shaw, M.J., Szyperski, C. (eds.) Software Quality. Process Automation in Software Development. LNBIP, vol. 94, pp. 121–142. Springer, Heidelberg (2012)

    Chapter  Google Scholar 

  26. Schrr, A., Klar, F.: 15 Years of Triple Graph Grammars. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol. 5214, pp. 411–425. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  27. Sen, S., Moha, N., Baudry, B., Jézéquel, J.-M.: Meta-model Pruning. In: Schürr, A., Selic, B. (eds.) MODELS 2009. LNCS, vol. 5795, pp. 32–46. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  28. Stahl, T., Völter, M., Bettin, J., von Stockfleth, B.: Model-driven software development: technology, engineering, management. Wiley Software Patterns Series. John Wiley, Chichester (2006)

    Google Scholar 

  29. Tisi, M., Jouault, F., Fraternali, P., Ceri, S., Bézivin, J.: On the Use of Higher-Order Model Transformations. In: Paige, R.F., Hartman, A., Rensink, A. (eds.) ECMDA-FA 2009. LNCS, vol. 5562, pp. 18–33. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  30. Vara, J.M., de Castro, V., Del Fabro, M.D., Marcos, E.: Using weaving models to automate model-driven web engineering proposals. IJCAT 39(4), 245–252 (2010)

    Article  Google Scholar 

  31. Varró, D., Asztalos, M., Bisztray, D., Boronat, A., Dang, D.-H., Geiß, R., Greenyer, J., Van Gorp, P., Kniemeyer, O., Narayanan, A., Rencis, E., Weinell, E.: Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools. In: Schürr, A., Nagl, M., Zündorf, A. (eds.) AGTIVE 2007. LNCS, vol. 5088, pp. 540–565. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  32. Wagelaar, D.: Composition Techniques for Rule-Based Model Transformation Languages. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol. 5063, pp. 152–167. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  33. Wimmer, M., Kusel, A., Retschitzegger, W., Schönböck, J., Schwinger, W., Sánchez Cuadrado, J., Guerra, E., De Lara, J.: Reusing model transformations across heterogeneous metamodels. In: Proceedings of the 5th International Workshop on Multi-Paradigm Modeling @ MoDELS (2011), http://avalon.aut.bme.hu/mpm11/papers/mpm11_submission_3.pdf

Download references

Author information

Authors and Affiliations

  1. Department of Computer Science, University of Paderborn, 33098, Paderborn, Germany

    Galina Besova, Sven Walther, Heike Wehrheim & Steffen Becker

Authors
  1. Galina Besova
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Sven Walther
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Heike Wehrheim
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Steffen Becker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, Colorado State University, 80523, Fort Collins, CO, USA

    Robert B. France

  2. Healthcare Services International, Managed Services, Siemens AG, Hartmannstr. 16, 91052, Erlangen, Germany

    Jürgen Kazmeier

  3. Institute of Computer Science, University of Innsbruck, Technikerstr. 21a, 6020, Innsbruck, Austria

    Ruth Breu

  4. Software Engineering Group, A5, 6, University of Mannheim, 68131, Mannheim, Germany

    Colin Atkinson

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Besova, G., Walther, S., Wehrheim, H., Becker, S. (2012). Weaving-Based Configuration and Modular Transformation of Multi-layer Systems. In: France, R.B., Kazmeier, J., Breu, R., Atkinson, C. (eds) Model Driven Engineering Languages and Systems. MODELS 2012. Lecture Notes in Computer Science, vol 7590. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-33666-9_49

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-33666-9_49

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-33665-2

  • Online ISBN: 978-3-642-33666-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation