Automatic verification of composite web services based on temporal and epistemic logic

3rd International Conference on Genetic and Evolutionary Computing, WGEC 2009

Volumn , Issue , 2009, Pages 693-696

  Luo, Xiangyu ^a   Tan, Zheng ^a   Dong, Rongsheng ^a  

^a GUILIN UNIVERSITY OF ELECTRONIC TECHNOLOGY   (China)

Author keywords

BPEL; Channel; MCTK; Model checking; Web services

Indexed keywords

AUTOMATIC VERIFICATION; BPEL; BUSINESS PROCESS; BUSINESS PROCESS EXECUTION LANGUAGE FOR WEB SERVICES; CHANNEL; COMPOSITE WEB SERVICES; CONTROL FLOWS; FORMAL MODEL; SYMBOLIC MODEL CHECKERS; TEMPORAL AND EPISTEMIC LOGIC; VIRTUAL TRAVEL; WEB SERVICES COMPOSITION;

ALGORITHMS; LINGUISTICS; MODEL CHECKING; TEMPORAL LOGIC;

WEB SERVICES;

EID: 77950654886     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/WGEC.2009.29     Document Type: Conference Paper

References (9)

1. OASIS Web service Business Process Execution Language (WSBPEL) TC. Web service Business Process Execution Language Version 2.0, 2007.
2. Web Services Description Language(WSDL) 1.1. http://www.W3.org/TR/wsdl, March 2001.
3. A. Cimatti, E. Clarke, and F. Giunchiglia, "NuSMV: A new symbolic model verifier," In Proc. CAV'99, pp.495-499.
4. H. Foster, S. Uchitel, and J. Magee, "Model-based verification of web service compositions," In Proceedings of the 18th IEEE International Conference on Automated Software Engineering Conference (ASE 2003), 2003.
5. X. Fu, T. Bultan, and J. Su, "Model checking interactions of composite web services," UCSB Computer Science Department Technical Report (2004-2005). (Available at http://www.cs.ucsb.edu/~su/tmp.
6. X. Fu, T. Bultan, and J. Su, "Analysis of Interacting BPEL Web Services," In Proc. WWW'04, 2004.
7. K.L. Su, "Model checking temporal logics of knowledge in distributed systems," In Proceedings of the Nineteenth National Conference on Artificial Intelligence, Sixteenth Conference on Innovative Applications of Artificial Intelligence, pp.98-103. AAAI Press / The MIT Press, 2004.
8. K.L. Su, A. S and X.Y. Luo, "Model Checking Temporal Logics of Knowledge Via OBDDs," The Computer Journal, 50(4): pp.403-420, 2007.
9. R. Kazhamiakin, "Formal Analysis of Web Service Composition," University of Trento, March 2007.