Lecture Notes in Computer Science, 2001, Volume 1999/2001, 83-101, DOI: 10.1007/3-540-45254-0_9

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

Miguel de Miguel, Thomas Lambolais, Sophie Piekarec, Stéphane Betgé-Brezetz and Jérôme Péquery

View Related Documents

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.

Fulltext Preview

Image of the first page of the fulltext document