Welcome!
To use the personalized features of this site, please log in or register.
If you have forgotten your username or password, we can help.
|
 |
Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents
| |
|
Designing Multi-Agent Reactive Systems: A Specification Method Based on Reactive Decisional Agents
Bouchaib Bounabat3  , Rahal Romadi3 and Salah Labhalla4
| (3) |
LGI, Ecole Nationale Supèrieure, d’Informatique et d’Analyse des Systémes, BP 713, Agdal Rabat, Maroc |
| (4) |
Laboratoire des Mathèmatiques, Facultè des Sciences Marrakech-Semlalia, Maroc |
Abstract
A Reactive system is one that is in continual interaction with its environment, and executes at a pace determined by that
environment. Examples of such systems are network protocols, industrial-process control systems etc. The use of rigorous formal
method in specification and validation, can help designers to limit the introduction of potentially faulty components during
the construction of the system.
Due to their complex nature, reactive systems are extremely difficult to specify and validate. In this paper, we propose a
new formal model for the specification and the validation of such systems. This approach considers a Reactive System as a
Reactive Multi-Agent System consisting of concurrent reactive agents that cooperate with each other to achieve the desired
functionality. In addition, this approach uses formal synchronous specification and verification tools in order to specify
and to verify the systems behaviors. Finally an example of an application of the approach is mentioned.
Keywords Reactive systems - Reactive agent - specafication - formal methods - verification
Fulltext Preview (Small, Large)
 References secured to subscribers.
|
|
|
|
|
|