Title :
Modeling Non-starvation in Multi-agent Systems
Author :
Negreanu, Lorina
Author_Institution :
Comput. Sci. Dept., Univ. Politeh. of Bucharest, Bucharest, Romania
Abstract :
Event-B is a formal method which uses first-order logic and set theory as the underlying mathematical notation for specifying and reasoning about discrete systems. Rod in is an Eclipse plug-in that offers a good tool support for Event-B. The aim of this paper consists in applying Event-B and Rod in to prove the non-starvation property of satisfying requests for services in a multi-agent system.
Keywords :
discrete systems; formal logic; formal specification; multi-agent systems; reasoning about programs; set theory; Eclipse plug-in; Event-B; Rod; discrete system specification; first-order logic; formal method; mathematical notation; multiagent system; nonstarvation modeling; reasoning about discrete systems; set theory; Artificial intelligence; Cognition; Computational modeling; Computer science; Distributed computing; Multi-agent systems; Presses; Event-B; Rodin; event decomposition; proof; refinement;
Conference_Titel :
Control Systems and Computer Science (CSCS), 2015 20th International Conference on
Conference_Location :
Bucharest
Print_ISBN :
978-1-4799-1779-2
DOI :
10.1109/CSCS.2015.46
