Towards verifying compliance in agent-based Web service compositions

Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS

Volumn 1, Issue , 2008, Pages 262-269

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

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

Compliance; Epistemic logic; Model checking; Web services

Indexed keywords

AUTONOMOUS AGENTS; MODEL CHECKING; MULTI AGENT SYSTEMS; WEBSITES;

AGENT-BASED WEB SERVICES; COMPLIANCE; EPISTEMIC LOGIC; SPECIFICATION AND VERIFICATION; SYMBOLIC MODEL CHECKERS;

WEB SERVICES;

EID: 84899968779     PISSN: 15488403     EISSN: 15582914     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (16)

1. D. Booth, H. Haas, F. McCabe, E. Newcomer, M. Champion, C. Ferris, and D. Orchard. Web service architecture. w3c working group note 11 february 2004, 2004. http://www.w3.org/TR/ws-arch/.
2. R. Bordini, M. Fisher, C. Pardavila, W. Visser, and M. Wooldridge. Model checking multi-agent programs with CASP. In CAV'03, volume LNCS 2725, pages 110-113. Springer-Verlag, 2003.
3. E. M. Clarke, O. Grumberg, and D. A. Peled. Model Checking. The MIT Press, Cambridge, Massachusetts, 1999.
4. R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi. Reasoning about Knowledge. MIT Press, Cambridge, 1995.
5. X. Fu, T. Bultan, and J. Su. Analysis of interacting BPEL web services. In 13th international conference on World Wide Web, pages 621-630. ACM Press, 2004.
6. H. Huang, W. Tsai, R. Paul, and Y. Chen. Automated model checking and testing for composite web services. In Proc. of ISORC'05, pages 300-307. IEEE Computer Society, 2005.
7. A. Lomuscio and F. Raimondi. MCMAS: A model checker for multi-agent systems. In Proceedings of TAC AS 2006, volume 3920, pages 450-454. Springer Verlag, 2006.
8. A. Lomuscio and M. Sergot. Deontic interpreted systems. Studia Logica, 75(l):63-92, 2003.
9. A. Lomuscio and M. Sergot. A formalisation of violation, error recovery, and enforcement in the bit transmission problem. Journal of Applied Logic, 2(1):93-116, Mar. 2004.
10. A. Lomuscio and B. Wozna. A complete and decidable axiomatisation for deontic interpreted systems. In Proceedings of the 8th International Workshop on Deontic Logic in Computer Science (DEON'06), volume 4048, pages 238-254. Springer-Verlag, July 2006.
11. W. Penczek and A. Lomuscio. Verifying epistemic properties of multi-agent systems via bounded model checking. Fundamenta Informaticae, 55(2):167-185, 2003.
12. M. Pistore, F. Barbon, P. Bertoli, D. Shaparau, and P. Traverso. Planning and monitoring web service composition. In AIMSA, pages 106-115, 2004.
13. The OWL-S Coalition. OWL-S 1.1 Release., 2004. http://www.daml.org/ services/owl-s/1.0/.
14. M. Wooldridge. An introduction to multi-agent systems. John Wiley, England. 2002.
15. M. Wooldridge, M.-P. Huget, M. Fisher, and S. Parsons. Model checking for multiagent systems: the mable language and its applications. International Journal on Artificial Intelligence Tools, 15(2):195-226, 2006.
16. X. Fu T. Bultan and J. Su. Conversation Protocols: A Formalism for Specification and Verification of Reactive Electronic Services. In CIAA, volume LNCS 2759, pages 188-200. Springer-Verlag, 2003.