Qualitative Verification of Multi-Agents Reactive Decisional System Using Business Process Modeling Notation

Berrada, Mohammed; Bounabat, Bouchaïb; Harti, Mostafa

doi:10.1109/iat.2006.105

Cited by 10 publications

(3 citation statements)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…At this level we propose a modelling based on MARDS Model and using the BPMN notation. The MARDS Model constitutes an approach among the newest and most useful ones for the composing and modeling of complex system (Aaroud et al, 2005;Berrada et al, 2007). We have used this system in our approach because it allows to model the composition of services in a simple and powerful way and C o rr e ct io n a n d re fi n e m en t Verifcation T r a n s l a t i o n in well-structured architecture.…”

Section: Phase Of Specificationmentioning

confidence: 99%

A Development of AWSCPM Framework for Automation of Web Services Composition Processes

Adadi¹,

Berrada²,

Chenouni³

et al. 2019

J. Eng. Appl. Sci.

Self Cite

View full text Add to dashboard Cite

The composition of web services that is the combination of several services to obtain new features becomes more and more popular and presents a necessary stage for the realization of the collaboration inter-companies (B2B). To implement this collaboration, a developer has to elaborate a specification which allows the modeling of the global behavior of the system to verify formally this model to assure the quality of the system then pass to the implementation of the composed service. This study presents a summary of our developed approach of web services composition this approach is separated into three tasks: specification using BPMN notation and Multi-Agent Reactive Decisional (MARDS) Model, formal verification using LOTOS language and implementation using BPEL language. Then this study will introduced the framework AWSCPM "Automatic Web Services Composition Processes based on MARDS", it is developed as part of this research and that automates the generation of different processes: business process BPMN, executable process BPEL and formal process LOTOS.

show abstract

Section: Phase Of Specificationmentioning

confidence: 99%

A Development of AWSCPM Framework for Automation of Web Services Composition Processes

Adadi¹,

Berrada²,

Chenouni³

et al. 2019

J. Eng. Appl. Sci.

Self Cite

View full text Add to dashboard Cite

show abstract

“…] is among useful approaches devoted to specify and verify the reactive system modeling. The application of the MDRA is illustrated in [5], [6], where MDRA models and checks the automated systems of production as in the mobile systems domain, and organizational systems. 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%

“…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

Self Cite

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

BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems

Haqiq

Bounabat

2018

Innovations in Smart Cities and Applications

View full text Add to dashboard Cite

Qualitative Verification of Multi-Agents Reactive Decisional System Using Business Process Modeling Notation

Cited by 10 publications

References 4 publications

A Development of AWSCPM Framework for Automation of Web Services Composition Processes

A Development of AWSCPM Framework for Automation of Web Services Composition Processes

UML Profile for Modeling Multi Decisional Reactive Agent System

BECAMEDA: A Customizable Method to Specify and Verify the Behavior of Multi-agent Systems

Contact Info

Product

Resources

About