Modeling and verifying agent-based communities of web services

Wei Wan, Jamal Bentahar, Abdessamad Ben Hamza

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

3 Scopus citations

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 well-established 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.

Original languageBritish English
Title of host publicationTrends in Applied Intelligent Systems - 23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2010, Proceedings
Pages418-427
Number of pages10
EditionPART 2
DOIs
StatePublished - 2010
Event23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligence Systems, IEA/AIE 2010 - Cordoba, Spain
Duration: 1 Jun 20104 Jun 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
NumberPART 2
Volume6097 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference23rd International Conference on Industrial Engineering and Other Applications of Applied Intelligence Systems, IEA/AIE 2010
Country/TerritorySpain
CityCordoba
Period1/06/104/06/10

Keywords

  • Communities of Web Services
  • MCMAS
  • Model Checking
  • Multi-Agent Systems
  • UML

Fingerprint

Dive into the research topics of 'Modeling and verifying agent-based communities of web services'. Together they form a unique fingerprint.

Cite this