Transforming polymorphic process model to petri net: a formal way for validating workflow-based web service composition
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 pro...
Saved in:
Main Authors: | Mohamad, Radziah, Nematzadeh, H., Motameni, H. |
---|---|
Format: | Book Section |
Published: |
IEEE
2011
|
Subjects: | |
Online Access: | http://eprints.utm.my/id/eprint/30197/ http://dx.doi.org/10.1109/ICSESS.2011.5982317 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Similar Items
-
QoS measurement of workflow-based web service compositions using colored petri net
by: Nematzadeh, Hossein, et al.
Published: (2014) -
Modeling activity diagram to colored petri net for validation and verification based on non functional parameters
by: Balagatabi, Hossein Nematzadeh
Published: (2008) -
Modelling UML activity diagram to colored petri net for validation and verification based on non functional parameters
by: Balagatabi, Hossein Nematzadeh
Published: (2008) -
Performance modeling of e-procurement workflow using Generalised Stochastic Petri net (GSPN)
by: Rahim, Rahela, et al.
Published: (2002) -
Grammars controlled by Petri Nets
by: Dassow, Juergen, et al.
Published: (2012)