Use this URL to cite or link to this record in EThOS:
Title: MOCHA : modelling organisational change using agents
Author: McCallum, Mairi
ISNI:       0000 0001 3622 7512
Awarding Body: University of Aberdeen
Current Institution: University of Aberdeen
Date of Award: 2006
Availability of Full Text:
Access from EThOS:
Agent-based computing is becoming a popular tool for modelling, designing and implementing distributed systems. 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. As in human organisations, roles and the relationships between them define expected behaviours of the members of an organisation. The organisational structure thus produced provides an effective way to capture medium- to long-term associations and dependencies between agents. If the organisation structure can be defined in a formalism with a well-defined syntax and precise semantics the engineer gains the benefits associated with describing a system in a formal specification. In this thesis we propose a means to formally specify, verify and analyse agent organisations. We take an organisational approach, defining the structure of the organisation without making any assumptions about the internal characteristics of the agents who populate it. We adopt a normative view of organisations, and capture the notion of social influence through relationships between roles. Ours is a flexible and expressive approach that contemplates agents taking part in multiple organisations with distinct roles and disparate (possibly conflicting) obligations. We make a distinction between the structure of an organisation and the population instantiating the organisation, and our framework allows the consequences of change in both the organisational structure and the population to be investigated. The model and the functionalities described in this thesis are based on sets and a prototypical Prolog implementation is presented.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available