Skip to main content
SpringerLink
Log in
Book cover

International School on Formal Methods for the Design of Computer, Communication and Software Systems

SFM 2012: Formal Methods for Model-Driven Engineering pp 263–289Cite as

Model Transformations in Non-functional Analysis

  • Chapter

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

Abstract

The quality assessment of software design models in early development phases can prevent wrong design decisions on the architectural level. As such wrong decisions are usually very cost-intensive to revert in late testing phases, model-driven quality predictions offer early quality estimates to prevent such erroneous decisions. By model-driven quality predictions we refer to analyses which run fully automated based on model-driven methods and tools. In this paper, we give an overview on the process of model-driven quality analyses used today with a special focus on issues that arise in fully automated approaches.

This is a preview of subscription content, 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

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Bause, F.: Queueing petri nets-a formalism for the combined qualitative and quantitative analysis of systems. In: Proceedings of 5th International Workshop on Petri Nets and Performance Models, pp. 14–23 (October 1993)

    Google Scholar 

  2. Becker, S.: Coupled Model Transformations. In: WOSP 2008: Proceedings of the 7th International Workshop on Software and Performance, pp. 103–114. ACM, New York (2008)

    Google Scholar 

  3. Becker, S.: Coupled Model Transformations for QoS Enabled Component-Based Software Design. Karlsruhe Series on Software Quality, vol. 1. Universitätsverlag Karlsruhe (2008)

    Google Scholar 

  4. Becker, S., Dencker, T., Happe, J.: Model-Driven Generation of Performance Prototypes. In: Kounev, S., Gorton, I., Sachs, K. (eds.) SIPEW 2008. LNCS, vol. 5119, pp. 79–98. Springer, Heidelberg (2008), http://www.springerlink.com/content/62t1277642tt8676/fulltext.pdf

    Chapter  Google Scholar 

  5. Becker, S., Happe, J., Koziolek, H.: Putting Components into Context: Supporting QoS-Predictions with an explicit Context Model. In: Reussner, R., Szyperski, C., Weck, W. (eds.) Proc. 11th International Workshop on Component Oriented Programming (WCOP 2006), pp. 1–6 (July 2006), http://research.microsoft.com/~cszypers/events/WCOP2006/WCOP06-Becer.pdf

  6. Becker, S., Hauck, M., Trifu, M., Krogmann, K., Kofron, J.: Reverse Engineering Component Models for Quality Predictions. In: Proceedings of the 14th European Conference on Software Maintenance and Reengineering, European Projects Track, pp. 199–202. IEEE (2010), http://sdqweb.ipd.kit.edu/publications/pdfs/becker2010a.pdf

  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), http://dx.doi.org/10.1016/j.jss.2008.03.066

    Article  Google Scholar 

  8. Becker, S., Trifu, M., Reussner, R.: Towards Supporting Evolution of Service Oriented Architectures through Quality Impact Prediction. In: 1st International Workshop on Automated Engineering of Autonomous and Run-time Evolving Systems (ARAMIS 2008) (September 2008)

    Google Scholar 

  9. Blair, G., Bencomo, N., France, R.: Models@ run.time. Computer 42(10), 22–27 (2009)

    Article  Google Scholar 

  10. Bolch, G., Greiner, S., de Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains. John Wiley & Sons Inc. (1998)

    Google Scholar 

  11. Brosch, F., Koziolek, H., Buhnova, B., Reussner, R.: Parameterized Reliability Prediction for Component-Based Software Architectures. In: Heineman, G.T., Kofron, J., Plasil, F. (eds.) QoSA 2010. LNCS, vol. 6093, pp. 36–51. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  12. Clements, P.C., Bachmann, F., Bass, L., Garlan, D., Ivers, J., Little, R., Nord, R., Stafford, J.: Documenting Software Architectures. SEI Series in Software Engineering. Addison-Wesley (2003)

    Google Scholar 

  13. Cortellessa, V., Marco, A.D., Inverardi, P.: Model-Based Software Performance Analysis. Springer, Berlin (2011)

    Book  Google Scholar 

  14. Czarnecki, K., Eisenecker, U.W.: Generative Programming. Addison-Wesley, Reading (2000)

    MATH  Google Scholar 

  15. Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: OOPSLA 2003 Workshop on Generative Techniques in the Context of Model Driven Architecture (October 2003), http://www.softmetaware.com/oopsla2003/czarnecki.pdf (last retrieved January 6, 2008)

  16. The DESMO-J Homepage (2007), http://asi-www.informatik.uni-hamburg.de/desmoj/ (last retrieved January 6, 2008)

  17. Eclipse Foundation: xText website, http://www.xtext.org (last visited February 22, 2012)

  18. Fowler, M., Parsons, R.: Domain Specific Languages. Addison-Wesley, Reading (2010)

    Google Scholar 

  19. Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1995)

    MATH  Google Scholar 

  20. Gokhale, S.S.: Architecture-based software reliability analysis: Overview and limitations. IEEE Trans. on Dependable and Secure Computing 4(1), 32–40 (2007)

    Article  Google Scholar 

  21. Goldschmidt, T., Becker, S., Uhl, A.: Classification of Concrete Textual Syntax Mapping Approaches. In: Schieferdecker, I., Hartman, A. (eds.) ECMDA-FA 2008. LNCS, vol. 5095, pp. 169–184. Springer, Heidelberg (2008), http://sdqweb.ipd.uka.de/publications/pdfs/goldschmidt2008b.pdf

    Chapter  Google Scholar 

  22. Grassi, V., Mirandola, R., Sabetta, A.: From Design to Analysis Models: a Kernel Language for Performance and Reliability Analysis of Component-based Systems. In: WOSP 2005: Proceedings of the 5th International Workshop on Software and Performance, pp. 25–36. ACM Press, New York (2005)

    Google Scholar 

  23. Happe, J., Becker, S., Rathfelder, C., Friedrich, H., Reussner, R.H.: Parametric Performance Completions for Model-Driven Performance Prediction. Performance Evaluation 67(8), 694–716 (2010), http://sdqweb.ipd.uka.de/publications/pdfs/happe2009a.pdf

    Article  Google Scholar 

  24. Hermanns, H., Herzog, U., Katoen, J.P.: Process algebra for performance evaluation. Theoretical Computer Science 274(1-2), 43–87 (2002), http://www.sciencedirect.com/science/article/B6V1G-4561J4H-3/2/21516ce76bb2e6adab1ffed4dbe0d24c

    Article  MathSciNet  MATH  Google Scholar 

  25. Hinton, A., Kwiatkowska, M., Norman, G., Parker, D.: PRISM: A Tool for Automatic Verification of Probabilistic Systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006. LNCS, vol. 3920, pp. 441–444. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  26. Huber, N., Becker, S., Rathfelder, C., Schweflinghaus, J., Reussner, R.: Performance Modeling in Industry: A Case Study on Storage Virtualization. In: ACM/IEEE 32nd International Conference on Software Engineering, Software Engineering in Practice Track, Capetown, South Africa, pp. 1–10. ACM, New York (2010), http://sdqweb.ipd.uka.de/publications/pdfs/hubern2010.pdf

    Google Scholar 

  27. Kazman, R., Bass, L., Abowd, G., Webb, M.: SAAM: A method for analyzing the properties of software architectures. In: Fadini, B. (ed.) Proceedings of the 16th International Conference on Software Engineering, pp. 81–90. IEEE Computer Society Press, Sorrento (1994)

    Chapter  Google Scholar 

  28. Koziolek, H.: Parameter Dependencies for Reusable Performance Specifications of Software Components. The Karlsruhe Series on Software Design and Quality, vol. 2. Universitätsverlag Karlsruhe (2008)

    Google Scholar 

  29. Koziolek, H., Reussner, R.: A Model Transformation from the Palladio Component Model to Layered Queueing Networks. In: Kounev, S., Gorton, I., Sachs, K. (eds.) SIPEW 2008. LNCS, vol. 5119, pp. 58–78. Springer, Heidelberg (2008), http://www.springerlink.com/content/w14m0g520u675x10/fulltext.pdf

    Chapter  Google Scholar 

  30. Koziolek, H., Schlich, B., Bilich, C., Weiss, R., Becker, S., Krogmann, K., Trifu, M., Mirandola, R., Koziolek, A.: An industrial case study on quality impact prediction for evolving service-oriented software. In: Proceeding of the 33rd International Conference on Software Engineering, Software Engineering in Practice Track, ICSE 2011, pp. 776–785. ACM, New York (2011), http://doi.acm.org/10.1145/1985793.1985902

    Google Scholar 

  31. Krogmann, K., Kuperberg, M., Reussner, R.: Using Genetic Search for Reverse Engineering of Parametric Behaviour Models for Performance Prediction. IEEE Transactions on Software Engineering 36(6), 865–877 (2010), http://sdqweb.ipd.kit.edu/publications/pdfs/krogmann2009c.pdf

    Article  Google Scholar 

  32. L’Ecuyer, P., Buist, E.: Simulation in Java with SSJ. In: WSC 2005: Proceedings of the 37th Conference on Winter Simulation, Winter Simulation Conference, pp. 611–620 (2005)

    Google Scholar 

  33. Malavolta, I., Muccini, H., Pelliccione, P., Tamburri, D.A.: Providing architectural languages and tools interoperability through model transformation technologies. IEEE Transactions of Software Engineering 36(1), 119–140 (2010)

    Article  Google Scholar 

  34. Marshall, R.: SAP gives update on Business ByDesign plans (2009), http://www.v3.co.uk/v3-uk/news/1970547/sap-update-business-bydesign-plans (last visited November 22, 2009)

  35. Martens, A., Koziolek, H., Prechelt, L., Reussner, R.: From monolithic to component-based performance evaluation of software architectures. Empirical Software Engineering 16(5), 587–622 (2011), http://dx.doi.org/10.1007/s10664-010-9142-8

    Article  Google Scholar 

  36. Meier, P., Kounev, S., Koziolek, H.: Automated Transformation of Palladio Component Models to Queueing Petri Nets. In: 19th IEEE/ACM International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems (MASCOTS 2011), Singapore, July 25-27 (2011)

    Google Scholar 

  37. Object Management Group (OMG): MOF 2.0 Core Specification (formal/2006-01-01) (2006), http://www.omg.org/cgi-bin/doc?formal/2006-01-01

  38. Object Management Group (OMG): Meta Object Facility (MOF) 2.0 Query/View/Transformation Specification – Version 1.1 Beta 2 (December 2009), http://www.omg.org/spec/QVT/1.1/Beta2/

  39. Object Management Group (OMG): UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, version 1.0 (2009), http://www.omg.org/spec/MARTE/1.0/PDF

  40. Parr, T.: The Definitive ANTLR Reference Guide: Building Domain-specific Languages (Pragmatic Programmers). Pragmatic Programmer (2007)

    Google Scholar 

  41. Petriu, D.B., Woodside, M.: An intermediate metamodel with scenarios and resources for generating performance models from UML designs. Software and Systems Modeling 6(2), 163–184 (2007)

    Article  Google Scholar 

  42. Rolia, J.A., Sevcik, K.C.: The Method of Layers. IEEE Transactions on Software Engineering 21(8), 689–700 (1995)

    Article  Google Scholar 

  43. Saaty, T.L.: The Analytic Hierarchy Process, Planning, Piority Setting, Resource Allocation. McGraw-Hill, New York (1980)

    MATH  Google Scholar 

  44. Smith, C.U., Williams, L.G.: Performance Solutions: A Practical Guide to Creating Responsive, Scalable Software. Addison-Wesley (2002)

    Google Scholar 

  45. Völter, M., Stahl, T.: Model-Driven Software Development. Wiley & Sons, New York (2006)

    MATH  Google Scholar 

  46. Woodside, M., Petriu, D.C., Siddiqui, K.H.: Performance-related Completions for Software Specifications. In: Proceedings of the 22nd International Conference on Software Engineering, ICSE 2002, Orlando, Florida, USA, May 19-25, pp. 22–32. ACM (2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Heinz Nixdorf Institute, Department of Computer Science, University of Paderborn, D-33102, Paderborn, Germany

    Steffen Becker

Authors
  1. Steffen Becker
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Dipartimento di Scienze di Base e Fondamenti, Università di Urbino "Carlo Bo", Piazza della Repubblica 13, 61029, Urbino, Italy

    Marco Bernardo

  2. Dipartimento di Informatica, Università dell’Aquila, via Vetoio 1, 67010, Coppito - L’Aquila, Italy

    Vittorio Cortellessa  & Alfonso Pierantonio  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2012 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Becker, S. (2012). Model Transformations in Non-functional Analysis. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds) Formal Methods for Model-Driven Engineering. SFM 2012. Lecture Notes in Computer Science, vol 7320. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-30982-3_8

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-30982-3_8

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-30981-6

  • Online ISBN: 978-3-642-30982-3

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation