Transforming UML sequence diagram to high level Petri Net

Aysh Alhroob, Keshav Dahal, Alamgir Hossain

    Research output: Contribution to conferencePaperpeer-review

    9 Citations (Scopus)

    Abstract

    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)
    Original languageEnglish
    DOIs
    Publication statusPublished - Oct 2010
    Event2nd International Conference on Software Technology and Engineering (ICSTE) - Puerto Rico, USA
    Duration: 1 Oct 2010 → …

    Conference

    Conference2nd International Conference on Software Technology and Engineering (ICSTE)
    Period1/10/10 → …

    Fingerprint

    Dive into the research topics of 'Transforming UML sequence diagram to high level Petri Net'. Together they form a unique fingerprint.

    Cite this