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

fYear

2009

fDate

23-27 Nov. 2009

Firstpage

201

Lastpage

209

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Software Engineering and Formal Methods, 2009 Seventh IEEE International Conference on

Conference_Location

Hanoi

Print_ISBN

978-0-7695-3870-9

Type

conf

DOI

10.1109/SEFM.2009.24

Filename

5368095