Transforming UML sequence diagram to high level Petri Net

Alhroob, Aysh, Dahal, Keshav and Hossain, Alamgir (2010) Transforming UML sequence diagram to high level Petri Net. In: 2nd International Conference on Software Technology and Engineering (ICSTE), 3-5 October 2010, Puerto Rico, USA.

Full text not available from this repository. (Request a copy)
Official URL: http://dx.doi.org/10.1109/ICSTE.2010.5608842

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)

Item Type: Conference or Workshop Item (Paper)
Uncontrolled Keywords: HLPN , Model transformation , OCL , Software Development Model
Subjects: G400 Computer Science
H600 Electronic and Electrical Engineering
Department: Faculties > Engineering and Environment > Computer Science and Digital Technologies
Depositing User: EPrints Services
Date Deposited: 08 Sep 2011 12:02
Last Modified: 10 Aug 2015 11:21
URI: http://nrl.northumbria.ac.uk/id/eprint/50

Actions (login required)

View Item View Item

Downloads

Downloads per month over past year

View more statistics


Policies: NRL Policies | NRL University Deposit Policy | NRL Deposit Licence