Modelling the Handover Function of Global System for Mobile Communication

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

doi:10.2316/journal.205.2005.2.205-4136

Cited by 12 publications

(5 citation statements)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It is called BPMN-MARDS profile. This profile is designed to improve the level of expressiveness of models in complex systems such as automated production systems, mobile systems [10] and the organization system [11]. This profile is customized for the domain of web services composition by adding to the models properties specific to the area of web services composition in order to facilitate their understanding as well as their transformation into code such as BPEL [12].…”

Section: Phase Of Modelingmentioning

confidence: 99%

Web Services Composition in E-Learning platform

Halim¹

2020

IJETER

View full text Add to dashboard Cite

Since the emergence of Service Oriented Architecture and its implementation with the Web services technology, combining several Web services to response to a complex request presented a hard challenge. This is an area that has attracted the interest of many research organizations and manufactories. This paper firstly describes the developed approach of web services composition based on Model Driven Approach, and using different languages and systems, like Multi-Agent Reactive Decisional system for the modeling task and Business Process Execution language for the implementation task. Secondly, the paper seeks to presents the application of this approach in the online learning domain. In brief, this document proposes the design and implementation of an e-learning platform based on Web services composition.

show abstract

Section: Phase Of Modelingmentioning

confidence: 99%

Web Services Composition in E-Learning platform

Halim¹

2020

IJETER

View full text Add to dashboard Cite

show abstract

“…For a MARDSj, it can be either a simple DRA or a MARDS built recursively. The MARDS model has been applied in the modeling and verification of automated production systems [11], the field of mobile systems [12], as well as in the modeling and implementation of composition of web services [13] [14].…”

Section: Multi-agent Systemsmentioning

confidence: 99%

Semantic Web Services Discovery Approach Based on MARDS

Halim¹

2020

IJATCSE

View full text Add to dashboard Cite

Web services are a way for businesses to offer their services over the Web. The concept of semantic Web services, is the fruit of the convergence of Web services field with the Semantic Web, indeed its main objective is to make web services more accessible to the machine by automating the various tasks of their life cycle such as discovery, selection, invocation and composition. In this work, we study the problem of semantic discovery of services by exposing a state of the art on the discovery approaches achieved, and proposing a method that is based on Multi-Agent Reactive Decisional Systems (MARDS) and ontologies. The use of a multi-agent system ensures great flexibility in our proposed approach.

show abstract

“…It is called BPMN-MARDS profile. This profile is designed to improve the level of expressiveness of models in complex systems such as automated production systems, mobile systems [11] and the organization system [12]. This profile is customized for the domain of web services composition by adding to the models properties specific to the area of web services composition in order to facilitate their understanding as well as their transformation into code such as BPEL.…”

Section: Phase Of Modelingmentioning

confidence: 99%

Modeling and Formal Verification of Web Services Composition Using CADP

Adadi¹

2019

IJATCSE

View full text Add to dashboard Cite

A growing number of companies are using web services to make their expertise and data available through the network. The current problem is the integration of these services with the aim of implementing business-to-business (B2B) collaboration. This task of collaboration is called the composition of web services. The main objective of this research work is proposing a new approach of modeling and verifying web services composition. This approach allows a clear and structured modeling and easy verification regardless of the number of services to be composed and the degree of complexity of composition. Concerning the contribution, we firstly propose a modeling of the composed system based on the multi agent systems and precisely the Multi-agent reactive decisional system (MARDS), and using the BPM (Business Process Management) standards in particular the BPMN notation. Secondly, we seek to verify this modeling to prove its correctness before implementing it. For verification, we propose a transformation of the BPMN model to a formal LOTOS specification, which has the advantage of being supported by formal verification tools such as the CADP toolkit, which allows to apply the behavioral properties and validate the system of Web services composition.

show abstract

Modelling the Handover Function of Global System for Mobile Communication

Cited by 12 publications

References 3 publications

Web Services Composition in E-Learning platform

Web Services Composition in E-Learning platform

Semantic Web Services Discovery Approach Based on MARDS

Modeling and Formal Verification of Web Services Composition Using CADP

Contact Info

Product

Resources

About