Verifying temporal and epistemic properties of Web service compositions

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

Volumn 4749 LNCS, Issue , 2007, Pages 456-461

  Lomuscio, Alessio ^a   Qu, Hongyang ^a   Sergot, Marek ^a   Solanki, Monika ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

DATA REDUCTION; KNOWLEDGE ACQUISITION; MODEL CHECKING; MULTI AGENT SYSTEMS; SYSTEMS ANALYSIS;

EPISTEMIC MODALITIES; EPISTEMIC PROPERTIES; SERVICE COMPOSITIONS;

WEB SERVICES;

EID: 38349078984     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74974-5_43     Document Type: Conference Paper

References (13)

1. Bertoli, P., Cimatti, A., Pistore, M., Roveri, M., Traverso, P.: MBP: a model based planner. In: Proc. of the IJCAI'01 (2001)
2. Bordini, R., Fisher, M., Pardavila, C., Visser, W., Wooldridge, M.: Model checking multi-agent programs with CASP. In: Hunt Jr., W.A., Somenzi, F. (eds.) CAV 2003. LNCS, vol. 2725, pp. 110-113. Springer, Heidelberg (2003)
3. Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NuSMV: A new symbolic model verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 495-499. Springer, Heidelberg (1999)
4. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
5. Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: WWW'04, pp. 621-630. ACM Press, New York (2004)
6. Holzmann, G.J.: The model checker SPIN. IEEE Trans. on Software Eng. 23(5), 279-295 (1997)
7. Huang, H., Tsai, W.-T., Paul, R., Chen, Y.: Automated model checking and testing for composite web services. In: ISORC '05, pp. 300-307. IEEE Computer Society, Los Alamitos (2005)
8. Lomuscio, A., Raimondi, F.: MCMAS: A model checker for multi-agent systems. In: Hermanns, H., Palsberg, J. (eds.) TACAS 2006 and ETAPS 2006. LNCS, vol. 3920, pp. 450-454. Springer, Heidelberg (2006)
9. OASIS Web service Business Process Execution Language (WSBPEL) TC: Web service Business Process Execution Language Version 2.0 (2007)
10. Penczek, W., Lomuscio, A.: Verifying epistemic properties of multi-agent systems via bounded model checking. Fundamenta Informaticae 55(2), 167-185 (2003)
11. Pistore, M., Barbon, F., Bertoli, P., Shaparau, D., Traverso, P.: Planning and monitoring web service composition. In: AIMSA, pp. 106-115 (2004)
12. Wooldridge, M.: An introduction to multi-agent systems. John Wiley, England (2002)
13. Fu, X., Bultan, T., Su, J.: Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. In: Ibarra, O.H., Dang, Z. (eds.) CIAA 2003. LNCS, vol. 2759, pp. 188-200. Springer, Heidelberg (2003)