A service-based architecture for dynamically reconfigurable workflows
Journal of Systems and Software
A structural verification of web services composition compatibility
Proceedings of the 6th International Workshop on Enterprise & Organizational Modeling and Simulation
| Hi-index | 0.00 |
Web service composition involves the combination of a number of existing web services to create a value-added service in ways that may not be foreseen at the time when a web service is written. BPEL is a promising language which describes web service composition in form of business processes. However, BPEL is an XML-based language and may suffer from ambiguities or some erroneous properties. It is necessary to analyze business processes specified in BPEL with a formal tool. In this paper, we put forward an approach to model and verify BPEL based on ServiceNet, a special class of Petri nets. We present some transformation rules of BPEL business processes into ServiceNet. Then the throughness of a BPEL business process can be verified by reducing the corresponding ServiceNet based on some reduction rules.