Orchestration d'agents mobiles en communauté

Abstract : This thesis aims to define a software platform for the interpretation of orchestrations on a cluster of ESBs. We propose an approach to provide high availability and transparency to users. This approach is model driven, where each modeling level is reached after enrichment of our architecture with additional information. Each enrichment is defined as a transformation between two adjacent levels. Our first level (CIM) is written as formal specifications in polyadic higher-order π-calculus that provide a formal definition of the software architecture that is used for the interpretation of orchestration. Any distributed system built on this architecture is able to interpret different types of orchestrations in parallel. Our specifications are based in traditional software model bus, it describes a highly scalable architecture that adapts to the count of orchestrations to be treated and the count of customers who want to access these orchestrations. Thus, location transparency, transparency of scale or the access transparency are enhanced through the specification of π-calculus terms. Our second level (PIM) allows us to define a language that we call π-DSL, this is a language dedicated to the orchestrations. It introduces the concept of migration of orchestrations system build on orchestration based on EIP composition defined by Gregor Hohpe. At this level, we define this language dedicated to the domain of orchestrations and helps build orchestrations in a simple and intuitive way. Our third level (PSM) enables us to enrich the previous level combining formal concepts to practical implementations. At this level, we introduce frameworks such as OSGi containers, the integration of Apache Camel Service or the Apache Archiva tool as repository of executable code. These frameworks are enhanced as part of our transformation, so they are compatible to the specifications laid down in the upper levels. The fourth and the last level (ISM) provides the executions context of the proposed architecture. It is obtained by adding information about each tool. This level represents the culmination of the MDA that we adopt in the context of our approach. We turned our formal specifications defined in higher order π-calculus to a network of timed automata. The definition of the complete transformation of an EIP based specification is another contribution of this thesis. Indeed, in order to automate our approach, we focused on the specification of the platform but also in the interpretation tools. This leads us to realize the transformation of our π-calculus specification in order to move towards an implementation. We are interested in two types of architecture related to our properties : Location transparency; Scale transparency. These properties are established using our network of timed automata and the use of a globally recognized proof using UppAal model-checking tool. Thus, we validate the feasibility of proofing the properties related to the mobility of code via a network of automata. As part of our implementation, we have adapted defined frameworks in our ISM in order to respect the formal modeling defined in the first part of this thesis. We also offer tools for editing, processing and the interpretation of orchestration in a distributed heterogeneous environment. These tools cover the entire life cycle of the proposed architecture. Our interpretation framework provides transparencies described in our models plus new properties transparencies from our implementation choices. To measure the cost of the migration of orchestrations during the evaluation of our framework, we use SoapUI as a measurement tool that interfaces with orchestrations by a web services interface. To minimize the effects of disturbances on the source code of different orchestrations, we have developed our own measurement tools
Document type :
Theses
Complete list of metadatas

https://tel.archives-ouvertes.fr/tel-01415666
Contributor : Abes Star <>
Submitted on : Tuesday, December 13, 2016 - 2:17:06 PM
Last modification on : Friday, October 4, 2019 - 1:12:55 AM
Long-term archiving on : Tuesday, March 14, 2017 - 1:11:32 PM

File

TH2014PEST1186.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01415666, version 1

Collections

Citation

Charif Mahmoudi. Orchestration d'agents mobiles en communauté. Traitement du signal et de l'image [eess.SP]. Université Paris-Est, 2014. Français. ⟨NNT : 2014PEST1186⟩. ⟨tel-01415666⟩

Share

Metrics

Record views

182

Files downloads

288