A New Executable Model for Software Architecture Based on Coloured Petri Net

The quality of an architectural design of a software system has a great influence on achieving non-functional requirements of a system. With the growing use of UML diagrams for software architecture description and the importance of non-functional requirements evaluation at the early stages of design and its development process, providing an executable model of these diagrams is often considered to be significant. UML diagrams have some shortcomings such as being semi-formal. In order to overcome this shortcoming, many efforts have been made to transform this language into formal methods including Petri nets. This paper is an attempt to transform Activity diagrams created in UML into Coloured Petri net (CPN). So that the non-functional parameters could be estimated from the obtained Coloured Petri net. The final goal in this paper is evaluation of reliability. We presented a case tool for evaluating reliability parameter with the help of quality factors stated in ISO/IEC 9126 model. With evaluating this properties, developers can take step for identifying shortcomings and improving themt. so costs and potential losses reduced

Keywords:

UMl , Activity Diagram , Coloured Petri Net , Reliability , Verification and Validation