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

  • Authors:
  • Miguel de Miguel;Thomas Lambolais;Sophie Piekarec;Stéphane Betgé-Brezetz;Jérôme Péquery

  • Affiliations:
  • -;-;-;-;-

  • Venue:
  • EDO '00 Revised Papers from the Second International Workshop on Engineering Distributed Objects
  • Year:
  • 2000

Quantified Score

Hi-index 0.00

Visualization

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 architectures 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 requirements 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 activity 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.