A Formal Compositional Model of Multiagent Interaction

Sea Ling; Seng Wai Loke

A Formal Compositional Model of Multiagent Interaction

Sea Ling, Seng Wai Loke

Department of Software Systems & Cybersecurity

Research output: Contribution to conference › Paper

Abstract

Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these protocols to equivalent Petri net specifications. A novelty of our approach is that the Petri nets are modular, clearly separating the protocol from the interaction behaviour of agents induced by their participation in the protocol, yet compositional. We contend that compositionality is useful since multiagent systems and their interactions are inherently modular, and so that mission-critical parts of a system can be analysed separately. Our model can serve at least two purposes in multigent systems engineering: firstly, specification and verification, and secondly, as a basis for synthesising skeleton code of interacting agents from specifications in the spirit of interaction-oriented programming.

Original language	English
Pages	1052-1053
Number of pages	2
Publication status	Published - 1 Dec 2003
Event	International Conference on Autonomous Agents and Multiagent Systems 2003 - Melbourne VIC AUSTRALIA, Melbourne, Australia Duration: 14 Jul 2003 → 18 Jul 2003 Conference number: 2nd http://www.ifaamas.org/AAMAS/aamas03/main.htm https://dl.acm.org/doi/proceedings/10.1145/860575 (Proceedings)

Conference

Conference	International Conference on Autonomous Agents and Multiagent Systems 2003
Abbreviated title	AAMAS 2003
Country/Territory	Australia
City	Melbourne
Period	14/07/03 → 18/07/03
Internet address	http://www.ifaamas.org/AAMAS/aamas03/main.htm https://dl.acm.org/doi/proceedings/10.1145/860575 (Proceedings)

Keywords

Agent-oriented software engineering
Compositional specifications
Interaction protocols
Petri nets

Cite this

@conference{622b774578c84caa8f6726835d3596f7,

title = "A Formal Compositional Model of Multiagent Interaction",

abstract = "Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these protocols to equivalent Petri net specifications. A novelty of our approach is that the Petri nets are modular, clearly separating the protocol from the interaction behaviour of agents induced by their participation in the protocol, yet compositional. We contend that compositionality is useful since multiagent systems and their interactions are inherently modular, and so that mission-critical parts of a system can be analysed separately. Our model can serve at least two purposes in multigent systems engineering: firstly, specification and verification, and secondly, as a basis for synthesising skeleton code of interacting agents from specifications in the spirit of interaction-oriented programming.",

keywords = "Agent-oriented software engineering, Compositional specifications, Interaction protocols, Petri nets",

author = "Sea Ling and Loke, {Seng Wai}",

year = "2003",

month = dec,

day = "1",

language = "English",

pages = "1052--1053",

note = "International Conference on Autonomous Agents and Multiagent Systems 2003, AAMAS 2003 ; Conference date: 14-07-2003 Through 18-07-2003",

url = "http://www.ifaamas.org/AAMAS/aamas03/main.htm, https://dl.acm.org/doi/proceedings/10.1145/860575",

}

TY - CONF

T1 - A Formal Compositional Model of Multiagent Interaction

AU - Ling, Sea

AU - Loke, Seng Wai

N1 - Conference code: 2nd

PY - 2003/12/1

Y1 - 2003/12/1

N2 - Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these protocols to equivalent Petri net specifications. A novelty of our approach is that the Petri nets are modular, clearly separating the protocol from the interaction behaviour of agents induced by their participation in the protocol, yet compositional. We contend that compositionality is useful since multiagent systems and their interactions are inherently modular, and so that mission-critical parts of a system can be analysed separately. Our model can serve at least two purposes in multigent systems engineering: firstly, specification and verification, and secondly, as a basis for synthesising skeleton code of interacting agents from specifications in the spirit of interaction-oriented programming.

AB - Interaction protocols for multiagent systems have been described diagrammatically in an extension of UML called AUML (Agent UML). In this paper, we show how to translate these protocols to equivalent Petri net specifications. A novelty of our approach is that the Petri nets are modular, clearly separating the protocol from the interaction behaviour of agents induced by their participation in the protocol, yet compositional. We contend that compositionality is useful since multiagent systems and their interactions are inherently modular, and so that mission-critical parts of a system can be analysed separately. Our model can serve at least two purposes in multigent systems engineering: firstly, specification and verification, and secondly, as a basis for synthesising skeleton code of interacting agents from specifications in the spirit of interaction-oriented programming.

KW - Agent-oriented software engineering

KW - Compositional specifications

KW - Interaction protocols

KW - Petri nets

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

M3 - Paper

AN - SCOPUS:1142304625

SP - 1052

EP - 1053

T2 - International Conference on Autonomous Agents and Multiagent Systems 2003

Y2 - 14 July 2003 through 18 July 2003

ER -

A Formal Compositional Model of Multiagent Interaction

Abstract

Conference

Keywords

Other files and links

Cite this