A formal model for self-adaptive and self-healing organizations

Authors:
Robrecht Haesevoets;Danny Weyns;Tom Holvoet;Wouter Joosen
Affiliations:
Department of Computer Science, Katholieke Universiteit Leuven, 3001 Heverlee, Belgium;Department of Computer Science, Katholieke Universiteit Leuven, 3001 Heverlee, Belgium;Department of Computer Science, Katholieke Universiteit Leuven, 3001 Heverlee, Belgium;Department of Computer Science, Katholieke Universiteit Leuven, 3001 Heverlee, Belgium
Venue:
SEAMS '09 Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems
Year:
2009

Citing 0
Cited 2

A survey of formal methods in self-adaptive systems

Proceedings of the Fifth International C* Conference on Computer Science and Software Engineering
A self-healing distributed pervasive health system

International Journal of Web Engineering and Technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

Multi-agent systems typically consist of autonomous entities, capable of adapting their behavior and interaction patterns in dynamic environments, making them an interesting approach for modeling self-adaptive systems. The interactions among agents, a key challenge in engineering multi-agent systems, are often structured and managed by means of organizations.