원문정보
초록
영어
Developing dependable distributed multi-agent programs is not an easy task. Even with
extensive testing and debugging, faults cannot be completely removed. However, many distributed
multi-agent programs, especially those employed in safety critical environments, should
be able to function properly even in the presence of software faults. Monitoring the execution
of a distributed multi-agent program, detecting failures, and reacting to these failures at runtime
is the appropriate way to tolerate these failures.
In this paper, we have designed and implemented a framework for monitoring the execution
of distributed multi-agent programs. The proposed framework extends the Java Agent
DEvelopment framework (JADE) allowing agent programmers to monitor global states, to detect
the occurrence of certain events and to react to these events at runtime. An example of
monitoring a distributed multi-agent program has been presented to demonstrate the effectiveness
of the proposed framework.
목차
1. Introduction
2. A formal model of a run of a distributed multi-agent program
3. Difficulties of predicates detection in distributed multi-agent programs
4. Approaches of predicates detection in distributed programs
5. Detecting weak conjunctive predicates
6. JADE: Java Agent DEvelopment framework
7. The architecture of the proposed framework
8. Experimental results
9. Conclusion and future work
References