Skip to main content
SpringerLink
Log in
Book cover

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

SFM 2007: Formal Methods for Performance Evaluation pp 429–467Cite as

From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms

  • Chapter

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

Abstract

The extraction of a performance model from an annotated software design is largely a matter of taking maximum advantage of the annotations. A serious issue is the fact that a design document directed to producing a product may not be the most convenient for annotation for any given evaluation; there may be a problem to capture the necessary information within the context of the document, without modifying it to clarify the performance concern. Sometimes such a clarification can be of value, but in general we do not wish to disturb the design, just to add the evaluation information. Approaches to using the SPT/MARTE annotations to capture important performance features are described in this paper. Features include completions of the design such as platform operations, composition of component submodels, four uses of state machine definitions, and four ways to describe communications costs and delays. The relationship of the annotated design model to the different kinds of performance model is also addressed.

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. Alsaadi, A.: A Performance Analysis Approach based on the UML Class Diagram. In: Proc. 4th Int. Conf. on Software and Performance (WOSP 2004), Redwood City, CA, Jan. 2004, pp. 254–260 (2004)

    Google Scholar 

  2. Arief, L.B., Speirs, N.A.: A UML Tool for an Automatic Generation of Simulation Programs. In: Proceedings of the Second International Workshop on Software and Performance (WOSP2000), Ottawa, Canada, September 17-20, 2000, pp. 71–76 (2000)

    Google Scholar 

  3. Balsamo, S., Marzolla, M.: Performance evaluation of UML software architectures with multiclass Queueing Network models. In: Proc. 5th Int. workshop on Software and performance, Palma, pp. 37–42 (2005)

    Google Scholar 

  4. Bennett, A.J., Field, A.J., Woodside, C.M.: Experimental Evaluation of the UML Profile for Schedulability, Performance, and Time. In: Baar, T., Strohmeier, A., Moreira, A., Mellor, S.J. (eds.) UML 2004. LNCS, vol. 3273, pp. 143–157. Springer, Heidelberg (2004)

    Google Scholar 

  5. Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analysable Petri net models. In: Proc. 3rd Int. Workshop on Software and Performance, Rome, July 2002, pp. 35–45 (2002)

    Google Scholar 

  6. Bozga, M., Graf, S., Mounier, L., Ober, I., Roux, J.-L., Vincent, D.: Timed Extensions for SDL. In: SDL Forum 01, Copenhagen (June 2001)

    Google Scholar 

  7. Canevet, C., Gilmore, S., Hillston, J., Prowse, M., Stevens, P.: Performance modelling with UML and stochastic process algebras. IEE Proceedings: Computers and Digital Techniques 150(2), 107–120 (2003)

    Article  Google Scholar 

  8. Cortellessa, V., Mirandola, R.: Deriving a Queueing Network based Performance Model from UML Diagrams. In: Proc. Second Int. Workshop on Software and Performance, Ottawa, September 2000, pp. 58–70 (2000)

    Google Scholar 

  9. Cortellessa, V., D’Ambrogio, A., Iazeolla, G.: Automatic derivation of software performance models from CASE documents. Performance Evaluation 45, 81–105 (2001)

    Article  MATH  Google Scholar 

  10. Grassi, V., Mirandola, R., Sabetta, A.: Filling the gap between design and performance/reliability models of component-based systems: A model-driven approach. Journal of Systems and Software 80, 528–558 (2007)

    Article  Google Scholar 

  11. Hillston, J., Wang, Y.: Performance evaluation of UML models via automatically generated simulation models. In: Jarvis, S.A. (ed.) UK Performance Engineering Workshop, July 2003, pp. 64–78 (2003)

    Google Scholar 

  12. Kähkipuro, P.: UML Based Performance Modeling Framework for Object-Oriented Distributed Systems. In: France, R.B., Rumpe, B. (eds.) UML 1999. LNCS, vol. 1723, pp. 356–371. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  13. López-Grao, J.P., Merseguer, J., Campos, J.: From UML Activity Diagrams To Stochastic Petri Nets. In: Fourth Int. Workshop on Software and Performance, Redwood City, CA, Jan. 2004, pp. 25–36 (2004)

    Google Scholar 

  14. Merseguer, J.: Software performance engineering based on UML and Petri nets. Ph.D. thesis, University of Zaragoza, Spain (March 2003)

    Google Scholar 

  15. Merseguer, J., Campos, J., Mena, E.: A Pattern-Based Approach to Model Software Performance. In: Proc.2nd Int. Workshop on Software and Performance (WOSP2000), Ottawa, pp. 137–142 (2000)

    Google Scholar 

  16. Mitschele-Theil, A., Muller-Clostermann, B.: Performance Engineering of SDL/MSC Systems. Journal on Computer Networks and ISDN Systems 31(17), 1801–1815 (1999)

    Google Scholar 

  17. Petriu, D.B., Woodside, C.M.: Software Performance Models from System Scenarios in Use Case Maps. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, p. 141. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  18. Petriu, D.B., Amyot, D., Woodside, C.M.: Scenario-Based Performance Engineering with UCMNav. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol. 2708, pp. 18–35. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  19. Petriu, D.C., Shen, H.: Applying the UML Performance Profile: Graph Grammar-Based Derivation of LQN Models from UML Specifications. In: Field, T., Harrison, P.G., Bradley, J., Harder, U. (eds.) TOOLS 2002. LNCS, vol. 2324, p. 159. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  20. Petriu, D.C., Woodside, C.M.: Performance Analysis with UML. In: Selic, B., Lavagno, L., Martin, G. (eds.) UML for Real, pp. 221–240. Kluwer Academic Publishers, Dordrecht (2003)

    Google Scholar 

  21. Pooley, R.: Software Engineering and Performance: a Roadmap. In: The Future of Software Engineering, part of the 22nd Int. Conf. on Software Engineering (ICSE2000), Limerick, Ireland, June 2000, pp. 189–200 (2000)

    Google Scholar 

  22. Pustina, L., Schwarzer, S., Gerharz, M., Martini, P., Deichmann, V.: Performance Evaluation of a DVBH Enabled Mobile Device System Model. In: Proc 6th Int. Workshop on Software and Performance (WOSP 2006), Buenos Aires, Feb. 2007, pp. 164–171 (2007)

    Google Scholar 

  23. Schmietendorf, A., Dimitrov, E.: Possibilities of Performance Modelling with UML. In: Dumke, R.R., Rautenstrauch, C., Schmietendorf, A., Scholz, A. (eds.) WOSP 2000 and GWPESD 2000. LNCS, vol. 2047, pp. 78–95. Springer, Heidelberg (2001)

    Chapter  Google Scholar 

  24. Woodside, M., Petriu, D.C., Petriu, D.B., Shen, H., Israr, T., Merseguer, J.: Performance by Unified Model Analysis (PUMA). In: Proc. 5th Int. Workshop on Software and Performance, Palma de Mallorca, July 2005, pp. 1–12 (2005)

    Google Scholar 

  25. Xu, J., Woodside, M., Petriu, D.C.: Performance Analysis of a Software Design Using the UML Profile for Schedulability, Performance, and Time. In: Kemper, P., Sanders, W.H. (eds.) TOOLS 2003. LNCS, vol. 2794, pp. 291–307. Springer, Heidelberg (2003)

    Google Scholar 

  26. Balsamo, S., Marzolla, M.: Simulation Modeling of UML Software Architectures. In: ESM’03, Nottingham, UK (June 2003)

    Google Scholar 

  27. Bolch, G., Greiner, S., De Meer, H., Trivedi, K.S.: Queueing Networks and Markov Chains. Wiley-Interscience, Hoboken (1998)

    MATH  Google Scholar 

  28. Cavenet, C., Gilmore, S., Hillston, J., Kloul, L., Stevens, P.: Analysing UML 2.0 activity diagrams in the software performance engineering process. In: Proc. 4th Int. Workshop on Software and Performance, Redwood City, CA, Jan. 2004, pp. 74–83 (2004)

    Google Scholar 

  29. Espinoza, H., Dubois, H., Gérard, S., Medina, J.L., Petriu, D.C., Woodside, C.M.: Annotating UML Models with Non-functional Properties for Quantitative Analysis. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 79–90. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  30. Franks, G., Majumdar, S., Neilson, J., Petriu, D., Rolia, J., Woodside, M.: Performance Analysis of Distributed Server Systems. In: Proc. Sixth International Conference on Software Quality, Ottawa, Canada, pp. 15–26 (1996)

    Google Scholar 

  31. Franks, G.: Performance Analysis of Distributed Server Systems. PhD. thesis, Carleton University (Jan. 2000)

    Google Scholar 

  32. Franks, G., Maly, P., Woodside, M., Petriu, D.C., Hubbard, A.: Layered Queueing Network Solver and Simulator User Manual. Dept. of Systems and Computer Engineering, Carleton University, Ottawa (Dec. 2005), http://www.sce.carleton.ca/rads/lqn/lqn-documentation/

  33. Jain, R.: The Art of Computer Systems Performance Analysis. John Wiley & Sons, Chichester (1991)

    MATH  Google Scholar 

  34. Maly, P., Woodside, C.M.: Layered Modeling of Hardware and Software, with Application to a LAN Extension Router. In: Haverkort, B.R., Bohnenkamp, H.C., Smith, C.U. (eds.) TOOLS 2000. LNCS, vol. 1786, pp. 10–24. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  35. Object Management Group: UML Profile for Schedulability, Performance, and Time Specification, OMG Adopted Specification ptc/02-03-02 (July 1, 2002)

    Google Scholar 

  36. Object Management Group: UML Profile for Modeling and Analysis of Real-Time and Embedded systems (MARTE) RFP, document realtime/05-02-06 (Feb. 6, 2005)

    Google Scholar 

  37. Object Management Group: MOF QVT Final Adopted Specification, ptc/05-11-01 (Nov. 2005)

    Google Scholar 

  38. Object Management Group: Unified Modeling Language: Superstructure, version 2.1, ptc/2006-04-02 (2006)

    Google Scholar 

  39. Petriu, D.B., Woodside, M.: Analysing Software Requirements Specifications for Performance. In: Third Int. Workshop on Software and Performance (WOSP 02), Rome, Italy, July 2002, pp. 1–9 (2002)

    Google Scholar 

  40. Petriu, D.B., Woodside, M.: An intermediate metamodel with scenarios and resources for generating performance models from UML designs. Software and Systems Modeling 5(4) (2006)

    Google Scholar 

  41. Pilone, D., Pitman, N.: UML 2.0 in a Nutshell. O’Reilly, Sebastopol (2005)

    Google Scholar 

  42. Sheikh, F., Woodside, C.M.: Layered Analytic Performance Modelling of Distributed Database Systems. In: Proc. Int. Conf. on Distributed Comp. Systems, Baltimore, U.S.A., May 1997, pp. 482–490 (1997)

    Google Scholar 

  43. Rolia, J.R., Sevcik, K.: The method of layers. IEEE Transactions on Software Engineering 21(8), 689–700 (1995)

    Article  Google Scholar 

  44. Sabetta, A., Petriu, D.C., Grassi, V., Mirandola, R.: Abstraction-raising Transformation for Generating Analysis Models. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol. 3844, pp. 217–226. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  45. Smith, C.U., Williams, L.G.: Performance Solutions. Addison-Wesley, Reading (2002)

    Google Scholar 

  46. Smith, C.U., Llado, C.M.: Performance Model Interchange Format (PMIF 2.0): XML Definition and Implementation. In: First Int. Conf. on Quantitative Evaluation of Systems (QEST ’04), Enschede, pp. 38–47 (2004)

    Google Scholar 

  47. Smith, C.U., Lladó, C.M., Cortellessa, V., Marco, A.D., Williams, L.G.: From UML models to software performance results: an SPE process based on XML interchange formats. In: Proc. 5th int workshop on Software and performance, Palma de Mallorca, pp. 87–98 (2005)

    Google Scholar 

  48. Tidwell, D.: XSLT. O’Reilly, Sebastopol (2001)

    Google Scholar 

  49. Transaction Processing Council: TPC Benchmark W (Web Commerce) Specification, Version 1.8 (Feb. 19, 2002)

    Google Scholar 

  50. Verdickt, T., Dhoedt, B., Turck, F.D., Demeester, P.: Hybrid Performance Modeling Approach for Network Intensive Distributed Software. In: Workshop on Software and Performance (WOSP 07), Buenos Aires (Feb. 2007)

    Google Scholar 

  51. Woodside, M., Hrischuk, C., Selic, B., Bayarov, S.: Automated Performance Modeling of Software Generated by a Design Environment. Performance Evaluation 45(2-3), 107–124 (2001)

    Article  MATH  Google Scholar 

  52. Woodside, C.M.: Software Resource Architecture. Int. Journal on Software Engineering and Knowledge Engineering (IJSEKE) 11(4), 407–429 (2001)

    Article  Google Scholar 

  53. Woodside, M., Petriu, D., Siddiqui, K.H.: Performance-related Completions for Software Specifications. In: Proc. 24th Int. Conf. on Software Engineering (May 2002)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Carleton University, Ottawa K1S 0P7, Canada

    Murray Woodside

Authors
  1. Murray Woodside
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Marco Bernardo Jane Hillston

Rights and permissions

Reprints and permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this chapter

Cite this chapter

Woodside, M. (2007). From Annotated Software Designs (UML SPT/MARTE) to Model Formalisms. In: Bernardo, M., Hillston, J. (eds) Formal Methods for Performance Evaluation. SFM 2007. Lecture Notes in Computer Science, vol 4486. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72522-0_11

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72522-0_11

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-72482-7

  • Online ISBN: 978-3-540-72522-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation