Mapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net

This ability in fuzzy UML, practically leaves the customers and market’s need without response in this important and vital area. Here, the available sequence diagrams in fuzzy UML will map into fuzzy Petri net. However, the formal models ability will be added to the Semi-formal fuzzy UML. This formalization will add the automatic processing ability to the Semi-formal fuzzy UML. Further more, the other advantages of this mapping is: access to non-functional parameters such as reliability automatically to the considering systems, study the verification of the designed plan and also decrease the expenses because of satiety to make lab sample before its implementation. Using the fuzzy UML mapping into fuzzy Petri net in control, critical and real-time systems will be more applicable.

[1]  Zongmin Ma.  Fuzzy Information Modeling with the UML , 2005 .

[2]  Susanna Donatelli,et al.  From UML sequence diagrams and statecharts to analysable petri net models , 2002, WOSP '02.

[3]  Mohammed Elkoutbi,et al.  MODELING INTERACTIVE SYSTEMS WITH HIERARCHICAL COLORED PETRI NETS , 1997 .

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

[5]  Rik Eshuis,et al.  Semantics and Verification of UML Activity Diagrams for Workflow Modelling , 2002 .

[6]  Susanna Donatelli,et al.  A compositional semantics for UML state machines aimed at performance evaluation , 2002, Sixth International Workshop on Discrete Event Systems, 2002. Proceedings..

[7]  Paola Inverardi,et al.  Model-based performance prediction in software development: a survey , 2004, IEEE Transactions on Software Engineering.

[8]  Hassan Gomaa,et al.  Validation of Dynamic Behavior in UML Using Colored Petri Nets , 2000 .

[9]  Homayun Motameni,et al.  Mapping State Diagram To Petri Net : An Approach To UseMarkov Theory For Analyzing Non-Functional Parameters , 2007 .

[10]  John Anil Saldhana.  UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis , 2000 .

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

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

[13]  Javier Campos,et al.  From UML activity diagrams to Stochastic Petri nets: application to software performance engineering , 2004, WOSP '04.