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: | , , |
|---|---|
| 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!
|
| Summary: | 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. |
|---|