Transforming UML sequence diagram to high level Petri Net

Aysh Alhroob; Keshav Dahal; Alamgir Hossain

doi:10.1109/ICSTE.2010.5608842

Transforming UML sequence diagram to high level Petri Net

Aysh Alhroob, Keshav Dahal, Alamgir Hossain

Research output: Contribution to conference › Paper › peer-review

11 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 language	English
DOIs	https://doi.org/10.1109/ICSTE.2010.5608842
Publication status	Published - Oct 2010
Event	2nd International Conference on Software Technology and Engineering (ICSTE) - Puerto Rico, USA Duration: 1 Oct 2010 → …

Conference

Conference	2nd International Conference on Software Technology and Engineering (ICSTE)
Period	1/10/10 → …

Keywords

HLPN
Model transformation
OCL
Software Development Model

Access to Document

10.1109/ICSTE.2010.5608842

Cite this

@conference{b9643a90e8eb41d1a624412400fe8bde,

title = "Transforming UML sequence diagram to high level Petri Net",

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)",

keywords = "HLPN, Model transformation, OCL, Software Development Model",

author = "Aysh Alhroob and Keshav Dahal and Alamgir Hossain",

year = "2010",

month = oct,

doi = "10.1109/ICSTE.2010.5608842",

language = "English",

note = "2nd International Conference on Software Technology and Engineering (ICSTE) ; Conference date: 01-10-2010",

}

TY - CONF

T1 - Transforming UML sequence diagram to high level Petri Net

AU - Alhroob, Aysh

AU - Dahal, Keshav

AU - Hossain, Alamgir

PY - 2010/10

Y1 - 2010/10

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

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

KW - HLPN

KW - Model transformation

KW - OCL

KW - Software Development Model

U2 - 10.1109/ICSTE.2010.5608842

DO - 10.1109/ICSTE.2010.5608842

M3 - Paper

T2 - 2nd International Conference on Software Technology and Engineering (ICSTE)

Y2 - 1 October 2010

ER -

Transforming UML sequence diagram to high level Petri Net

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this