A new executable model for software architecture based on Petri Net

Abstract

With the growing use of UML diagrams for software architecture description and the importance of non-functional requirements evaluation at software architecture level, filling the knowledge gap between the architect and the requirements analyst is considered to be significant. In this paper, we propose a new algorithm that enables an architect to transform a software architecture described by use case, sequence and component diagrams into an executable model based on different extensions of Petri Nets. Moreover, we show how to use this Petri net model for simulation, and the implications of this transformation are described completely. Finally, to demonstrate the application of our proposed algorithm, we consider a case study.