MoSCoE: An approach for composing web services through iterative reformulation of functional specifications

International Journal on Artificial Intelligence Tools

Volumn 17, Issue 1, 2008, Pages 109-138

  Pathak, Jyotishman ^a   Basu, Samik ^b   Lutz, Robyn ^b   Honavar, Vasant ^b  

^a Mayo Clinic College of Medicine   (United States)

^b Iowa State University   (United States)

Author keywords

Composition; Service oriented architectures; Symbolic transition systems; Tabled logic programming; Web services

Indexed keywords

COMPUTER ARCHITECTURE; ITERATIVE METHODS; LOGIC PROGRAMMING; SOFTWARE PROTOTYPING;

SERVICE-ORIENTED ARCHITECTURES; SYMBOLIC TRANSITION SYSTEMS; TABLED-LOGIC PROGRAMMING;

WEB SERVICES;

EID: 43949111664     PISSN: 02182130     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218213008003807     Document Type: Conference Paper

References (51)

1. G. Alonso, F. Casati, H. Kuna, and V. Machiraju. Web Services: Concepts, Architectures and Applications. Springer- Verlag, 2004.
2. T. Andrews, F. Curbera, and et al. Business Process Execution Language for Web Services, Version 1.1. In http://www.ibm.com/developerworks/ library/ws-bpel/, 2003.
3. A. Ankolekar, M. Burstein, J. R. Hobbs, and et. al. DAML-S: Semantic Markup for Web Services. In International Semantic Web Workshop, 2001.
4. S. Basu, M. Mukund. C. R. Ramakrishnan. I. V. Ramakrishnan, and R. M. Verma. Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. In Intl. Conference, on Logic Programming, volume 2237, pages 166-180. Springer-Verlag, 2001.
5. B. Bauer and M.-P. Huget. Modelling Web Service Composition with UML 2.0. Intl. Journal of Web Engineering and Technology, 1(4):484-501, 2004.
6. B. Benatallah, Q. Sheng, and M. Dumas. The Self-Serv Environment for Web Services Composition. IEEE Internet Computing, 7(l):40-48, 2003.
7. D. Berardi, D. Calvanese, D. G. Giuseppe, R. Hull, and M. Mecella. Automatic Composition of Transition-based Semantic Web Services with Messaging. In 31st International Conference on Very Large Databases, pages 613-624, 2005.
8. S. Ceri, P. Fraternali, and A. Bongio. Web Modeling Language (WebML): A Modeling Language for Designing Web Sites. Computer Networks, 33(1-6):137-157, 2000.
9. S. A. Chun, V. Atluri, and N. R.. Adam. Using Semantics for Policy-Based Web Service Composition. Distributed and Parallel Databases, 18(l):37-64, 2005.
10. M. Crane and J. Dingel. On the Semantics of UML State Machines: Categorization and Comparision. In Technical Report 2005-501, School of Computing, Queen's University, Canada, 2005.
11. M. L. Crane and J. Dingel. UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. In 8th International Conference on Model Driven Engineering Languages and Systems, pages 97-112. LNCS 3713, 2005.
12. S. Dustdar and W. Schreiner. A Survey on Web Services Composition. International Journal on Web and Grid Services, 1(1): 1-30, 2005.
13. T. Erl. Service-Oriented Architecture: A Field Guide to Integrating XML and Web Srvices. Prentice Hall, New Jersey, 2004.
14. D. Ferguson and M. Stockton. Service-Oriented Architecture: Programming Model and Product Architecture. IBM Systems Journal, 44(4):753-780, 2005.
15. X. Fu, T. Bultan, and J. Su. Analysis of Interacting BPEL Web Services. In 13th Intl. conference on World Wide Web, pages 621-630. ACM Press, 2004.
16. F. Giannotti and G. Manco. Specifying Mining Algorithms with Iterative User-Defined Aggregates. IEEE Transactions on Knowledge and Data Engineering, 16(10):1232-1246, 2004.
17. R. Grønmo and I. Solheim. Towards Modeling Web Service Composition in UML. In 2nd International Workshop on Web Services: Modeling, Architecture and Infrastructure, pages 72-86, 2004.
18. R. Hull and J. Su. Tools for Composite Web Services: A Short Overview. SIGMOD Record, 34(2):86-95, 2005.
19. R. Kumar, C. Zhou, and S. Basu. Finite Bisimulation of Reactive Untimed Infinite State Systems Modeled as Automata with Variables. In American Control Conference, 2006.
20. I. Manolescu, M. Brambilla, S. Ceri, S. Comai, and P. Fraternali. Model-Driven Design and Deployment of Service-Enabled Web Applications. ACM Transactions on Internet Technology, 5(3):439-479, 2005.
21. D. Martin, M. Burstein, J. Hobbs, and et al. OWL-S: Semantic Markup for Web Services, Version 1.1. In http://www.daml.org/services/owl-s, 2004.
22. S. Mcllraith and T. Son. Adapting Golog for Composition of Semantic Web Services. In 8th Intl. Conference on Principles of Knowledge Representation and Reasoning, pages 482-493, 2002.
23. S. McIlraith, T. Son, and H. Zeng. Semantic Web Services. IEEE Intelligent Systems, 16(2):46-53, 2001.
24. B. Medjahed and A. Bouguettaya. A Multilevel Composability Model for Semantic Web Services. IEEE Transactions on Knowledge and Data Engineering, 17(7) :954-968, 2005.
25. N. Milanovic and M. Malek. Current Solutions for Web Service Composition. IEEE Internet Computing, 8(6):51-59, 2004.
26. S.-C. Oh, H. Kil, D. Lee, and S. R. T. Kumara. WSBen: A Web Services Discovery and Composition Benchmark. In 4th International Conference on Web Services, pages 239-246. IEEE Press, 2006.
27. S.-C. Oh, D. Lee, and S. Kumara. A Comparative Illustration of AI Planning-based Web Services Composition. ACM SIGecom Exchanges, 5(5):1-10, 2005.
28. B. Orriens, J. Yang, and M. P. Papazoglou. Model Driven Service Composition. In 1st International Conference on Service Oriented Computing, pages 75-90. LNCS 2910, Springer-Verlag, 2003.
29. M. Paolucci, T. Kawamura, T. Payne, and K. Sycara. Semantic Matching of Web Services Capabilities. In 1st Intl. Semantic Web Conference, pages 333-347. Springer-Verlag, 2002.
30. J. Pathak, MoSCoE: A Specification-Driven Framework for Modeling Web Services using Abstraction, Composition, and Reformulation. In 2nd IBM Ph.D. Symposium at 4fth International Service Oriented Computing Conference, pages 1-6. IBM Research Technical Report, RC24118, 2006.
31. J. Pathak, S. Basu, and V. Honavar. Modeling Web Services by Iterative Reformulation of Functional and Non-Functional Requirements. In 4th International Conference on Service Oriented Computing, pages 314-326. LNCS 4294, Springer-Verlag, 2006.
32. J. Pathak, S. Basu, R. Lutz, and V. Honavar. MoSCoE: A Framework for Modeling Web Service Composition and Execution. In IEEE 22nd Intl. Conference on Data Engineering Ph.D. Workshop, page x143. IEEE CS Press, 2006.
33. J. Pathak, S. Basu, R. Lutz, and V. Honavar. Parallel Web Service Composition in MoSCoE: A Choreography-based Approach. In 4th IEEE European Conference on Web Services, pages 3-12. IEEE CS Press, 2006.
34. J. Pathak, S. Basu, R. Lutz, and V. Honavar. Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. In 18th IEEE International Conference on Tools with Artificial Intelligence, pages 445-454. IEEE CS Press, 2006.
35. J. Pathak, D. Caragea., and V. Honavar. Ontology-Extended Component-Based Workflows-A Framework for Constructing Complex Workflows from Semantically Heterogeneous Software Components. In 2nd International Workshop on Semantic Web and Databases, pages 41-56. LNCS 3372. Springer-Verlag, 2004.
36. J. Pathak, N. Koul, D. Caragea, and V. Honavar. A Framework for Semantic Web Services Discovery. In 7th A CM Intl. Workshop on Web Information and Data Management, pages 45-50. ACM press, 2005.
37. M. Pistore, A. Marconi, P. Bertoli, and P. Traverso. Automated Composition of Web Services by Planning at the Knowledge Level. In 19th Internatinal Joint Conferences on Artificial Intelligence, pages 1252-1259, 2005.
38. M. Pistore, P. Traverso, and P. Bertoli. Automated Composition of Web Services by Planning in Asynchronous Domains. In 15th Intl. Conference on Automated Planning and Scheduling, pages 2-11, 2005.
39. M. Pistore, P. Traverso, P. Bertoli, and A. Marconi. Automated Synthesis of Composite BPEL4WS Web Services. In 3rd IEEE International Conference on Web Services, pages 293-301. IEEE Press, 2005.
40. J. Rao, P. Kungas, and M. Matskin. Logic-based Web Services Composition: From Service Description to Process Model. In 2nd IEEE International Conference on Web Services, pages 446-453. IEEE CS Paper, 2004.
41. J. Rao and X. Su. A Survey of Automated Web Service Composition Methods. In 1st Intl. Workshop on Semantic Web Services and Web Process Composition, pages 43-54, 2004.
42. D. Robins. Interactive Information Retrieval: Context and Basic Notions. Informing Science, 3(2):57-62, 2000.
43. D. Roman, U. Keller, H. Lausen, and et al. Web Service Modeling Ontology. Applied Ontology, 1(1):77-106, 2005.
44. K. F. Sagonas, T. Swift, and D. S. Warren. The XSB Programming System. In Workshop on Programming with Logic Databases, http://xsb.sourceforge. net, 1993.
45. E. Sirin, J. Hendler, and B. Parsia. Semi-automatic Composition of Web Services using Semantic Descriptions. In Workshop on Web Services: Modeling, Architecture and Infrastructure, pages 17-24, 2003.
46. E. Sirin, B. Parsia, D. Wu, J. Hendler, and D. Nau. HTN Planning for Web Service Composition using SHOP. Journal of Web Semantics, l(4):377-396. 2004.
47. D. Skogan, R. Grønmo, and I. Solheim. Web Service Composition in UML. In 8th IEEE Intl. Enterprise Distributed Object Computing Conference, pages 47-57. IEEE Press, 2004.
48. M. ter Beek, A. Bucchiarone, and S. Gnesi. Web Service Composition Approaches: From Industrial Standards to Formal Methods. In 2nd International Conference on Internet and Web Applications and Services, pages 15-20. IEEE CS Press, 2007.
49. J. Timm and G. Gannod. A Model-Driven Approach for Specifying Semantic Web Services. In 3rd International Conference on Web Services, pages 313-320. IEEE press, 2005.
50. P. Traverso and M. Pistore. Automated Composition of Semantic Web Services into Executable Processes. In 3rd International Semantic Web Conference, pages 380-394. Springer-Verlag, 2004.
51. R. J. Waldinger. Web Agents Cooperating Deductively. In 1st Intl. Workshop on Formal Approaches to Agent-Based Systems, pages 250-262. Springer-Verlag. 2001.