Intelligence without representation
Artificial Intelligence
An introduction to general systems thinking (silver anniversary ed.)
An introduction to general systems thinking (silver anniversary ed.)
Distributed Algorithms
Beyond the Limits: Flight Enters the Computer Age
Beyond the Limits: Flight Enters the Computer Age
PlanetLab: an overlay testbed for broad-coverage services
ACM SIGCOMM Computer Communication Review
Concepts, Techniques, and Models of Computer Programming
Concepts, Techniques, and Models of Computer Programming
Architecture-Based Autonomous Repair Management: Application to J2EE Clusters
ICAC '05 Proceedings of the Second International Conference on Automatic Computing
The Essence of P2P: A Reference Architecture for Overlay Networks
P2P '05 Proceedings of the Fifth IEEE International Conference on Peer-to-Peer Computing
Introduction to Reliable Distributed Programming
Introduction to Reliable Distributed Programming
Robust composition: towards a unified approach to access control and concurrency control
Robust composition: towards a unified approach to access control and concurrency control
Contracts as pairs of projections
FLOPS'06 Proceedings of the 8th international conference on Functional and Logic Programming
Failure handling in a network-transparent distributed programming language
Advanced Topics in Exception Handling Techniques
A statistical theory of chord under churn
IPTPS'05 Proceedings of the 4th international conference on Peer-to-Peer Systems
Pan-supplier stock control in a virtual warehouse
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems: industrial track
Self Management for Large-Scale Distributed Systems: An Overview of the SELFMAN Project
Formal Methods for Components and Objects
Service-oriented communities: visions and contributions towards social organizations
OTM'10 Proceedings of the 2010 international conference on On the move to meaningful internet systems
Specification and analysis of dynamically-reconfigurable service architectures
Rigorous software engineering for service-oriented systems
Overcoming software fragility with interacting feedback loops and reversible phase transitions
VoCS'08 Proceedings of the 2008 international conference on Visions of Computer Science: BCS International Academic Conference
Decoupling cognitive agents and virtual environments
CAVE'12 Proceedings of the First international conference on Cognitive Agents for Virtual Environments
| Hi-index | 0.00 |
Most software is fragile: even the slightest error, such as changing a single bit, can make it crash. As software complexity has increased, development techniques have kept pace to manage this fragility. But today there is a new challenge. Complexity is increasing rapidly as a result of two factors: the increasing use of distributed systems as a result of the sufficient reliability and bandwidth of the Internet, and the increasing scale of these systems as a result of the addition of many new computers to the Internet (e.g., mobile phones and other devices). To manage this new complexity, we propose an approach based on self-managing systems: systems that can maintain useful functionality despite changes in their environment. The paper motivates this approach and gives some ideas on how to build general self-managing software systems. An important part of the approach is to build systems as hierarchies of interacting feedback loops. We give examples of these systems and we deduce some of their design rules. The SELFMAN project is elaborating these ideas into a programming methodology and an implementation.