|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 32 van 50 gevonden artikelen
| Titel: |
Formal Spsecification and Proof of Multi-Agent Applications Using Event B |
| Auteur: |
Hong-Jiang Gao Zheng Qin Lei Lu Li-Ping Shao Xing-Chen Heng |
| Verschenen in: |
Information technology journal |
| Paginering: | Jaargang 6 (2007) nr. 8 pagina's 1181-1189 |
| Jaar: |
2007 |
| Inhoud: |
With increasingly complexity in Multi-Agent Systems (MAS), the problem of their verification and validation is acquiring increasing importance and rigorous design practices are needed in case of critical applications. Event B, which provides an accessible and rigorous development method, is ideal for the formal modelling of reactive systems. In this study, a practical approach for developing flexible and reliable formal specifications of MAS using Event B is described, exemplified on Contract Net Protocol (CNP) in the interaction of MAS and B models generated with evt2b supported by Atelier B are then proven in consistency and correctness. All the concepts of this approach are illustrated by a case study concerning the use of Event B for the modelling and verifying a multi-modal platform associating an intellectualized design system of shape and style in automobile. Moreover, the results of proof and evaluation of present method are presented. |
| Uitgever: |
Asian Network for Scientific Information, Pakistan (provided by DOAJ) |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 32 van 50 gevonden artikelen
| << vorige | volgende >> |