Mansoure Younesi - Mazandaran University of Science and Technology Babol
Maryam Musavi - Mazandaran University of Science and Technology Babol
Marzie Nemati - Mazandaran University of Science and Technology Babol
Homayoun Motameni - Islamic Azad University, Sari

Today, UML diagrams are extensively used by system analyzers, but this modeling language has some shortcomings such as being semi-formal. In order to overcome this shortcoming, many efforts have been performed to transform this language into formal methods including Petri Nets. Thus, the operation of verification and validation of the qualitative and non-functional parameters could be achieved with more ability. This paper attempts to transform system activity diagram created in UML into Coloured Petri Net (CPN). Then the efficiency is calculated. We presented a case tool for evaluating efficiency parameter with the help of quality factors stated in ISO/IEC 9126 model. The final goal in this paper is evaluation of the system efficiency.

UMl, Activity Diagram, Coloured Petri Net, Efficiency, Verificatio and Validation