Evaluating the reliability of Communication diagram using Fuzzy Petri net

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.

[1]  Hu Changzhen,et al.  Multi-sensor information intelligence fusion model using fuzzy colored Petri Nets , 2004, Fifth World Congress on Intelligent Control and Automation (IEEE Cat. No.04EX788).

[2]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[3]  Homayun Motameni,et al.  Mapping Activity Diagram to Petri Net: Application of Markov Theory for Analyzing Non-Functional Parameters , 2007 .

[4]  Homayun Motameni,et al.  Mapping to Convert Activity Diagram in Fuzzy UML to Fuzzy Petri Net , 2008 .

[5]  Homayun Motameni,et al.  Evaluating UML state diagrams using colored Petri net , 2006 .

[6]  Homayun Motameni,et al.  Analytic Evaluation on Petri Net by Using Markov Chain Theory to Achieve Optimized Models , 2008 .

[7]  Adnan Yazici,et al.  A fuzzy Petri net model for intelligent databases , 2007, Data Knowl. Eng..

[8]  Homayun Motameni,et al.  Analysis Software with an Object-Oriented Petri Net Model , 2008 .

[9]  Ting-Wei Hou,et al.  A knowledge-based inference multicast protocol using adaptive fuzzy Petri nets , 2009, Expert Syst. Appl..

[10]  Martin Gogolla.  Unified Modeling Language , 2009, Encyclopedia of Database Systems.

[11]  Xiaoou Li,et al.  Adaptive fuzzy petri nets for dynamic knowledge representation and inference , 2000 .

[12]  Faiza Belala,et al.  A synchronization schema in activity diagrams via zero-safe-nets , 2009, 2009 IEEE/ACS International Conference on Computer Systems and Applications.

[13]  Lars Michael Kristensen,et al.  Coloured Petri Nets and CPN Tools for modelling and validation of concurrent systems , 2007, International Journal on Software Tools for Technology Transfer.

[14]  Luca Bernardinello,et al.  A survey of basic net models and modular net classes , 1992, Advances in Petri Nets: The DEMON Project.