A formal specification for organizational adaptation

Authors:
Huib Aldewereld;Frank Dignum;Virginia Dignum;Loris Penserini
Affiliations:
Institute of Information and Computing Sciences, Universiteit Utrecht, TB Utrecht, The Netherlands;Institute of Information and Computing Sciences, Universiteit Utrecht, TB Utrecht, The Netherlands;Institute of Information and Computing Sciences, Universiteit Utrecht, TB Utrecht, The Netherlands;Institute of Information and Computing Sciences, Universiteit Utrecht, TB Utrecht, The Netherlands
Venue:
AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Year:
2009

Citing 9
Cited 1

Temporal and modal logic

Handbook of theoretical computer science (vol. B)
Designing organizations for computational agents

Simulating organizations
The Vision of Autonomic Computing

Computer
Developing multiagent systems: The Gaia methodology

ACM Transactions on Software Engineering and Methodology (TOSEM)
The dawning of the autonomic computing era

IBM Systems Journal
High variability design for software agents: Extending Tropos

ACM Transactions on Autonomous and Adaptive Systems (TAAS)
Agent-based Analysis of Organizations: Formalization and Simulation

IAT '07 Proceedings of the 2007 IEEE/WIC/ACM International Conference on Intelligent Agent Technology
OperettA: a prototype tool for the design, analysis and development of multi-agent organizations

Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: demo papers
Operational semantics of goal models in adaptive agents

Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1

Agent-based organizational structures for ambient intelligence scenarios

Journal of Ambient Intelligence and Smart Environments

Quantified Score

Hi-index	0.00

Visualization

Abstract

Agent organizations are a good means to guarantee certain system objectives in the context of autonomous, self adapting agents. However, in highly dynamic environments such as in crisis management where different organizations have to cooperate flexibly and efficiently, the organizational structure itself should also be adaptable to the circumstances. In this paper we distinguish different types of context changes and the way organizations can adapt to such changes. We give a formal description --of both organizations and the changes-- which facilitates proving that certain features remain stable throughout the life cycle of the organization or are justifiable changes.