Modeling Web services by iterative reformulation of functional and non-functional requirements

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4294 LNCS, Issue , 2006, Pages 314-326

  Pathak, Jyotishman ^a   Basu, Samik ^a   Honavar, Vasant ^a  

^a Iowa State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITE WEB SERVICES; FUNCTIONAL REQUIREMENT; INCREMENTAL MODELING; NON-FUNCTIONAL REQUIREMENTS; STATE VARIABLES; SYMBOLIC TRANSITION SYSTEMS; TRANSITION SYSTEM;

SPECIFICATIONS;

WEB SERVICES;

EID: 77049125046     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11948148_26     Document Type: Conference Paper

References (15)

1. Hull, R., Su, J.: Tools for Composite Web Services: A Short Overview. SIGMOD Record 34(2) (2005) 86-95
2. Dustdar, S., Schreiner, W.: A Survey on Web Services Composition. International Journal on Web and Grid Services 1(1) (2005) 1-30
3. Pathak, J., Basu, S., Lutz, R., Honavar, V.: Selecting and Composing Web Services through Iterative Reformulation of Functional Specifications. In: 18th IEEE International Conference on Tools with Artificial Intelligence. (2006)
4. Pathak, J., Basu, S., Lutz, R., Honavar, V.: Parallel Web Service Composition inMoSCoE: A Choreography-based Approach. In: 4th IEEE European Conference onWeb Services. (2006)
5. Pistore,M., Traverso, P., Bertoli, P.: Automated Composition ofWeb Services by Planning in Asynchronous Domains. In: 15th Intl. Conference on Automated Planning and Scheduling. (2005) 2-11
6. Traverso, P., Pistore,M.: Automated Composition of SemanticWeb Services into Executable Processes. In: 3rd Intl. Semantic Web Conference, Springer-Verlag (2004) 380-394
7. Benatallah, B., Sheng, Q., Dumas, M.: The Self-Serv Environment for Web Services Composition. IEEE Internet Computing 7(1) (2003) 40-48
8. Berardi, D., Calvanese, D., Giuseppe, D.G., Hull, R., Mecella, M.: Automatic Composition of Transition-based Semantic Web Services with Messaging. In: 31st Intl. Conference on Very Large Databases. (2005) 613-624
9. Basu, S., Mukund, M., Ramakrishnan, C.R., Ramakrishnan, I.V., Verma, R.M.: Local and Symbolic Bisimulation Using Tabled Constraint Logic Programming. In: Intl. Conference on Logic Programming. Volume 2237., Springer-Verlag (2001) 166-180
10. Pathak, J., Koul, N., Caragea, D., Honavar, V.: A Framework for Semantic Web Services Discovery. In: 7th ACM Intl. Workshop on Web Information and Data Management, ACM press (2005) 45-50
11. Fu, X., Bultan, T., Su, J.: Analysis of Interacting BPEL Web Services. In: 13th Intl. conference on World Wide Web, ACM Press (2004) 621-630
12. Cardoso, J., Sheth, A., Miller, J., et al.: Quality of Service for Workflows and Web Service Processes. Journal of Web Semantics 1(3) (2004) 281-309
13. Zeng, L., Benatallah, B.: QoS-Aware Middleware for Web Services Composition. IEEE Transactions on Software Engineering 30(5) (2004) 311-327
14. Yu, T., Lin, K.: Service Selection Algorithms for Composing Complex Services with Multiple QoS Constraints. In: International Conference on Service Oriented Computing, LNCS 3826 (2005) 130-143
15. Oh, S.C., Kil, H., and, D.L.: WSBen: A Web Services Discovery and Composition Benchmark. In: 4th International Conference on Web Services, IEEE Press (2006) 239-246