Transforming Fuzzy State Diagram to Fuzzy Petri net

Journal of Advances in Computer Research

مقاله 4، دوره 1، شماره 1، آبان 2010، صفحه 29-44   

نویسندگان

H. Motameni^{* 1}؛ I. Daneshfar²؛ J. Bakhshi²؛ H. Nematzadeh³

¹Department of Computer Engineering Islamic Azad University, Sari Branch, Sari, Iran

²Department of Computer Engineering University of Science and Technology of Mazandaran Babol, Iran

³Department of Computer Science & Information System, University Technology Malaysia

چکیده

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.

کلیدواژه‌ها

Software engineering؛ Fuzzy UML؛ Fuzzy Petri net؛ Fuzzy state diagrams