Qualitative Verification of Multi-Agents Reactive Decisional System Using Business Process Modeling Notation

Authors:
Mohammed Berrada;Bouchaib Bounabat;Mostafa Harti
Affiliations:
Sidi Med ben Abdellah University, Morocco;Ecole Nationale d'Informatique et d'Analyse des Systemes, ENSIAS, Morocco;Sidi Med ben Abdellah University, Morocco
Venue:
IAT '06 Proceedings of the IEEE/WIC/ACM international conference on Intelligent Agent Technology
Year:
2006

Citing 3
Cited 0

Temporal logic for real time systems

Temporal logic for real time systems
Formal specification methods for reactive systems

Journal of Systems and Software
A new formal approach for the specification and the verification of multi-agent reactive systems operating modes

Information processing and technology

Quantified Score

Hi-index	0.00

Visualization

Abstract

A Reactive system is one that is in continual interaction with its environment, and executes at a pace determined by that environment. Due to their complex nature, reactive systems are extremely difficult to specify and validate. In this paper, we propose a new formal model for verification of such systems using Business Process Modeling Notation (BPMN). 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. BPMN is used as a verification tool in order to verify the systems behaviors.