Skip to main content

Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Architectures Specified in UML

  • Conference paper
  • First Online:
Engineering Distributed Objects

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1999))

Abstract

Non-functional requirements are especially critical in real-time and distributed systems. UML is progressively becoming a standard of object- oriented analysis and design of systems, it pays attention to software architec- tures specification, but it does not take into account their evaluation, and the specification of resource restrictions and non-functional requirements. In this paper we introduce an approach for the evaluation of non-functional require- ments in UML models, using simulation techniques. Simulation models are generated automatically, and their execution provides results to evaluate the UML architectures. The simulation statistics generated allow the evaluation of some non-functional requirements like resources usage, objects and classes ac- tivity and availability, restoration times of errors and throughputs. We associate these results to objects, classes, states, operations, actors, system resources and other UML elements. UML semiformal semantics have associated problems that we reduce with UML extension techniques.

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

Access this chapter

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. G. Booch, J. Rumbaugh, and I. Jacobson: UML User Guide. Addison-Wesley (1999)

    Google Scholar 

  2. R. Breu and R. Grosu. “Relating Events, Messages, and Methods of Multiple Threaded Objects”. Journal of Object-Oriented Programming. Vol. 12No. 8(January 2000)

    Google Scholar 

  3. M. de Miguel, T. Lambolais, M. Hannouz, S. Betgé-Brezetz, and S. Piekarec: “UML Extensions for the Specification and Evaluation of Latency Constraints in Architectural Models”. In Proceedings 2nd Workshop on Software and Performance (WOSP2000). ACM (September 2000)

    Google Scholar 

  4. D. Harel, and E. Gery: “Executable Object Modeling with Statecharts”. COMPUTER IEEE (July 1997)

    Google Scholar 

  5. J. Maisonneuve, S. Chabridon, and P. Leveillé: “The PERCO Platform”. In Object-Oriented Real-Time Distributed Computing (ISORC99) (May 1999)

    Google Scholar 

  6. Object Management Group: XML Metadata Interchange (XMI). OMG. (October 1998)

    Google Scholar 

  7. Object Management Group: OMG Unified Modeling Language Specification. OMG (June 1999)

    Google Scholar 

  8. Object Management Group: UML Profile for Scheduling, Performance and Time. Join Submission. OMG (August 2000)

    Google Scholar 

  9. Object Management Group: Meta Object Facility (MOF) Specification. OMG (June 1999)

    Google Scholar 

  10. S. Si Alhir: “Unified Modeling Language: Extensions Mechanisms”. Distributed Computing (December 1998)

    Google Scholar 

  11. Softeam: “Objecteering CASE Tool”. Softeam Europe. http://www.objecteering.com (September 2000)

  12. M. Stumptner and M. Schrefl: “Behavior Consistent Inheritance in UML”. In Proceedings of the 19th International Conference on Conceptual Modeling. ER2000 (October 2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

de Miguel, M., Lambolais, T., Piekarec, S., Betgé-Brezetz, S., Péquery, J. (2001). Automatic Generation of Simulation Models for the Evaluation of Performance and Reliability of Architectures Specified in UML. In: Emmerich, W., Tai, S. (eds) Engineering Distributed Objects. Lecture Notes in Computer Science, vol 1999. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45254-0_9

Download citation

  • DOI: https://doi.org/10.1007/3-540-45254-0_9

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

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

  • Online ISBN: 978-3-540-45254-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics