Results 1 -
2 of
2
Distributed runtime verification of JADE multiagent systems
- 8th International Symposium on Intelligent Distributed Computing, IDC’2014, volume 570 of Studies in Computational Intelligence
, 2014
"... Abstract Verifying that agent interactions in a multiagent system (MAS) are compliant to a given global protocol is of paramount importance for most systems, and is mandatory for safety-critical applications. Runtime verifica-tion requires a proper formalism to express such a protocol, a possibly no ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
(Show Context)
Abstract Verifying that agent interactions in a multiagent system (MAS) are compliant to a given global protocol is of paramount importance for most systems, and is mandatory for safety-critical applications. Runtime verifica-tion requires a proper formalism to express such a protocol, a possibly non intrusive mechanism for capturing agent interactions, and a method for ver-ifying that captured interactions are compliant to the global protocol. Pro-jecting the global protocol onto agents ’ subsets can improve efficiency and fault tolerance by allowing the distribution of the verification mechanism. Since many real MASs are based on JADE, a well known open source plat-form for MAS development, we implemented a monitor agent that achieves all the goals above using the “Attribute Global Types ” (AGT) formalism for representing protocols. Using our JADE monitor we were able to verify FYPA, an extremely complex industrial MAS currently used by Ansaldo STS for allocating platforms and tracks to trains inside Italian stations, besides the Alternating Bit and the Iterated Contract Net protocols which are well known in the distributed systems and MAS communities. Depending on the monitored MAS, the performances of our monitor are either comparable or slightly worse than those of the JADE Sniffer because of the logging of the verification activities. Reducing the log files dimension, re-implementing the monitor in a way independent from the JADE Sniffer, and heavily exploit-ing projections are the three directions we are pursuing for improving the monitor’s performances, still keeping all its features. 1
Global Protocols as First Class Entities for Self-Adaptive Agents
"... ABSTRACT We describe a framework for top-down centralized self-adaptive MASs where adaptive agents are "protocol-driven" and adaptation consists in runtime protocol switch. Protocol specifications take a global, rather than a local, perspective and each agent, before starting to follow a ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
(Show Context)
ABSTRACT We describe a framework for top-down centralized self-adaptive MASs where adaptive agents are "protocol-driven" and adaptation consists in runtime protocol switch. Protocol specifications take a global, rather than a local, perspective and each agent, before starting to follow a new (global) protocol, projects it for obtaining a local version. If all the agents in the MAS are driven by the same global protocol, the compliance of the MAS execution to the protocol is obtained by construction.
