| dc.contributor.author |
Truong, N.-T. |
|
| dc.contributor.author |
Trinh, T.-B. |
|
| dc.contributor.author |
Nguyen, V.-H. |
|
| dc.date.accessioned |
2011-05-09T08:13:35Z |
|
| dc.date.available |
2011-05-09T08:13:35Z |
|
| dc.date.issued |
2009 |
|
| dc.identifier.citation |
Page : 201-209 |
vi |
| dc.identifier.isbn |
9.78E+12 |
|
| dc.identifier.uri |
http://tainguyenso.vnu.edu.vn/jspui/handle/123456789/7287 |
|
| dc.description.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. ?? 2009 IEEE. |
vi |
| dc.language.iso |
en |
vi |
| dc.publisher |
SEFM 2009 - 7th IEEE International Conference on Software Engineering and Formal Methods |
vi |
| dc.subject |
Reactive system |
vi |
| dc.subject |
Design phase |
vi |
| dc.subject |
Consensus analysis |
vi |
| dc.subject |
Event-B |
vi |
| dc.subject |
Formal Specification |
vi |
| dc.title |
Coordinated consensus analysis of multi-agent systems using event-B |
vi |
| dc.type |
Article |
vi |