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).