Process Management Oriented Qualitative Verification for Multi-Agents Reactive Decisional Systems
Main Article Content
Abstract
A Reactive system is one that is in continual interaction with its environment, and executes at pace determined by that environment. Due to their complex nature, reactive sistems are extremely dificult 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 achiebe the desired functionality. BPMN is used as verification tool in order to verify the systems behaviors. Finally an example of an application of the approach, and its assiciated support tool, is mentioned.
Article Details
How to Cite
Berrada, M., Bounabat, B., & Harti, M. (2007). Process Management Oriented Qualitative Verification for Multi-Agents Reactive Decisional Systems. INFOCOMP Journal of Computer Science, 6(4), 27–35. Retrieved from https://infocomp.dcc.ufla.br/index.php/infocomp/article/view/192
Section
Articles
Upon receipt of accepted manuscripts, authors will be invited to complete a copyright license to publish the paper. At least the corresponding author must send the copyright form signed for publication. It is a condition of publication that authors grant an exclusive licence to the the INFOCOMP Journal of Computer Science. This ensures that requests from third parties to reproduce articles are handled efficiently and consistently and will also allow the article to be as widely disseminated as possible. In assigning the copyright license, authors may use their own material in other publications and ensure that the INFOCOMP Journal of Computer Science is acknowledged as the original publication place.