Verifying multiagenpt-based web service compositions regulated by commitment protocols

Warda El Kholy, Mohamed El Menshawy, Jamal Bentahar, Hongyang Qu, Rachida Dssouli

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

7 Scopus citations

Abstract

The ability to compose web services from available services is one of the most crucial problems in the serviceoriented computing paradigm. Conventional software engineering approaches and even standard languages compose web services as workflow models that control the business logic required to coordinate data over participating services. Such models would not apply to the design of multiagent-based web services, which offer high-level abstractions that support autonomy, businesslevel compliance, and flexible dynamic changes. In this paper, we model interactions among multiagent-based services by commitment modalities in the figure of contractual obligations and devote multiagent commitment protocols to regulate such interactions and engineer services composition. We develop and fully implement a symbolic model checking algorithm by enriching the MCMAS model checker with certain symbolic algorithms to verify the correctness of protocols, given properties expressed in a temporal commitment logic, suitably extended with actions. The time complexity and space complexity of the developed algorithm are P-complete for explicit models and for PSPACE-complete concurrent programs. Finally, we report the experimental results of two case studies, adopted to check the algorithm's efficiency.

Original languageBritish English
Title of host publicationProceedings - 2014 IEEE International Conference on Web Services, ICWS 2014
EditorsDavid De Roure, Bhavani Thuraisingham, Jia Zhang
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages49-56
Number of pages8
ISBN (Electronic)9781479950546
DOIs
StatePublished - 2014
Event2014 21st IEEE International Conference on Web Services, ICWS 2014 - Anchorage, United States
Duration: 27 Jun 20142 Jul 2014

Publication series

NameProceedings - 2014 IEEE International Conference on Web Services, ICWS 2014

Conference

Conference2014 21st IEEE International Conference on Web Services, ICWS 2014
Country/TerritoryUnited States
CityAnchorage
Period27/06/142/07/14

Keywords

  • Multiagent-based web services
  • Social commitments

Fingerprint

Dive into the research topics of 'Verifying multiagenpt-based web service compositions regulated by commitment protocols'. Together they form a unique fingerprint.

Cite this