|
ABSTRACT
In the Service Oriented Architecture services are computational units that can be published, discovered, consumed and aggregated in the platform and organization independent manner. The most widely accepted way to achieve Service Orientation (SO) is with Web Services (WSs), due to the standardization efforts and the wide range of available infrastructure. One of the most interesting aspects of WSs is the ease with which they can be combined into Composite Web Services (CWSs). The most popular language to specify and implement CWSs is BPEL. While being easy to use, it also introduces difficulties to monitor and optimize CWSs, specifically in the selection of optimal WSs. This paper investigates the possibility to support this selection with dynamic load management, based on the alternative, model-aware, approach to orchestrate WSs with the Coloured Petri Nets (CPN) formalism. The use of the mathematically grounded formalism allows to model and verify properties of CWSs and enables at runtime guidance of the execution of the CWS. This paper presents how, during a model-aware execution of a CWS, to predict and avoid some of the undesirable behaviors of WSs. Compared to BPEL, the model-aware approach significantly improves the performance and manageability of CWSs and thus opens up new deployment scenarios.
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
| |
1
|
ActiveEndpoints. ActiveBPEL - open source BPEL engine. http://www.active-endpoints.com/active-bpel-engine-overview.htm.
|
| |
2
|
Apache. Axis v 1.4. http://ws.apache.org/axis/.
|
| |
3
|
Apache. Axis2 v.1.4. http://ws.apache.org/axis2/.
|
| |
4
|
L. Baresi, E. Di Nitto, C. Ghezzi, and S. Guinea. A framework for the deployment of adaptable web service compositions. Service Oriented Computing and Applications, 1:75--91, 2007.
|
| |
5
|
B. Benatallah, F. Casati, and F. Toumani. Analysis and management of Web service protocols. In Conceptual Modeling - ER 2004. 23rd International Conference on Conceptual Modeling. Proceedings, 8--12 Nov. 2004, pages 524--41, Shanghai, China, 2004. Springer-Verlag.
|
| |
6
|
|
| |
7
|
|
| |
8
|
|
 |
9
|
|
| |
10
|
S. Hinz, K. Schmidt, and C. Stahl. Transforming BPEL to Petri nets. In Business Process Management. 3rd International Conference, BPM 2005. Proceedings (Lecture Notes in Computer Science Vol. 3649), pages 220--235, Nancy, France, 2005.
|
| |
11
|
|
| |
12
|
|
| |
13
|
|
| |
14
|
Microsoft, BEA, IBM. Business process execution language BPEL v.1.1. http://www-128.ibm.com/developerworks/library/specification/ws-bpel/.
|
| |
15
|
OASIS. Universal Description Discovery And Integration (UDDI). http://uddi.org/pubs/.
|
| |
16
|
Chun Ouyang , Eric Verbeek , Wil M. P. van der Aalst , Stephan Breutel , Marlon Dumas , Arthur H. M. ter Hofstede, Formal semantics and analysis of control flow in WS-BPEL, Science of Computer Programming, v.67 n.2-3, p.162-198, July, 2007
[doi> 10.1016/j.scico.2007.03.002]
|
| |
17
|
Sandia National Laboratories. Jess, the Rule Engine for the Java Platform. http://herzberg.ca.sandia.gov/jess/docs/70/index.html.
|
| |
18
|
University of Aarhus, Denmark. BRITNeY Suite, Basic Real-time Interactive Tool for Net-based animation. http://wiki.daimi.au.dk/ britney/.
|
| |
19
|
|
| |
20
|
K. Verma, K. Gomadam, A. Sheth, J. Miller, and Z. Wu. The METEOR-S approach for configuring and executing dynamic Web Processes. Technical report, LSDIS Lab, University of Georgia, Athens, Georgia, 2005.
|
| |
21
|
W3C. Simple object access protocol (SOAP) 1.2. http://www.w3.org/ TR/ soap12-part1/.
|
| |
22
|
W3C. Web Services Description Language (WSDL), v. 1.1. http://www.w3.org/ TR/ wsdl.
|
| |
23
|
K. Zurowska and R. Deters. Overcoming failures in composite web services by analysing colored petri nets. In CPN'07 - Workshop and Tutorial on Practical Use of Coloured Petri Nets and CPN Tools, Denmark, 2007.
|
|