Mahnaz Hamzehniya - Mazandaran University of Science and Technology Babol
Nasibeh Moosavi - Mazandaran University of Science and Technology Babol
Maryam Musavi - Mazandaran University of Science and Technology Babol
Homayoun Motameni - Islamic Azad University, Sari

Although today UML is known as one of the most popular modeling languages, but this standard modeling language has some shortcomings such as being semi-formal and but lack of dynamism in modeling. In order to overcome this short coming, many efforts have been made to transform this language into formal methods including Petri nets. Fuzzy Petri net with strong mathematical support were suggested to increase the power of modeling and to show the uncertain data. In this paper, we transform the UML sequence diagram to fuzzy Petri net with an algorithm and then evaluate the security metric of data encryption in software systems. With evaluating these properties, developers can take step for indentifying shortcomings and improving them, so costs and potential losses reduced.

Data encryption, Fuzzy Petri net, Sequence diagram, Unified modeling language