Automated synthesis of composite BPEL4WS web services

Proceedings - 2005 IEEE International Conference on Web Services, ICWS 2005

Volumn 2005, Issue , 2005, Pages 293-301

  Pistore, M ^a   Traverso, P ^b   Bertoli, P ^b   Marconi, A ^b  

^a UNIVERSITY OF TRENTO   (Italy)

^b ITC IRST   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INFORMATION TECHNOLOGY; INFORMATION THEORY; REQUIREMENTS ENGINEERING; WORLD WIDE WEB;

AUTOMATED SYNTHESIS; COMPOSITE SERVICES; WEB SERVICES;

INFORMATION SERVICES;

EID: 33749078956     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICWS.2005.27     Document Type: Conference Paper

References (27)

1. ActiveBPEL. The Open Source BPEL Engine -http://www.activebpel.org.
2. T. Andrews, F. Curbera, H. Dolakia, J. Goland, J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weeravarana. Business Process Execution Language for Web Services (version 1.1), 2003.
3. D. Berardi, D. Calvanese, G. De Giacomo, M. Lenzerini, and M. Mecella. Automatic composition of E-Services that export their behaviour. In Proc. ICSOC'03, 2003.
4. P. Bertoli, A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. MBP: a Model Based Planner. In Proc. of IJCAI-2001 workshop on Planning under Uncertainty and Incomplete Information, 2001.
5. P. Bertoli, A. Cimatti, M. Pistore, and P. Traverso. A Framework for Planning with Extended Goals under Partial Observability. In Proc. ICAPS'03, 2003.
6. 20 States and Beyond. Information and Computation, 98(2):142-170, June 1992.
7. A. Cimatti, E. M. Clarke, F. Giunchiglia, and M. Roveri. NuSMV: a new symbolic model checker. International Journal on Software Tools for Technology Transfer (STTT), 2(4), 2000.
8. A. Cimatti, M. Pistore, M. Roveri, and P. Traverso. Weak, Strong, and Strong Cyclic Planning via Symbolic Model Checking. Artificial Intelligence, 147(1-2):35-84, 2003.
9. E. M. Clarke and J. M. Wing. Formal methods: State of the art and future directions. ACM Computing Surveys, 28(4):626-643, December 1996.
10. The OWL Services Coalition. OWL-S: Semantic Markup for Web Services, 2003.
11. U. Dal Lago, M. Pistore, and P. Traverso. Planning with a Language for Extended Goals. In Proc. AAAI'02, 2002.
12. E. Emerson. Temporal and modal logic. In Handbook of Theoretical Computer Science, Vol. B: Formal Models and Semantics. Elsevier, 1990.
13. R. Hull, M. Benedikt, V. Christophides, and J. Su. E-Services: A Look Behind the Curtain. In Proc. PODS'03, 2003.
14. R. Khalaf, N. Mukhi, and S. Weerawarana. Service Oriented Composition in BPEL4WS. In Proc. WWW'03, 2003.
15. S. McIlraith and S. Son. Adapting Golog for Composition of Semantic Web Services. In Proc. KR'02, 2002.
16. K.L. McMillan. Symbolic Model Checking. Kluwer Academic Publ., 1993.
17. S. Narayanan and S. McIlraith. Simulation, Verification and Automated Composition of Web Services. In Proc. WWW'02, 2002.
18. Oracle. Oracle BPEL Process Manager -http://www.oracle.com/products/ias/ bpel/.
19. R. Petrick and E Bacchus. A Knowledge-Based Approach to Planning with Incomplete Information and Sensing. In Proc. AIPS'02, 2002.
20. M. Pistore, P. Traverso, and P. Bertoli. Automated Composition of Web Services by Planning in Asynchronous Domains. In Proc. ICAPS'05, 2005.
21. A. Pnueli and R. Rosner. Distributed reactive systems are hard to synthesize. In Proc. of IEEE Symp. of Foundations of Computer Science, 1990.
22. S. Ponnekanti and A. Fox. SWORD: A Developer Toolkit for Web Service Composition. In Proc. WWW'02, 2002.
23. M. Sheshagiri, M. desJardins, and T. Finin. A Planner for Composing Services Described in DAML-S. In Proc. AA-MAS'03, 2003.
24. D. Skogan, R. Gronmo, and I. Solheim. Web Service Composition in UML. In Proc. EDOC'04, 2004.
25. P. Traverso and M. Pistore. Automated Composition of Semantic Web Services into Executable Processes. In Proc. ISWC'04, 2004.
26. SDK WSMO working group. The Web Service Modeling Framework - http://www.wsmo.org/.
27. D. Wu, B. Parsia, E. Sirin, J. Hendler, and D. Nau. Automating DAML-S Web Services Composition using SHOP2. In Proc. ISWC'03, 2003.