Reasoning about knowledge
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
NUSMV: A New Symbolic Model Verifier
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Verifying epistemic properties of multi-agent systems via bounded model checking
Fundamenta Informaticae - Concurrency specification and programming
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Automated Model Checking and Testing for Composite Web Services
ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
An Introduction to MultiAgent Systems
An Introduction to MultiAgent Systems
CIAA'03 Proceedings of the 8th international conference on Implementation and application of automata
MCMAS: a model checker for multi-agent systems
TACAS'06 Proceedings of the 12th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Towards an Agent Based Approach for Verification of OWL-S Process Models
ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
Local properties in modal logic
Artificial Intelligence
Hi-index | 0.00 |
Model checking Web service behaviour has remained limited to checking safety and liveness properties. However when viewed as a multi agent system, the system composition can be analysed by considering additional properties which capture the knowledge acquired by services during their interactions. In this paper we present a novel approach to model checking service composition where in addition to safety and liveness, epistemicproperties are analysed and verified. To do this we use a specialised system description language (ISPL) paired with a symbolic model checker (MCMAS) optimised for the verification of temporal and epistemic modalities. We report on experimental results obtained by analysing the composition for a Loan Approval Service.