Title :
Modeling and Proof of Event-Driven Interaction in Multi Agent Systems in Event-B
Author :
Negreanu, Lorina ; Popovici, Mihaela
Author_Institution :
Comput. Sci. Dept., Univ. Politeh. of Bucharest, Bucharest, Romania
Abstract :
Due to their distinguishable features, specification and verification of multi-agent systems are non-trivial tasks. In this paper, we present the modeling and verification of event-driven interaction in multi-agent systems. The model is specified and verified using Event-B and the Rodin platform.
Keywords :
formal specification; formal verification; multi-agent systems; Rodin platform; event-B platform; event-driven agent interaction; formal specification; formal verification; multi-agent system; Abstracts; Clocks; Context; Mathematical model; Multi-agent systems; Radiation detectors; Software engineering; Event-B; Rodin; agent; event; formal methods; interaction; model; proof; reactive system;
Conference_Titel :
Control Systems and Computer Science (CSCS), 2013 19th International Conference on
Conference_Location :
Bucharest
Print_ISBN :
978-1-4673-6140-8
DOI :
10.1109/CSCS.2013.48
