Parallel program design: a foundation
Parallel program design: a foundation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Exception handling in agent systems
Proceedings of the third annual conference on Autonomous Agents
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
Visualising and debugging distributed multi-agent systems
Proceedings of the third annual conference on Autonomous Agents
Debugging agent interactions: a case study
Proceedings of the 2001 ACM symposium on Applied computing
The cognitive agents specification language and verification environment for multiagent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 1
Debugging multi-agent systems using design artifacts: the case of interaction protocols
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Computer
PVS: Combining Specification, Proof Checking, and Model Checking
CAV '96 Proceedings of the 8th International Conference on Computer Aided Verification
iContract - The Java(tm) Design by Contract(tm) Tool
TOOLS '98 Proceedings of the Technology of Object-Oriented Languages and Systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
An exploration of bugs and debugging in multi-agent systems
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
jContractor: Introducing Design-by-Contract to Java Using Reflective Bytecode Instrumentation
Formal Methods in System Design
An application perspective evaluation of multi-agent system in versatile environments
Expert Systems with Applications: An International Journal
| Hi-index | 0.00 |
This paper describes an architecture allowing to verify properties of a multiagent system during its execution. This architecture is the basis of our study whose goal is to check at runtime, if agents and more generally multiagent systems satisfy requirements. Considering that a correct system is a system verifying the properties specified by the designer, we are interested in the "property" notion. That is why we give here a definition of "property" and we present an architecture to validate them. The architecture, a multiagent system itself, is based on a set of agents whose goals are to check at runtime the whole system's properties. So after a brief description of the "property" notion, we describe our architecture and the way to check systems.