Verification and Analysis of Organisational Change

Mairi McCallum, Wamberto W M P D Vasconcelos, Timothy J Norman

Research output: Chapter in Book/Report/Conference proceedingChapter

6 Citations (Scopus)

Abstract

In the engineering of multi-agent systems both the analyst and architect may benefit by thinking about the solution in terms of the roles that agents may enact and the relationships between them. The organisational structure thus produced provides an effective way to capture medium- to long-term associations and dependencies between agents. In this paper we propose a means to formally specify, verify and analyse agent organisations, capturing notions of role, obligation and delegation (of obligations). Furthermore, our framework allows change in the organisational structure to be modelled and alternative organisation specifications to be developed in order to handle the consequences of change. Our model gives rise to a suite of tools and functionalities with which engineers can specify, verify and analyse organisations, the roles of their components, their obligations and the relationships among these roles.
Original languageEnglish
Title of host publicationCoordination, Organizations, Institutions, and Norms in Multi-Agent Systems
Subtitle of host publicationAAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers
EditorsOlivier Boissier, Julian Padget, Virginia Dignum, Gabriela Lindemann, Eric Matson, Sascha Ossowski, Jaime Simao Sichman, Javier Vazquez-Salceda
Place of PublicationBerlin/Heidelberg
PublisherSpringer-Verlag
Pages48-63
Number of pages16
ISBN (Print)978-3-540-35173-3
DOIs
Publication statusPublished - 2006

Publication series

NameLecture Notes in Artificial Intelligence
PublisherSpringer-Verlag
Volume3913
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Fingerprint

Organizational change
Obligation
Organizational structure
Analysts
Multi-agent systems
Engineers
Delegation
Functionality

Keywords

  • software agents
  • organisation
  • change

Cite this

McCallum, M., Vasconcelos, W. W. M. P. D., & Norman, T. J. (2006). Verification and Analysis of Organisational Change. In O. Boissier, J. Padget, V. Dignum, G. Lindemann, E. Matson, S. Ossowski, J. S. Sichman, ... J. Vazquez-Salceda (Eds.), Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers (pp. 48-63). (Lecture Notes in Artificial Intelligence; Vol. 3913). Berlin/Heidelberg: Springer-Verlag. https://doi.org/10.1007/11775331_4

Verification and Analysis of Organisational Change. / McCallum, Mairi; Vasconcelos, Wamberto W M P D; Norman, Timothy J.

Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers. ed. / Olivier Boissier; Julian Padget; Virginia Dignum; Gabriela Lindemann; Eric Matson; Sascha Ossowski; Jaime Simao Sichman; Javier Vazquez-Salceda. Berlin/Heidelberg : Springer-Verlag, 2006. p. 48-63 (Lecture Notes in Artificial Intelligence; Vol. 3913).

Research output: Chapter in Book/Report/Conference proceedingChapter

