Fault Tolerant Middleware for Agent Systems : A Refinement Approach

@inproceedings{Laibinis2009FaultTM,
  title={Fault Tolerant Middleware for Agent Systems : A Refinement Approach},
  author={Linas. Laibinis and Elena. Troubitsyna and Alexei. Iliasov and Alexander. Romanovsky},
  year={2009}
}
Agent technology offers a number of advantages over traditional distributed systems, such as asynchronous communication, anonymity of individual agents and ability to change operational context. However, it is notoriously difficult to ensure dependability of agent systems. In this paper we present a formal approach for the top-down development of fault tolerant middleware for agent systems. We demonstrate how to develop the middleware that besides providing agent coordination is also able to… CONTINUE READING

Citations

Publications citing this paper.

Similar Papers

Loading similar papers…