Mapping Annotated Software Architecture Descriptions to a Petri Net Notations for Reliability Evaluation


The quality of software architecture has a great influence on achieving nonfunctional requirements to the software system. In this paper, we propose an approach based on Petri nets models for reliability prediction of software systems at the software architecture level, specified by UML. UML lacks a formal semantics and hence it is not possible to apply, directly, mathematical techniques on UML models for reliability evaluation. To reach this goal we propose an automatic translation of architecture description Diagrams into Petri Nets. In this paper we describe software architecture with use case and sequence diagrams. Then we study the use of these Diagrams for the reliability evaluation of software architecture. Starting from annotated UML diagrams we derive a reliability models based on Petri nets. The UML model is annotated according to the UML profile for Quality of Service and Fault Tolerance. The proposed algorithm translates the annotated UML specification into Petri net reliability models, which can then be analyzed using standard techniques. Reliability results are feedback at the software architecture level in the UML diagrams.

  • Abstract
  • Key Words
  • 1. Introduction
  • 2. The Role of UML Diagrams in Reliability Evaluation
  • 3.The Transformation of UML Diagrams to Petri Nets
  • 6. Summaries
  • References

Related Content

Customize your page view by dragging and repositioning the boxes below.

Related Journal Articles
Related eBook Content
Topic Collections

Sorry! You do not have access to this content. For assistance or to subscribe, please contact us:

  • TELEPHONE: 1-800-843-2763 (Toll-free in the USA)
  • EMAIL: asmedigitalcollection@asme.org
Sign In