McCallum, M, Vasconcelos, WWMPD & Norman, TJ 2006, Verification and Analysis of Organisational Change. in O Boissier, J Padget, V Dignum, G Lindemann, E Matson, S Ossowski, JS Sichman & J Vazquez-Salceda (eds), Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers. Lecture Notes in Artificial Intelligence, vol. 3913, Springer-Verlag, Berlin/Heidelberg, pp. 48-63. https://doi.org/10.1007/11775331_4
McCallum M, Vasconcelos WWMPD, Norman TJ. Verification and Analysis of Organisational Change. In Boissier O, Padget J, Dignum V, Lindemann G, Matson E, Ossowski S, Sichman JS, Vazquez-Salceda J, editors, Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers. Berlin/Heidelberg: Springer-Verlag. 2006. p. 48-63. (Lecture Notes in Artificial Intelligence). https://doi.org/10.1007/11775331_4
McCallum, Mairi ; Vasconcelos, Wamberto W M P D ; Norman, Timothy J. / Verification and Analysis of Organisational Change. Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems: AAMAS 2005 International Workshops on Agents, Norms and Institutions for Regulated Multi-Agent Systems, ANIREM 2005, and Organizations in Multi-Agent Systems, OOOP 2005, Utrecht, The Netherlands, July 25-26, 2005, Revised Selected Papers. editor / Olivier Boissier ; Julian Padget ; Virginia Dignum ; Gabriela Lindemann ; Eric Matson ; Sascha Ossowski ; Jaime Simao Sichman ; Javier Vazquez-Salceda. Berlin/Heidelberg : Springer-Verlag, 2006. pp. 48-63 (Lecture Notes in Artificial Intelligence).
@inbook{a665394b599a47b6a5d634a2fe320be8,
title = "Verification and Analysis of Organisational Change",
abstract = "In the engineering of multi-agent systems both the analyst and architect may benefit by thinking about the solution in terms of the roles that agents may enact and the relationships between them. The organisational structure thus produced provides an effective way to capture medium- to long-term associations and dependencies between agents. In this paper we propose a means to formally specify, verify and analyse agent organisations, capturing notions of role, obligation and delegation (of obligations). Furthermore, our framework allows change in the organisational structure to be modelled and alternative organisation specifications to be developed in order to handle the consequences of change. Our model gives rise to a suite of tools and functionalities with which engineers can specify, verify and analyse organisations, the roles of their components, their obligations and the relationships among these roles.",
keywords = "software agents, organisation, change",
author = "Mairi McCallum and Vasconcelos, {Wamberto W M P D} and Norman, {Timothy J}",
year = "2006",
doi = "10.1007/11775331_4",
language = "English",
isbn = "978-3-540-35173-3",
series = "Lecture Notes in Artificial Intelligence",
publisher = "Springer-Verlag",
pages = "48--63",
editor = "Olivier Boissier and Julian Padget and Virginia Dignum and Gabriela Lindemann and Eric Matson and Sascha Ossowski and Sichman, {Jaime Simao} and Javier Vazquez-Salceda",
booktitle = "Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems",

}

TY - CHAP

T1 - Verification and Analysis of Organisational Change

AU - McCallum, Mairi

AU - Vasconcelos, Wamberto W M P D

AU - Norman, Timothy J

PY - 2006

Y1 - 2006

N2 - In the engineering of multi-agent systems both the analyst and architect may benefit by thinking about the solution in terms of the roles that agents may enact and the relationships between them. The organisational structure thus produced provides an effective way to capture medium- to long-term associations and dependencies between agents. In this paper we propose a means to formally specify, verify and analyse agent organisations, capturing notions of role, obligation and delegation (of obligations). Furthermore, our framework allows change in the organisational structure to be modelled and alternative organisation specifications to be developed in order to handle the consequences of change. Our model gives rise to a suite of tools and functionalities with which engineers can specify, verify and analyse organisations, the roles of their components, their obligations and the relationships among these roles.

AB - In the engineering of multi-agent systems both the analyst and architect may benefit by thinking about the solution in terms of the roles that agents may enact and the relationships between them. The organisational structure thus produced provides an effective way to capture medium- to long-term associations and dependencies between agents. In this paper we propose a means to formally specify, verify and analyse agent organisations, capturing notions of role, obligation and delegation (of obligations). Furthermore, our framework allows change in the organisational structure to be modelled and alternative organisation specifications to be developed in order to handle the consequences of change. Our model gives rise to a suite of tools and functionalities with which engineers can specify, verify and analyse organisations, the roles of their components, their obligations and the relationships among these roles.

KW - software agents

KW - organisation

KW - change

U2 - 10.1007/11775331_4

DO - 10.1007/11775331_4

M3 - Chapter

SN - 978-3-540-35173-3

T3 - Lecture Notes in Artificial Intelligence

SP - 48

EP - 63

BT - Coordination, Organizations, Institutions, and Norms in Multi-Agent Systems

A2 - Boissier, Olivier

A2 - Padget, Julian

A2 - Dignum, Virginia

A2 - Lindemann, Gabriela

A2 - Matson, Eric

A2 - Ossowski, Sascha

A2 - Sichman, Jaime Simao

A2 - Vazquez-Salceda, Javier

PB - Springer-Verlag

CY - Berlin/Heidelberg

ER -