Selecting and composing web services through iterative reformulation of functional specifications

Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI

Volumn , Issue , 2006, Pages 445-454

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

^a Iowa State University   (United States)

^b IOWA STATE UNIVERSITY   (United States)

^c CALIFORNIA INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

FUNCTIONAL SPECIFICATIONS; ITERATIVE REFORMULATION; TABLED-LOGIC PROGRAMMING; TRANSITION SYSTEMS;

FUNCTIONAL ANALYSIS; ITERATIVE METHODS; LOGIC PROGRAMMING; SPECIFICATIONS; USER INTERFACES;

WEB SERVICES;

EID: 38949179179     PISSN: 10823409     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICTAI.2006.102     Document Type: Conference Paper

References (21)

1. V. Agarwal, K. Dasgupta, and et al. A Service Creation Environment Based on End to End Composition of Web Services. In 14th Intl. Conference on World Wide Web, pages 128-137. ACM Press, 2005.
2. 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.
3. D. Berardi, D. Calvanese, D. G. Giuseppe, R. Hull, and M. Mecella. Automatic Composition of Transition-based Semantic Web Services with Messaging. In 31st Intl. Conference on Very Large Databases, pages 613-624, 2005.
4. T. Bultan, X. Fu, R. Hull, and J. Su. Conversation Specification: A New Approach to Design and Analysis of e-Service Composition. In 12th Intl. Conference on World Wide Web, pages 403-410. ACM Press, 2003.
5. M. L. Crane and J. Dingel. UML Vs. Classical Vs. Rhapsody Statecharts: Not AU Models Are Created Equal. In 8th Intl. Conference on Model Driven Engineering Languages and Systems, pages 97-112. LNCS 3713, 2005.
6. S. Dustdar and W. Schreiner. A Survey on Web Services Composition. International Journal on Web and Grid Services, 1(1):1-30, 2005.
7. 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.
8. R. Hull and J. Su. Tools for Composite Web Services: A Short Overview. SIGMOD Record, 34(2):86-95, 2005.
9. 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.
10. 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.
11. 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.
12. S.-C. Oh, H. Kil, and D. L. and. WSBen: A Web Services Discovery and Composition Benchmark. In IEEE International Conference on Web Services, 2006.
13. 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.
14. J. Pathak, N. Koul, D. Caragea, and V. Honavar. A Framework for Semantic Web Services Discovery. In 7th ACM Intl. Workshop on Web Information and Data Management, pages 45-50. ACM press, 2005.
15. K. Pfadenhauer, S. Dustdar, and B. Kittl. Challenges and Solutions for Model Driven Web Service Composition. In 14th IEEE Intl. Workshop on Enabling Technologies: Infrastructures for Collaborative Enterprises, pages 126-131. IEEE Press, 2005.
16. 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.
17. J. Rao, P. Kungas, and M. Matskin. Logic-based Web Services Composition: From Service Description to Process Model. In 2nd Intl. Conference on Web Services, pages 446-453, 2004.
18. 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.
19. K. Sycara, M. Paolucci, A. Ankolekar, and N. Srinivasan. Automated Discovery, Interaction and Composition of Semantic Web Services. Journal of Web Semantics, 1(1):27-46, 2003.
20. P. Traverso and M. Pistore. Automated Composition of Semantic Web Services into Executable Processes. In 3rd Intl. Semantic Web Conference, pages 380-394. Springer-Verlag, 2004.
21. R. J. Waldinger. Web Agents Cooperating Deductively. In 1st Intl. Workshop on Formal Approaches to Agent-Based Systems, pages 250-262. Springer-Verlag, 2001.