Verifying MSMAS model using CIFF

Emad Eldeen Elakehal, Marco Montali, Julian Padget

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

MSMAS is a software development methodology that facilities the design and development of complex distributed systems based on the multiagent systems paradigm. MSMAS explicitly supports the institutional organisational structure and follows a declarative modelling style to specify behavioural restrictions on the members of the institution, their roles, the business processes regulating their behavior and the communication protocols regulating their mutual interactions. All these aspects are visually represented, by adapting the DECLARE graphical language, proposed for the declarative specification of constraint-based business processes. In this paper we discuss the main elements of MSMAS, and show how they can be equipped with a formal, expectation-based semantics, tailored to the CIFF Abductive Logic Programming-based framework. In particular, we show how the MSMAS constructs can be formalized in CIFF, and then exploit this correspondence to specify and verify formal properties over MSMAS models, by leveraging on the CIFF reasoning capabilities.

Original languageEnglish
Title of host publicationMultiagent System Technologies - 11th German Conference, MATES 2013, Proceedings
Pages44-58
Number of pages15
DOIs
Publication statusPublished - 9 Oct 2013
Event11th German Conference on Multiagent System Technologies, MATES 2013 - Koblenz, Germany
Duration: 16 Sep 201320 Sep 2013

Publication series

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

Conference

Conference11th German Conference on Multiagent System Technologies, MATES 2013
CountryGermany
CityKoblenz
Period16/09/1320/09/13

ASJC Scopus subject areas

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Elakehal, E. E., Montali, M., & Padget, J. (2013). Verifying MSMAS model using CIFF. In Multiagent System Technologies - 11th German Conference, MATES 2013, Proceedings (pp. 44-58). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 8076 LNAI). https://doi.org/10.1007/978-3-642-40776-5-7