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

Nariman Mani; Vahid Garousi; Behrouz H. Far

doi:10.1109/CCECE.2008.4564814

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 proceeding › Conference contribution

4 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 language	English
Title of host publication	IEEE Canadian Conference on Electrical and Computer Engineering, Proceedings, CCECE 2008
Pages	1611-1616
Number of pages	6
DOIs	https://doi.org/10.1109/CCECE.2008.4564814
Publication status	Published - 22 Sep 2008
Externally published	Yes
Event	IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008 - Niagara Falls, Canada Duration: 04 May 2008 → 07 May 2008

Conference

Conference	IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008
Country/Territory	Canada
City	Niagara Falls
Period	04/05/2008 → 07/05/2008

Keywords

Deadlock detection
Monitoring
Multi-agent system
UML

ASJC Scopus subject areas

Hardware and Architecture
Electrical and Electronic Engineering

Access to Document

10.1109/CCECE.2008.4564814

Cite this

@inproceedings{b942a5980d6640a6a6fc6c00f76a07f2,

title = "Monitoring Multi-Agent Systems for deadlock detection based on UML models",

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.",

keywords = "Deadlock detection, Monitoring, Multi-agent system, UML",

author = "Nariman Mani and Vahid Garousi and Far, {Behrouz H.}",

year = "2008",

month = sep,

day = "22",

doi = "10.1109/CCECE.2008.4564814",

language = "English",

isbn = "9781424416431",

pages = "1611--1616",

booktitle = "IEEE Canadian Conference on Electrical and Computer Engineering, Proceedings, CCECE 2008",

note = "IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008 ; Conference date: 04-05-2008 Through 07-05-2008",

}

Mani, N, Garousi, V & Far, BH 2008, Monitoring Multi-Agent Systems for deadlock detection based on UML models. in IEEE Canadian Conference on Electrical and Computer Engineering, Proceedings, CCECE 2008., 4564814, pp. 1611-1616, IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008, Niagara Falls, Ontario, Canada, 04/05/2008. https://doi.org/10.1109/CCECE.2008.4564814

TY - GEN

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

AU - Mani, Nariman

AU - Garousi, Vahid

AU - Far, Behrouz H.

PY - 2008/9/22

Y1 - 2008/9/22

N2 - 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.

AB - 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.

KW - Deadlock detection

KW - Monitoring

KW - Multi-agent system

KW - UML

UR - http://www.scopus.com/inward/record.url?scp=51849099129&partnerID=8YFLogxK

U2 - 10.1109/CCECE.2008.4564814

DO - 10.1109/CCECE.2008.4564814

M3 - Conference contribution

AN - SCOPUS:51849099129

SN - 9781424416431

SP - 1611

EP - 1616

BT - IEEE Canadian Conference on Electrical and Computer Engineering, Proceedings, CCECE 2008

T2 - IEEE Canadian Conference on Electrical and Computer Engineering, CCECE 2008

Y2 - 4 May 2008 through 7 May 2008

ER -

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

Abstract

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this