@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",
}