Mapping Sequence diagram in Fuzzy UML to Fuzzy Petri Net

Subject Areas : Operation Research

E. اکبری ¹ , ر. نوریان توکلی ² , H. موتمنی ³

1 - Department of Mathematics, Islamic Azad University, Sari Branch, Sari, Iran
2 - Department of Computer Engineering, Islamic Azad University, Sari Branch, Sari, Iran
3 - Department of Computer Engineering, Islamic Azad University, Sari Branch, Sari, Iran

Received: 2010-04-30 Accepted : 2010-05-30 Published : 2013-07-01

Keywords: non-functional parameters, fuzzy UML, sequence diagram, fuzzy Petri net, Formalization,

Abstract :

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.

References:

[1] Faul B.M., "Verifiable Modeling Techniques Using a Colored Petri Net Graphical Language", Technology Review Journal, 2004.

[2] Shin M., Levis A., and Wagenhals L., "Transformation of UML-Based System Model into CPN Model for Validating System Behavior", In: Proc. of Compositional Verification of UML Models,Workshop of the UML'03 Conference, California, 2003.

[3] Bernardi S., Donatelli S., and Merseguer J., "From UML Sequence Diagrams and Statecharts to Analysable Petri Net Models", ACM Proc. Int’l Workshop Software and Performance, 2002.

[4] Eshuis R., "Semantics and Verification of UML Activity Diagrams for Workflow Modelling", Ph.D. Thesis, University of Twente 2002.

[5] Pettit R. G.  and Gomaa H., "Validation of dynamic behavior in UML using colored Petri nets’ UML", Zaragoza, Spain, p.295-302, 2002.

[6] Saldhana J.,  and Shatz S. M., "UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis", Proc. of the Int. Conf. on Software Eng. And Knowledge Eng. (SEKE), Chicago, p.10 – 103, 2000.

[7] Elkoutbi M., and Rodulf  Keller K., "Modeling Interactive Systems with Hierarchical Colored Petri Nets", 1998 Advanced Simulation Technologies Con, Boston, p.432- 437, 1998.

[8] Bernardinello L., De Cindio F., "A Survey of Basic Net Models and Modular Net Classes", LNCS, vol 609, Springer-Verlag, 1992.

[9] S. Balsamo, et al "Model-Based Performance Prediction in Software Development: A Survey", IEEE Transactions on Software Engineering, 30(5), MAY 2004.

[10] Merseguer J., LopezGrao J. P., Campos J., "From UML Activity Diagrams To Stochastic Petri Nets:Application To Software Performance Engineering", ACM, WOSP 04 January, 2004,

[11] Fukuzawa K., et al, "Evaluating Software Architecture by Colored Petri Net", Dept. of Computer Sience,Tokyo Institute of Technology Ookayama 2-12-1, Meguro-uk, Tokyo, 2002.

[12] Merseguer J., Bernardi S., Campos J., and Donatelli S., "A Compositional Semantics for UML State Machines Aimed at Performance Evaluation", Proc. of the 6th Int. Workshop on Discrete Event Systems )WODES'02), Zaragoza, Spain, p.295-302, 2002.

[13] Motameni H., et al, "Mapping State Diagram to Petri net: An Approach Tousemarkov Theory For Analyzing non-Functional Parameters", ieee,international conferenceon computer,information  and system science, university of bridgport, december 4_14 2006.

 [14] Motameni H., et al, "Using Markov Theory For Deriving Non-Functional Parameters On Transformed Petri Net From Activity Diagram", proc of software engineering conference (russia), November 2006.

[15] Motameni H.,Zandakbari M.,  and Movaghar , "DERIVING PERFORMANCE PARAMETERS FROM THE ACTIVITY DIAGRAM USING GSPN AND MARKOV CHAIN ", ICCSA 2006, Proceeding of 4^th International Conference On Computer Science and Its Aapplications, 2006.

[16] Motameni H., "Evaluating UML State Diagrams Using Colored Petri Net", SYNASC'05, 2005.

[17] Motameni, H et al. "Verifying and Evaluating UML Activity Diagram by Converting to CPN ", Proc of SYNASC'05,Romania,Sep 2005.

[18] Object Management Group, "UMLTM Profile for Schedulability, Performance, and Time Specification", OMG Document, Version 1.1, January 2005.

[19] Rumbuaugh j., Blaha m., Premerlani W., Eddy F., Lorensen W., "Object-Oreinted Modeling And Design", prentice hall , Englewood Cliffs,USA.

[20] Wang lu, "Fuzzy UML", Seminararbeit, Sommersemester, 2005.

[21] Zongmin Ma., "Fuzzy Information Modeling With the Uml", Idea, 2005.

[22] Ma Z.M., "Extending UML For Fuzzy Information Modeling In Object_Oriented Database ", theories and practices, idea group publishing, 2004.

[23] terry  quatrain, "visual modeling with rational rose 2000 and UML", Addison Wesley, 1999.

[24] Burcin Bostan-Korpeoglu, Adnan. Yazici, "A fuzzy Petri net model for intelligent databases", Department of Computer Engineering, Middle East Technical University, Elsevier Ankara, 2006.