DocumentCode
625164
Title
Formal Specification and Verification of Concurrent Agents in Event-B
Author
Negreanu, Lorina ; Mocanu, Irina ; Florea, Adina M.
Author_Institution
Comput. Sci. Dept., Univ. Politeh. of Bucharest, Bucharest, Romania
fYear
2013
fDate
29-31 May 2013
Firstpage
155
Lastpage
161
Abstract
This paper presents a formal modeling and proof of a multi-agent system for requesting services, in which agents performs operations concurrently. The concurrent operations made by agents are specified and validated using a formal specification method Event-B.
Keywords
concurrency control; formal specification; formal verification; multi-agent systems; theorem proving; concurrent agent; event-B method; formal modeling; formal proof; formal specification; formal verification; multi-agent system; Abstracts; Bellows; Communities; Context; Electronic mail; Load modeling; Multi-agent systems; Event-B; agents; concurrent operations; formal verification; proof; refinement;
fLanguage
English
Publisher
ieee
Conference_Titel
Control Systems and Computer Science (CSCS), 2013 19th International Conference on
Conference_Location
Bucharest
Print_ISBN
978-1-4673-6140-8
Type
conf
DOI
10.1109/CSCS.2013.61
Filename
6569258
Link To Document