Title :
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B
Author :
Truong, Ninh-Thuan ; Trinh, Thanh-Binh ; Nguyen, Viet-Ha
Author_Institution :
Coll. of Technol., Vietnam Nat. Univ., Hanoi, Vietnam
Abstract :
SOCK is a process calculus for the modeling of service oriented systems recently extended with primitives for dynamic fault and compensation handling. In this paper we investigate the relationships between the sagas calculi for compensable flow composition and SOCK. First, we present an encoding of parallel sagas (with interruption and centralized compensation) into SOCK. Then, we discuss a new semantics for parallel sagas that we consider more adequate to the dynamic approach to fault and compensation handling.
Keywords :
fault diagnosis; formal specification; multi-agent systems; process algebra; SOCK; compensable flow composition; compensation handling; coordinated consensus analysis; encoding; event-B; fault handling; multiagent systems; parallel sagas; process calculus; sagas calculi; service oriented systems; Communication switching; Computer science; Educational institutions; History; Multiagent systems; Programming; Set theory; Software agents; Software engineering; Topology; Composition; Consensus Analysis; Event-B; Multi-agent system;
Conference_Titel :
Software Engineering and Formal Methods, 2009 Seventh IEEE International Conference on
Conference_Location :
Hanoi
Print_ISBN :
978-0-7695-3870-9
DOI :
10.1109/SEFM.2009.24
