RI UFLA (Universidade Federal de Lavras) >
Revistas UFLA >
Infocomp >

Please use this identifier to cite or link to this item: http://repositorio.ufla.br/jspui/handle/1/10081

Title: Process management oriented qualitative verification for multi-agents reactive decisional systems
???metadata.dc.creator???: Berrada, Mohammed
Bounabat, Bouchaib
Harti, Mostafa
Keywords: Agent
Organization system
Qualitative verification
Sistema de organização
Verificação qualitativa
Publisher: Editora da UFLA
???metadata.dc.date???: 1-Dec-2007
Citation: BERRADA, M.; BOUNABAT, B.; HARTI, M. Process management oriented qualitative verification for multi-agents reactive decisional systems. INFOCOMP: Journal of Computer Science, Lavras, v. 6, n. 4, p. 27-35, Dec. 2007.
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.
Other Identifiers: http://www.dcc.ufla.br/infocomp/index.php/INFOCOMP/article/view/192
???metadata.dc.language???: eng
Appears in Collections:Infocomp

Files in This Item:

There are no files associated with this item.

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

View Statistics


DSpace Software Copyright © 2002-2010  Duraspace - Feedback