DocumentCode
726927
Title
Modeling Non-starvation in Multi-agent Systems
Author
Negreanu, Lorina
Author_Institution
Comput. Sci. Dept., Univ. Politeh. of Bucharest, Bucharest, Romania
fYear
2015
fDate
27-29 May 2015
Firstpage
894
Lastpage
898
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Control Systems and Computer Science (CSCS), 2015 20th International Conference on
Conference_Location
Bucharest
Print_ISBN
978-1-4799-1779-2
Type
conf
DOI
10.1109/CSCS.2015.46
Filename
7168532
Link To Document