A novel architecture for Web service composition

Journal of Network and Computer Applications

Volumn 35, Issue 2, 2012, Pages 787-802

  Karunamurthy, Rajesh ^a   Khendek, Ferhat ^a   Glitho, Roch H ^a  

^a Dept of Electrical and Computer Engineering   (Canada)

Author keywords

Composition framework; Description framework; Matchmaking technique; Web service business model; Web service composition

Indexed keywords

ASSEMBLY TECHNIQUES; BEHAVIORAL LANGUAGES; BUSINESS MODELS; DESCRIPTION FRAMEWORK; FUNCTIONAL LANGUAGES; MATCHMAKING TECHNIQUE; NON-FUNCTIONAL; NOVEL ARCHITECTURE; PROPOSED ARCHITECTURES; SEMANTIC DOMAINS; SERVICE COMPOSERS; THREE COMPONENT; WEB SERVICE BUSINESS MODEL; WEB SERVICE COMPOSITION; WEB SERVICE PROVIDERS; WEB SERVICES COMPOSITION;

ARCHITECTURE; FORMAL METHODS; HIGH LEVEL LANGUAGES; NETWORK ARCHITECTURE; QUALITY OF SERVICE; SEMANTIC WEB; SEMANTICS;

WEB SERVICES;

EID: 84856211504     PISSN: 10848045     EISSN: 10958592     Source Type: Journal    
DOI: 10.1016/j.jnca.2011.11.012     Document Type: Article

References (41)

