Monitoring Multi-Agent Systems for deadlock detection based on UML models

Nariman Mani*, Vahid Garousi, Behrouz H. Far

*Corresponding author for this work

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

5 Citations (Scopus)

Abstract

There is an increasing demand for Multi-Agent Systems (MAS) in the software industry. In order to bring MAS to the main stream of commercial software development, the behavior of MAS must be monitored and verified against the risk of unwanted emergent behaviors including deadlocks. In this paper, we introduce a methodology for efficient monitoring of MAS to detect resource and communication deadlocks. In this methodology, we construct a behavioral model of a MAS under analysis and use it for deadlock detection. The behavioral models are in the form of UML 2.0 sequence diagrams which are built from the modeling artifacts of the Multi-agent Software Engineering (MaSE) methodology. To detect MAS deadlocks at runtime based on UML sequence diagrams, we adapt and refine existing resource and communication deadlock detection techniques to the context of MAS. A monitoring scenario example of our methodology is presented.

Original languageEnglish
Title of host publicationIEEE Canadian Conference on Electrical and Computer Engineering, Proceedings, CCECE 2008
Pages1611-1616
Number of pages6
DOIs
Publication statusPublished - 22 Sept 2008
Externally publishedYes
EventIEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008 - Niagara Falls, Canada
Duration: 04 May 200807 May 2008

Conference

ConferenceIEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008
Country/TerritoryCanada
CityNiagara Falls
Period04/05/200807/05/2008

Keywords

  • Deadlock detection
  • Monitoring
  • Multi-agent system
  • UML

ASJC Scopus subject areas

  • Hardware and Architecture
  • Electrical and Electronic Engineering

Fingerprint

Dive into the research topics of 'Monitoring Multi-Agent Systems for deadlock detection based on UML models'. Together they form a unique fingerprint.

Cite this