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)


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
Number of pages16
ISBN (Print)978-3-540-35173-3
Publication statusPublished - 2006

Publication series

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


  • software agents
  • organisation
  • change


Dive into the research topics of 'Verification and Analysis of Organisational Change'. Together they form a unique fingerprint.

Cite this