eprintid: 1778
rev_number: 6
eprint_status: archive
userid: 244
dir: disk0/00/00/17/78
datestamp: 2016-06-14 08:57:50
lastmod: 2016-06-14 08:57:50
status_changed: 2016-06-14 08:57:50
type: conference_item
metadata_visibility: show
creators_name: Truong, Ninh Thuan
creators_name: Trinh, Thanh Binh
creators_name: Nguyen, Viet Ha
creators_id: thuantn@vnu.edu.vn
creators_id: hanv@vnu.edu.vn
title: Coordinated Consensus Analysis of Multi-agent Systems Using Event-B
ispublished: pub
subjects: IT
divisions: fac_fit
abstract: Formal specifications and reasoning techniques in software modelling are needed to ensure the correctness of the system at the design phase. Event-B is a formal method with support tools that allows the stepwise development of reactive systems. Such systems include multi-agent systems as a subclass. In this paper, we propose an approach to specify capabilities of a number of software agents. We then verify whether these capabilities help the agents to accomplish a certain task using a supported tool for Event-B. We use the binary numeral system as a case study to illustrate our approach.
date: 2009
date_type: published
official_url: http://dx.doi.org/10.1109/SEFM.2009.24
id_number: doi:10.1109/SEFM.2009.24
full_text_status: none
pres_type: paper
pagerange: 201-209
event_title: Seventh IEEE International Conference on Software Engineering and Formal Methods
event_location: Hanoi, Vietnam
event_dates: 23-27 November 2009
event_type: conference
refereed: TRUE
book_title: 2009 Seventh IEEE International Conference on Software Engineering and Formal Methods
citation:   Truong, Ninh Thuan and Trinh, Thanh Binh and Nguyen, Viet Ha  (2009) Coordinated Consensus Analysis of Multi-agent Systems Using Event-B.  In: Seventh IEEE International Conference on Software Engineering and Formal Methods, 23-27 November 2009, Hanoi, Vietnam.