Interaction protocols in Agentis

Mark D'Inverno; David Kinney; Michael Luck

doi:10.1109/ICMAS.1998.699039

Interaction protocols in Agentis

Mark D'Inverno, David Kinney, Michael Luck

Academy of Music

Research output: Chapter in book/report/conference proceeding › Conference proceeding › peer-review

46 Citations (Scopus)

Abstract

Agentis is a framework for building interactive multiagent applications which is based upon a model of agent interaction whose key elements are services and tasks. Central to the operation of the system is the set of protocols that permit reliable, concurrent request and provision of services and tasks from and to agents, using an underlying asynchronous point-to-point messaging infrastructure. In this paper we focus on this aspect of the Agentis system and provide a detailed description of these protocols, together with a formal specification in Z. The specification can be seen as part of a more complete formal specification of the entire system, which provides an integrated and coherent way of describing the system at different levels. In so specifying the Agentis protocols, however we also provide some general guidelines which may be applied to the specification of other protocols for agent interaction.

Original language	English
Title of host publication	Proceedings - 3rd International Conference on Multi Agent Systems, ICMAS 1998
Publisher	IEEE
Pages	112-119
Number of pages	8
ISBN (Electronic)	9780818685002
ISBN (Print)	081868500X
DOIs	https://doi.org/10.1109/ICMAS.1998.699039
Publication status	Published - 3 Jul 1998
Event	3rd International Conference on Multi Agent Systems, ICMAS 1998 - Cite des Sciences - La Villette, Paris, France Duration: 3 Jul 1998 → 7 Jul 1998 https://ieeexplore.ieee.org/xpl/conhome/5659/proceeding (Conference Proceedings)

Publication series

Name	Proceedings - International Conference on Multi Agent Systems, ICMAS

Conference

Conference	3rd International Conference on Multi Agent Systems, ICMAS 1998
Country/Territory	France
City	Paris
Period	3/07/98 → 7/07/98
Internet address	https://ieeexplore.ieee.org/xpl/conhome/5659/proceeding (Conference Proceedings)

Access to Document

10.1109/ICMAS.1998.699039

Cite this

@inproceedings{e7b02579428245bd937455fd8dd75a2f,

title = "Interaction protocols in Agentis",

abstract = "Agentis is a framework for building interactive multiagent applications which is based upon a model of agent interaction whose key elements are services and tasks. Central to the operation of the system is the set of protocols that permit reliable, concurrent request and provision of services and tasks from and to agents, using an underlying asynchronous point-to-point messaging infrastructure. In this paper we focus on this aspect of the Agentis system and provide a detailed description of these protocols, together with a formal specification in Z. The specification can be seen as part of a more complete formal specification of the entire system, which provides an integrated and coherent way of describing the system at different levels. In so specifying the Agentis protocols, however we also provide some general guidelines which may be applied to the specification of other protocols for agent interaction.",

author = "Mark D'Inverno and David Kinney and Michael Luck",

note = "Publisher Copyright: {\textcopyright} 1998 IEEE.; 3rd International Conference on Multi Agent Systems, ICMAS 1998 ; Conference date: 03-07-1998 Through 07-07-1998",

year = "1998",

month = jul,

day = "3",

doi = "10.1109/ICMAS.1998.699039",

language = "English",

isbn = "081868500X",

series = "Proceedings - International Conference on Multi Agent Systems, ICMAS",

publisher = "IEEE",

pages = "112--119",

booktitle = "Proceedings - 3rd International Conference on Multi Agent Systems, ICMAS 1998",

address = "United States",

url = "https://ieeexplore.ieee.org/xpl/conhome/5659/proceeding",

}

D'Inverno, M, Kinney, D & Luck, M 1998, Interaction protocols in Agentis. in Proceedings - 3rd International Conference on Multi Agent Systems, ICMAS 1998. Proceedings - International Conference on Multi Agent Systems, ICMAS, IEEE, pp. 112-119, 3rd International Conference on Multi Agent Systems, ICMAS 1998, Paris, France, 3/07/98. https://doi.org/10.1109/ICMAS.1998.699039

TY - GEN

T1 - Interaction protocols in Agentis

AU - D'Inverno, Mark

AU - Kinney, David

AU - Luck, Michael

PY - 1998/7/3

Y1 - 1998/7/3

N2 - Agentis is a framework for building interactive multiagent applications which is based upon a model of agent interaction whose key elements are services and tasks. Central to the operation of the system is the set of protocols that permit reliable, concurrent request and provision of services and tasks from and to agents, using an underlying asynchronous point-to-point messaging infrastructure. In this paper we focus on this aspect of the Agentis system and provide a detailed description of these protocols, together with a formal specification in Z. The specification can be seen as part of a more complete formal specification of the entire system, which provides an integrated and coherent way of describing the system at different levels. In so specifying the Agentis protocols, however we also provide some general guidelines which may be applied to the specification of other protocols for agent interaction.

AB - Agentis is a framework for building interactive multiagent applications which is based upon a model of agent interaction whose key elements are services and tasks. Central to the operation of the system is the set of protocols that permit reliable, concurrent request and provision of services and tasks from and to agents, using an underlying asynchronous point-to-point messaging infrastructure. In this paper we focus on this aspect of the Agentis system and provide a detailed description of these protocols, together with a formal specification in Z. The specification can be seen as part of a more complete formal specification of the entire system, which provides an integrated and coherent way of describing the system at different levels. In so specifying the Agentis protocols, however we also provide some general guidelines which may be applied to the specification of other protocols for agent interaction.

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

U2 - 10.1109/ICMAS.1998.699039

DO - 10.1109/ICMAS.1998.699039

M3 - Conference proceeding

AN - SCOPUS:84959028027

SN - 081868500X

T3 - Proceedings - International Conference on Multi Agent Systems, ICMAS

SP - 112

EP - 119

BT - Proceedings - 3rd International Conference on Multi Agent Systems, ICMAS 1998

PB - IEEE

T2 - 3rd International Conference on Multi Agent Systems, ICMAS 1998

Y2 - 3 July 1998 through 7 July 1998

ER -

Interaction protocols in Agentis

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this