Date Added: Jan 2010
With the growing use of UML diagrams for software description and the importance of non-functional requirements evaluation at software design level, transforming these diagrams to executable models is considered to be significant. In this paper the designer should annotate additional information of the performance to software design description. and then an executable model can be produced. These executable models can be Petri nets, queuing network stochastic process algebras, etc. This paper proposes a new algorithm that enables a designer to transform a use case and sequence diagrams enriched by performance input parameters into an executable model based on different extensions of Petri Nets. Finally, to demonstrate the application of the proposed algorithm, the paper considers a case study as an example.