1. V. Agarwal, G. Chafle, K. Dasgupta, and N.M. Karnik Synthy: a system for end to end composition of Web services International Journal of Web Semantics 3 4 2005 311 339 (Pubitemid 41688990)
2. Aggarwal R., Verma K., Miller J., Milnor W. Constraint driven Web service composition in METEOR-S. In: Proceedings of the international conference on services computing (SCC 2004); 2004. p. 2330. (Pubitemid 40201727)
3. G. Alonso, F. Casati, H. Kuno, and V. Machiraju Web services: concepts, architectures and applications 2004 Springer
4. B. Benatallah, Q.Z. Sheng, and M. Dumas The self-serv environment for Web services composition IEEE Internet Computing 7 1 2003 40 48
5. Berardi D. Automatic composition of finite state E-services. Technical report. American Association for Artificial Intelligence (AAAI); 2004.
6. D. Berardi, F. De Rosa, L. De Santis, and M. Macella Finite state machine as conceptual model for E-services Transactions of the SDPS: Journal of Integrated Design and Process Science 8 2 2004 105 121
7. K. Fujii, and T. Suda Semantics-based dynamic Web service composition Journal on Selected Areas in Communications 23 12 2005 2361 2372 (Pubitemid 41811984)
8. C.A.R. Hoare Communicating sequential processes 1985 Prentice Hall
9. Isobe Y, Roggenbach M. User guide CSP-Prover Version 4.0; 2007. 〈http://staff.aist.go.jp/y-isobe/CSP-Prover/CSP-Prover.html〉.
10. Isobe Y, Roggenbach M. A generic theorem prover of CSP refinement. In: Proceedings of 11th international conference on tools and algorithms for the construction and analysis of systems (TACAS). LNCS, vol. 3440. Berlin: Springer; 2005. p. 10823. (Pubitemid 41273737)
11. R. Karunamurthy, F. Khendek, and R.H. Glitho A Business model for dynamic composition of telecommunication Web services IEEE Communications Magazine 45 7 2007 36 43 (Pubitemid 47098737)
12. Karunamurthy R, Khendek F, Glitho RH. Categorizing and assembling Web services in a composition framework. In: Proceedings of the SEW; 2008. p. 1021.
13. R. Karunamurthy, F. Khendek, and R.H. Glitho A formal description framework and a matchmaking technique for Web service composition International Journal of Web Information Systems 6 1 2010 24 54
14. Q. Liang, L.N. Chakarapani, S.Y.W. Su, R.N. Chikkamagalur, and H.A. Lam Semi-automatic approach to composite Web services discovery, description and invocation International Journal of Web Services Research 1 4 2004 64 89
15. B. Medjahed, A. Bouguettaya, and A.K. Elmagarmid Composing Web services on the Semantic Web The VLDB Journal 12 4 2003 333 351 (Pubitemid 37503691)
16. MSC Specification. Z.120, message sequence chart (MSC). ITU-T Recommendation; 2004.
17. S. Narayanan, and S. McIlraith Analysis and simulation of Web services Computer Networks 42 5 2003 675 693
18. Nipkow T, Paulson LC, Wenzel M. Isabelle/HOL - a Proof Assistant for higher order logic. LNCS, vol. 2283. Springer; 2002.
19. OWL-S Specification. OWL-S: Semantic Markup for Web Services. W3C Member Submission; 2004. 〈http://www.w3.org/Submission/OWL-S/〉
20. Paolucci M, Kawamura T, Payne TR, Sycara K. Semantic matching of Web services capabilities. In: Proceedings of the ISWC, LNCS, vol. 2342; 2002. p. 33347.
21. M.P. Papazoglou Extending the service-oriented architecture Business Integration Journal 2005 18 21
22. Papazoglou MP, Traverso P, Dustdar S, Leymann F. Service-oriented computing: a research roadmap. In: Service Oriented Computing (SOC), number 05462 in Dagstuhl Seminar Proceedings; 2006.
23. M.P. Papazoglou, and W.-J.V.D. Heuvel Service oriented architectures: approaches, technologies and research issues The VLDB Journal 16 3 2007 389 415
24. A.W. Roscoe The theory and practice of concurrency 1997 Prentice Hall
25. J. Pathak, S. Basu, R.R. Lutz, and V. Honavar MOSCOE: an approach for composing Web services through iterative reformulation of functional specifications International Journal on Artificial Intelligence Tools 17 1 2008 109 138 (Pubitemid 351700268)
26. Pistore M, Traverso P, Bertoli P. Automated composition of Web Services by planning in asynchronous domains. In: Proceedings of the international conference on automated planning and scheduling (ICAPS 2005); 2005. p. 211.
27. J. Rao, P. Küngas, and M. Matskin Composition of Semantic Web services using Linear Logic theorem proving Information Systems 31 45 2006 340 360 (Pubitemid 43290447)
28. SAWSDL Specification. Semantic annotations for WSDL and XML Schema. W3C Recommendation; 2007. 〈http://www.w3.org/TR/sawsdl/〉
29. S. Shapiro Classical logic II: higher-order logic Lou Gable, The Blackwell guide to philosophical logic 2001 33 54
30. E. Sirin, B. Parsia, B.C. Grau, A. Kalyanpur, and Y. Katz Pellet: a practical OWL-DL reasoner Journal of Web Semantics 5 2 2007 51 53 (Pubitemid 46856283)
31. SOA Model. Reference model for service oriented architecture 1.0. OASIS Standard; 2006.
32. Tosic V, Pagurek B, Patel K. WSOL - a language for the formal specification of classes of service for Web services. In: Proceedings of the ICWS 2003; 2003. p. 37581.
33. T. Thompson, R. Wiel, and M.D. Wood CPXe: Web services for Internet imaging IEEE Computer 36 10 2003 54 62
34. M. Weiss, and B. Esfandiari On feature interactions among Web services International Journal of Web Services Research 2 4 2005 21 45
35. WS Arch Specification Web Services Architecture Specification. W3C Note; 2004. 〈http://www.w3.org/TR/ws-arch/〉.
36. WS-BPEL Specification. Web Services Business Process Execution Language Version 2.0. OASIS Standard. 〈http://docs.oasis-open.org/sbpel/2.0/wsbpel- v2.0.pdf〉.
37. WS-CDL Specification. WS-CDL Version 1.0. W3C Candidate Recommendation; 2005. 〈http://www.w3.org/TR/ws-cdl-10/〉.
38. WS-Discovery Specification. Web Services Dynamic Discovery (WS-Discovery) Version 1.1. OASIS Standard; 2009.
39. WSDL 1.1 Specification. Web Services Description Language (WSDL) Version 1.1. W3C Note; 2001. 〈http://www.w3.org/TR/wsdl〉.
40. WSMO Specification. Web Service Modeling Ontology (WSMO). W3C Member Submission; 2005.
41. WS-Policy Specification. Web Services Policy 1.5 - Framework. W3C Recommendation; 2007.