Web service composition approaches: From industrial standards to formal methods

Second International Conference on Internet and Web Applications and Services, ICIW'07

Volumn , Issue , 2007, Pages

  Ter Beek, Maurice ^a   Bucchiarone, Antonio ^a   Gnesi, Stefania ^a  

^a ISTI CNR   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; ENTERPRISE RESOURCE MANAGEMENT; INDUSTRIAL APPLICATIONS; MATHEMATICAL MODELS; STANDARDS;

BUSINESS-TO-BUSINESS; INDUSTRIAL STANDARDS; THEORETICAL MODELS;

WEB SERVICES;

EID: 34548730306     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIW.2007.71     Document Type: Conference Paper

References (53)

1. BPEL 1.1. [Online]. Available: ibm.com/developerworks/library/ws-bpel
2. N. Kavantzas, D. Burdett, and G. Ritzinger. (2004) WSCDL vl.O. [Online]. Available: http://www.w3.org/TR/2004AVD-ws-cdl-10-20040427/
3. A. Ankolekar et al., "DAML-S: Web Service Description for the Semantic Web," in Proc. ISWC'02, ser. LNCS, vol. 2342. Springer, 2002, pp. 348-363.
4. WSMO working group. [Online]. Available: http://www.wsmo.org
5. WSDL vl.1. (2001). [Online]. Available: http://www.w3.org/TR/wsdl
6. S. A. Mcllraith, T. C. Son, and H. Zeng, "Semantic Web Services," IEEE Intelligent Systems, vol. 16, no. 2, pp. 46-53, 2001.
7. W3C. Semantic Web. [Online]. Available: http://www.w3.org/sw/
8. D. L. McGuinness and F. van Harmelen. OWL Web Ontology Language Overview. [Online]. Available: http://www.w3.org/TR/owl-features/
9. D. Fensel and C. Bussler, "The Web Service Modeling Framework WSMF," Electr. Commerce Res. Apps., vol. 1, no. 2, pp. 113-137, 2002.
10. WSMX working group. [Online]. Available: http://www.wsmx.org
11. S. Weibel et al. (1998) Dublin Core Metadata for Resource Discovery. IETF 2413. [Online]. Available: http://www.ietf.org/rfc/rfc2413.txt
12. WSs Architecture. [Online]. Available: http://www.w3.org/TR/ws-arch/
13. Sensoria, "Prototype language for service modelling: ontology for SOAs presented through structured natural language (deliverable 1.1a)," 2006.
14. L. Zhang and M. Jeckle, "Conceptual Comparison of WSMO and OWL-S," in ECOWS'04, ser. LNCS, vol. 3250. Springer, 2004, pp. 254-269.
15. D. Biswas, "Compensation in the World of Web Services Composition," in Proc. SWSWPC'04, ser. LNCS, vol. 3387. Springer, 2004, pp. 69-80.
16. X. Fu, T. Bultan, and J. Su, "Analysis of Interacting BPEL Web Services," in Proc. WWW'04. ACM Press, 2004, pp. 621-630.
17. G. Diaz et al., "Automatic Translation of WS-CDL Choreographies to Timed Automata," in Proc. WS-FM'05, ser. LNCS, vol. 3670. Springer, 2005, pp. 230-242.
18. R. Kazmiakin, P. Pandya, and M. Pistore, "Timed Modelling and Analysis in Web Service Compositions," in ARES. IEEE, 2006, pp. 840-846.
19. C. Ouyang et al., "Formal Semantics and Analysis of Control Flow in WS-BPEL," BPM Center, Tech. Rep. BPM-05-15, 2005.
20. X. Yi and K. Kochut, "A CP-nets-based Design and Verification Framework for Web Services Composition," in [53], 2004, pp. 756-760.
21. S. Hinz, K. Schmidt, and C. Stahl, "Transforming BPEL to Petri Nets," in Proc. BPM'05, ser. LNCS, vol. 3649. Springer, 2005, pp. 220-235.
22. A. Martens, "Analyzing Web Service Based Business Processes," in Proc. FASE'05, ser. LNCS, vol. 3442. Springer, 2005, pp. 19-33.
23. A. Ferrara, "Web Services: a Process Algebra Approach," in Proc. ICSOC'04. ACM Press, 2004, pp. 242-251.
24. WSLA v1.0. [Online]. Available: http://www.research.ibm.com/wsla/
25. D. Kaynaretal., Theory ofTimed I/O Automata. Morgan Claypool, 2006.
26. R. Alur and D. L. Dill, "A Theory of Timed Automata," TCS, vol. 126, no. 2, pp. 183-235, 1994.
27. M. H. ter Beek et al., "Synchronizations in Team Automata for Groupware Systems," CSCW, vol. 12, no. 1, pp. 21-69, 2003.
28. J. Clark et al. (1999) XML Path Language XPath v1.0. W3C. [Online]. Available: http://www.w3.org/TR/xpath
29. G. J. Holzmann, The SPIN Model Checker. Addison Wesley, 2003.
30. J. A. Fisteus, L. Sánchez Fernández, and C. D. Kloos, "Formal Verification of BPEL4WS Business Collaborations," in Proc. EC-Web'04, ser. LNCS, vol. 3182. Springer, 2004, pp. 76-85.
31. K. G. Larsen, P. Pettersson, and W. Yi, "UPPAAL in a Nutshell," Int. J. Software Tools for Technology Transfer, vol. 1, pp. 134-152, 1997.
32. Z. Chaochen, C. A. R. Hoare, and A. P. Ravn, "A Calculus of Durations," IPL, vol. 40, no. 5, pp. 269-276, 1991.
33. J. Dong et al., "Verification of Computation Orchestration via Timed Automata," in Proc. ICFEM'06, ser. LNCS, 2006.
34. W. Cook and J. Misra. Ore-An Orchestration Language v0.5. [Online]. Available : http: //www.es .utexas. edu/users/wcook/proj ects/orc/
35. W. Reisig and G. Rozenberg, Eds., Lectures on Petri Nets I: Basic Models & II: Applications, ser. LNCS. Springer, 1998, vol. 1491-1492.
36. B. Kiepusewski, A. ter Hofstede, and W. van der Aalst, "Fundamentals of Control Flow in Workflows," Acta Inf., vol. 39, no. 3, pp. 143-209, 2003.
37. S. Narayanan and S. Mcllraith, "Simulation, Verification and Automated Composition of Web Services," in WWW'02. ACM, 2002, pp. 77-88.
38. R. Reiter, Knowledge in Action-Logical Foundations for Specifying and Implementing Dynamical Systems. MIT Press, 2001.
39. R. Hamadi and B. Benatallah, "A Petri Net-based Model for Web Service Composition," in ADC03, ser. CRPIT, vol. 17, 2003, pp. 191-200.
40. J. Zhang et al., "WS-Net: A Petri-net Based Specification Model for Web Services," in [53], 2004, pp. 420-427.
41. S. Rosario et al., "Net system semantics of Web Service Orchestrations modeled in Orc," IRISA, Tech. Rep. 1780, 2006.
42. _, "Foundations of web service orchestrations: functional and QoS aspects," in Proc. ISOLA'06, 2006.
43. R. Milner, J. Parrow, and D. Walker, "A calculus of mobile processes I & II," Information and Computation, vol. 100, no. 1, pp. 1-77, 1992.
44. G. Salaün, L. Bordeaux, and M. Schaerf, "Describing and Reasoning on Web Services using Process Algebra," in [53], 2004, pp. 43-50.
45. R. Milner, Communication and Concurrency. Prentice Hall, 1989.
46. R. Cleaveland, T. Li, and S. Sims. (2000) Concurrency Workbench of the New Century vl.2. [Online]. Available: http://www.cs.sunysb.edu/~cwb/
47. T. Bolognesi and E. Brinksma, "Introduction to the ISO Specification Language LOTOS," Computer Networks, vol. 14, pp. 25-59, 1987.
48. J. Fernandez et al., "CADP: A Protocol Validation and Verification Toolbox," in Proc. CAV, ser. LNCS, vol. 1102. Springer, 1996, pp. 437-440.
49. WebSphere. [Online]. Available: ibm.com/software/infol/websphere
50. BPELprocess manager. [Online]. Available: oracle.com/technology/bpel
51. J. Mendling and M. Müller, "A Comparison of BPML and BPEL4WS," in Proc. 1st Conf. Berliner XML-Tage, 2003, pp. 305-316.
52. P Wohed et al., "Pattern-Based Analysis of BPEL4WS," Queensland University of Technology, Brisbane, Tech. Rep. FIT-TR-2002-04, 2002.
53. H. Jain, L. Liu, and L. Zhang, Eds., Proc. ICWS'04. IEEE Press, 2004.