Modeling and verifying agent-based communities of web services

  • Authors:

  • Wei Wan;Jamal Bentahar;Abdessamad Ben Hamza

  • Affiliations:

  • Department of Electrical and Computer Engineering, Concordia University;Concordia Institute for Information Systems Engineering, Concordia University;Concordia Institute for Information Systems Engineering, Concordia University

  • Venue:
  • IEA/AIE'10 Proceedings of the 23rd international conference on Industrial engineering and other applications of applied intelligent systems - Volume Part II
  • Year:
  • 2010

Quantified Score

Hi-index 0.00

Visualization

Abstract

Communities of web services are virtual spaces that can dynamically gather different web services having complementary functionalities in order to provide composite services. In the last two years, some approaches have been proposed using multi-agent systems to organize communities of web services. This trend has increased the flexibility but also the system complexity. The system becomes hard to check by simply inspecting its model. Therefore, model checking, which is a wellestablished formal technique for verifying communication and cooperation in multi-agent systems, is used in this paper to verify the system correctness in terms of satisfying desirable properties. The approach presented in the paper is used to verify communities of web services modeled in UML activity diagram. We first translate the activity diagram into an interpreted system model using predefined transformation rules. Specifications are expressed as formulae in a logic extending the Computation Tree Logic CTL* with agent commitments needed for their communication. Then, both the model and formulae are used as inputs for the multi-agent symbolic model checker MCMAS.We illustrate our approach with a short case study, in which we show how communication properties of simulated communities are verified.