• Aug 25, 2016 News!Vol.4, No.3 has been published with online version. 15 peer reviewed articles from 3 specific areas are published in this issue.   [Click]
  • May 03, 2016 News!Vol. 3, No. 3 has been indexed by EI (Inspec).   [Click]
  • May 03, 2016 News!Vol. 3, No. 2 has been indexed by EI (Inspec).   [Click]
General Information
    • ISSN: 2301-3559
    • Frequency: Quarterly
    • DOI: 10.18178/LNSE
    • Editor-in-Chief: Prof. Jemal Antidze
    • Executive Editor: Ms. Nina Lee
    • Abstracting/ Indexing: EI (INSPEC, IET), DOAJ, Electronic Journals Library, Engineering & Technology Digital Library, Ulrich's Periodicals Directory, International Computer Science Digital Library (ICSDL), ProQuest and Google Scholar.
    • E-mail: lnse@ejournal.net
Editor-in-chief
Prof. Jemal Antidze
I. Vekua Scientific Institute of Applied Mathematics
Tbilisi State University, Georgia
I'm happy to take on the position of editor in chief of LNSE. We encourage authors to submit papers concerning any branch of Software Engineering.

LNSE 2013 Vol.1(3): 224-229 ISSN: 2301-3559
DOI: 10.7763/LNSE.2013.V1.50

UML Profile for Modeling Multi Decisional Reactive Agent System

Abdelhay Haqiq and Bouchaib Bounabat
Abstract—A Reactive System is a system engaged in stimulus-response behavior in order to produce desirable effects on its environment at a specific time. The failures of developing such a system are usually caused by design errors despite of several various tests and simulations made by the developer. Indeed, it is essential to avoid these errors at an advanced level of the application’s life cycle by using a formal specification and verification method. Moreover, the Multi Decisional Reactive Agent (MDRA) approach is devoted to specify and verify such a system. On the other side, modeling the system processes is primordial to describe either its internal or external behavior; however, MDRA is only supported by a BPMN which models its external activities. For this reason, there is a necessity to make easier modeling the MDRA behaviors by using an appropriate method. Furthermore, UML profile provides an extension mechanism to adapt UML for modeling a particular domain, it also specializes UML on each context and introduces new concepts and rules. In this paper, we propose an approach that combines both formal specification and semi-formal modeling which helps designers to specify their application through an UML profile responding to the characteristics of MDRA.

Index Terms—Reactive, agent, formal specification, UML profile.

Abdelhay Haqiq and Bouchaib Bounabat are with the ENSIAS (National Higher School for Computer Science and System Analysis), Mohammed V Souissi University (UM5S), Rabat, Morocco (e-mail: abdelhay.haqiq@um5s.net.ma, bounabat@ensias.ma).

[PDF]

Cite: Abdelhay Haqiq and Bouchaib Bounabat, "UML Profile for Modeling Multi Decisional Reactive Agent System," Lecture Notes on Software Engineering vol. 1, no. 3, pp. 224-229, 2013.

Copyright © 2008-2015. Lecture Notes on Software Engineering. All rights reserved.
E-mail: lnse@ejournal.net