Transforming UML sequence diagram to High Level Petri Net

This paper presents a new methodology to transform the UML sequence and class diagrams into High Level Petri Nets (HLPN), this transformation helps the software designers to analyse the non-functional requirements. Sequence diagram and class diagram are used as source of software specifications, in addition to use the Object Constraint Language (OCL). HLPN is used to represent a formal semantic framework for the UML notations and combine the structural and behavioural specifications. In this paper, a combined fragment nets technique is used to decompose and analyse the sequence diagram combined fragments to be capable of gathering again in the form of HLPN. The combined fragments that are covered in this work are sequence, loop, parallel, alternative, option and break. These combined fragments work together to perform the situations that can be modelled by HLPN (synchronization, sequentiality and concurrency).

[1]  M. Pioro.  Fair Routing and Related Optimization Problems , 2007, 15th International Conference on Advanced Computing and Communications (ADCOM 2007).

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

[3]  Sima Emadi,et al.  Transformation of usecase and sequence diagrams to petri nets , 2009, 2009 ISECS International Colloquium on Computing, Communication, Control, and Management.

[4]  Simona Bernardi,et al.  Performance evaluation of UML design with Stochastic Well-formed Nets , 2007, J. Syst. Softw..

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

[6]  William E. Howden,et al.  Methodology for the Generation of Program Test Data , 1975, IEEE Transactions on Computers.

[7]  R. Mall,et al.  Automatic Test Case Generation from UML Sequence Diagram , 2007, 15th International Conference on Advanced Computing and Communications (ADCOM 2007).

[8]  João M. Fernandes,et al.  Some rules to transform sequence diagrams into coloured Petri nets , 2006 .

[9]  Panayiotis E. Pintelas,et al.  Comparative study and categorization of high-level petri nets , 1998, J. Syst. Softw..

[10]  Alamgir Hossain,et al.  Automatic test cases generation from software specifications modules , 2010 .