Modeling and Simulation of Multi-Agents Reactive Decisional Systems Using Business Process Management Concepts


(*) Corresponding author


Authors' affiliations


DOI's assignment:
the author of the article can submit here a request for assignment of a DOI number to this resource!
Cost of the service: euros 10,00 (for a DOI)

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 approach for modeling for such systems using Business Process Modeling Notation BPMN. This approach allows also the simulation of processes achieved by agents composing such systems using the Business Process Execution Language for Web Services BPEL4WS.
Copyright © 2018 Praise Worthy Prize - All rights reserved.

Keywords


Agent; BPEL4WS; BPMN; Modeling; Reactive Systems; Simulation

Full Text:

PDF


References


Furbach, Formal specification methods for reactive systems, Journal of Systems Software, No. 21, 1993, pp. 129-139.

M. Berrada, B.Bounabat, and M.Harti. “Qualitative Verification of MARDS using BPMN”, The IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT’06), 18-22 December 2006, Hong Kong.

M. Berrada, B. Bounabat, and M. Harti. “Une Vérification Qualitative Orientée Management par Processus pour les SMARDs” MSCEAI’06 Conference, 07-09 December 2006, Agadir, Morocco.

B. Bounabat, R. Romadi, S.E. Labhalla, User’s behavioural requirements specification for a reactive agent: IEEE publication-CESA’98, Nabeul-Hammamet, Tunisia, 01/04 April 1998.

B. Bounabat, Méthode d’Analyse et de Conception Orientée Objet Décisionnel. Application aux langages synchrones et aux systèmes répartis, doctoral dis., Cadi Ayyad University, Faculty of sciences, Marrakech, Morocco, 2000.

A. Aaroud, S. E. Labhalla, B. Bounabat “A New Formal Approach for the Specification and the Verification of Multi-Agent Reactive System Operating Modes”, International Journal for Information Processing and Technology. Nova Sciences Publishers, Inc March 2001.

A. Aaroud, S. E. Labhalla, B. Bounabat “Designing Multi-Agent Reactive Systems a specification method based on Decisional Reactive Agent”, New Computing Group, February 2001.

J.S. Ostroff, Temporal logic for real time system (Advanced software development series. Research studies Press limited, 1989).

A.Mensch, D. Kersual, A. Crespo, F. Charpillet, E. Pessi, Reakt: Real Time Architecture for Time critical knowledge-based system, Intelligent Systems Engineering, 1994.

B. Bounabat, “MACSOOD, Méthode d’Analyse et de Conception des Systèmes Orientés Objet Décisionnel, Application à la conception des Systèmes Automatisés de Production” doctoraldiss, Evry institute of telecommunication, France, September 1993.

A Aaroud, S. E. Labhalla, B. Bounabat “Modelling the Handover function of Global System for Mobile Communication”, The International Journal of Modelling and Simulation- ACTA Press/ Vol 25, Number 2, 2005.

A. Aaroud, S. E. Labhalla, B. Bounabat "Design of GSM handover using MARDS model" Proc. IEEE Conf. International Conference for Information Technologies and Application (ICITA), 08-11 Janvier 2004 Harbin China.

Berry G., The ESTEREL V5 Language Primer. Internal Report, CMA Ecoles des Mine, INRIA, Paris, 17 Mars, 1998.

D. Harel, “STATAECHARTS: A Visual Formalism for Complex Systems” Science of Computer Programming, vol 8, 231-274, 1987

A. Bouali, “XEVE an ESTREL verification environment” Rapport INRIA N°0214 December 1997.

Business Process Modeling Notation Specification, OMG Final Adopted Specification, BPMI.org, February 6, 2006. Available: http://www.bpmn.org/.

T. Andrews, F. Curbera, H. Dholakia, Y. Goland,J. Klein, F. Leymann, K. Liu, D. Roller, D. Smith, S. Thatte, I. Trickovic, and S. Weerawanara. – Business Process Execution Language for Web Services Version 1.1. Technical report, BEA Systems, IBM, Microsoft, SAP, Siebel, 5 May 2003. Available: http://www.ibm.com/developerworks/library/ws-bpel/

E. Christensen, F. Curbera, G. Meredith, S. Weerawarana Web Service Description Language(WSDL) 1.1, W3C Note, 15 March 2001.

T. Anderson, Step-by-Step Guide to Project Management, University of technology Sydney, February 2006.

COBIT 4.0 Control Objectives for Information and related Technology, The IT Governance Institute (ITGI). pp. 67-72. Available: http://www.itgi.org.

E. Ivanova, “Orchestrating Web Services - Standards and Solutions” National Scientific Conference "Mathematics, Informatics and Computer Sciences", pp. 137-142, 12-13 May, 2006, Veliko Tarnovo, Bulgaria.

Active Endpoints : http://www.active-endpoints.com

Intalio: http://www.intalio.com

J. Ferber, O. Gutknecht, F. Michel: From agents to organizations: an organizational view of multi-agent systems. Lecture notes in computer science LNCS, (Melbourne, Australia, Springer Verlag (2003) 185-202).


Refbacks

  • There are currently no refbacks.


Please send any question about this web site to info@praiseworthyprize.com
Copyright © 2005-2024 Praise Worthy Prize