Automated synthesis of composite services with correctness guarantee

WWW'09 - Proceedings of the 18th International World Wide Web Conference

Volumn , Issue , 2009, Pages 1127-1128

  Deng, Ting ^a   Huai, Jinpeng ^a   Li, Xianxian ^a   Du, Zongxia ^a   Guo, Huipeng ^a  

^a BEIHANG UNIVERSITY   (China)

Author keywords

Composition synthesis; Correctness constraints; Learning algorithm

Indexed keywords

AUTOMATED SYNTHESIS; COMPOSITE SERVICES; COMPOSITION SYNTHESIS; COMPUTATION TREE LOGIC; CORRECTNESS CONSTRAINTS; EXPERIMENTAL STUDIES; PROTOTYPE SYSTEM; TEMPORAL CONSTRAINTS;

WEB SERVICES;

LEARNING ALGORITHMS;

EID: 84865614095     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1526709.1526890     Document Type: Conference Paper

References (7)

1. D. Berardi, D. Calvanese, G. De Giacomo, R. Hull, and M. Mecella. Automatic composition of transition-based semantic web services with messaging. In VLDB, pages 613-624, 2005.
2. A. Cimatti, E. M. Clarke, E. Giunchiglia, F. Giunchiglia, M. Pistore, M. Roveri, R. Sebastiani, and A. Tacchella. Nusmv 2: An opensource tool for symbolic model checking. In CAV '02, pages 359-364, 2002.
3. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. MIT Press, 2000.
4. X. Fu, T. Bultan, and J. Su. Analysis of interacting bpel web services. In WWW, pages 621-630, 2004.
5. R. Hull and J. Su. Tools for composite web services: a short overview. SIGMOD Rec., 34(2):86-95, 2005.
6. P. Manolios and R. Trefler. Safety and liveness in branching time. In LICS '01, pages 366-374, 2001.
7. R. L. Rivest and R. E. Schapire. Inference of finite automata using homing sequences. Inf. Comput., 103(2):299-347, 1993.