Title :
Evaluating the reliability of Communication diagram using Fuzzy Petri net
Author :
Motameni, H. ; Ghassempouri, T. ; Nematzadeh, H.
Author_Institution :
Sari Branch, Dept. of Comput. Eng., Islamic Azad Univ., Sari, Iran
Abstract :
Today, Fuzzy UML diagram has been 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 made to transform this language into formal methods including Fuzzy Petri nets(FPN), So the operation of verification and validation of the qualitative and non functional parameters could be achieved. This paper is an attempt to transform Communication diagrams created in Fuzzy UML into Fuzzy Petri net, So that the non functional parameters could be estimated from the obtained Fuzzy Petri net.
Keywords :
Petri nets; Unified Modeling Language; formal verification; fuzzy set theory; communication diagram reliability; formal method; fuzzy Petri net; fuzzy UML diagram; modeling language; nonfunctional parameter; Analytical models; Delay; Markov processes; Mathematical model; Object oriented modeling; Reliability; Unified modeling language; Fuzzy Communication Diagram; Fuzzy Petri net; Fuzzy UML;
Conference_Titel :
Software Engineering and Service Science (ICSESS), 2011 IEEE 2nd International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-9699-0
DOI :
10.1109/ICSESS.2011.5982367
