Universiti Teknologi Malaysia Institutional Repository

Transforming polymorphic process model to petri net: a formal way for validating workflow-based web service composition

Mohamad, Radziah and Nematzadeh, H. and Motameni, H. (2011) Transforming polymorphic process model to petri net: a formal way for validating workflow-based web service composition. In: ICSESS 2011 - Proceedings: 2011 IEEE 2nd International Conference on Software Engineering and Service Science. IEEE, Beijing, 316-321 . ISBN 978-142449699-0

Full text not available from this repository.

Official URL: http://dx.doi.org/10.1109/ICSESS.2011.5982317

Abstract

Workflow-based web service composition (WB-WSC) is one of the four main categories of web service composition approaches. This category lacks supporting quality of services (QoS). Polymorphic Process Model (PPM) is a WB-WSC that supports both reference process and service-based multi-enterprises processes. Through this paper an initial work was proposed in which PPM was transformed lo Petri Net. Also the final Petri Net model was evaluated structurally. It was also shown that how Petri Net can help to calculate the quality of service in a WB-WSC approach.

Item Type:Book Section
Uncontrolled Keywords:PPM, petri net, quality of service, workflow-based web service composition
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Divisions:Computer Science and Information System
ID Code:30197
Deposited By: Fazli Masari
Deposited On:21 Apr 2013 03:34
Last Modified:04 Feb 2017 08:30

Repository Staff Only: item control page