Transforming Fuzzy State Diagram to Fuzzy Petri net
الموضوعات :H. Motameni 1 , I. Daneshfar 2 , J. Bakhshi 3 , H. Nematzadeh 4
1 - Department of Computer Engineering
Islamic Azad University, Sari Branch,
Sari, Iran
2 - Department of Computer Engineering
University of Science and Technology of Mazandaran Babol, Iran
3 - Department of Computer Engineering
University of Science and Technology of Mazandaran Babol, Iran
4 - Department of Computer Science & Information System, University Technology Malaysia
الکلمات المفتاحية: Software engineering, Fuzzy UML, Fuzzy Petri net, Fuzzy state diagrams,
ملخص المقالة :
UML is known as one of the most common methods in software engineering. Since this language is semi-formal, many researches and 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 nonfunctional parameters could be achieved with more ability. Since the majority of the real world information is uncertain, therefore fuzzy UML diagram has been extensively used by system analyzers. This paper is an attempt to transform state diagrams created in fuzzy UML into fuzzy Petri net, so that the verification and performance evaluation operation could be performed formally, rather than exact visual analysis.
