Modelling the Handover Function of Global System for Mobile Communication

Aaroud, Abdessadek; Labhalla, S.E.; Bounabat, Bouchaïb

doi:10.1080/02286203.2005.11442323

Cited by 7 publications

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Multi Decisional Reactive Agent (MDRA), is among several methods that contribute to enhance the reactive system behaviors using verification aspect, It is developed by [Bounabat, al. ] [3], the MDRA is widely used and applied in different context and domains such as mobile systems [4], [5] and organizational systems [6]. The main component of MDRA is Decisional Reactive Agents (DRA), which can acts in an autonomous way until that their realizations are undertaken in adequate deadlines.…”

Section: Introductionmentioning

confidence: 99%

UML Profile for Modeling Multi Decisional Reactive Agent System

Haqiq¹,

Bounabat²

2013

LNSE

View full text Add to dashboard Cite

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.

show abstract

Section: Introductionmentioning

confidence: 99%