Behavioral compositions in service-oriented architecture

par Sébastien Mosser

Thèse de doctorat en Informatique

Sous la direction de Mireille Blay-Fornarino et de Michel Riveill.

Soutenue en 2010

à Nice .

  • Titre traduit

    Compositions comportementales dans les architectures orientées services


  • Résumé

    Les Architectures Orientées Services permettent la définition d’applications complexes par assemblage de services existants, par exemple sous la forme d’«orchestrations» implémentant des processus métiers. La complexité de ces assemblages impose l’utilisation de techniques telle que la Séparation des Préoccupations pour en maitriser la difficulté. Dans cette thèse, nous présentons ADORE, un métamodèle d’activité permettant l’évolution des orchestrations. Il permet d’exprimer dans le même formalisme des “orchestrations” et des “fragments d’orchestrations���. Nous proposons alors différents algorithmes de compositions permettant l’intégration automatique de ces fragments dans des processus existants. Ces algorithmes définissent des propriétés de compositions (e. G. , préservation des relations d’ordre), et assurent leur respect dans les processus composés. Ils assurent que les résultats de composition obtenus ne dépendent pas de l’ordre d’application. ADORE permet la définition de règles de détection d’interférences, sous la forme de prédicats. Le logiciel développé propose ainsi un support, en identifiant les interférences apparaissant lors des compositions. Nous illustrons cette contribution au travers de 2 études de cas: (i) JSEDUITE, une application de diffusion d’information utilisée en production et (ii) CCCMS, une application de gestion de crise implémentée dans le cadre d’une réponse à une étude de cas commune. Pour conclure, nous mettons en perspectives de récentes collaborations visant l’intégration d’ADORE au sein d’un processus de développement logiciel complet, allant des l’ingénierie des besoins à la visualisation efficace des processus composés.


  • Résumé

    The Service Oriented Architecture (SOA) paradigm supports the assembly of atomic services to create applications that implement complex business processes. Since the design of a complete process can be very complex, composition mechanisms inspired by the Separation of Concerns paradigm (e. G. , features, aspects) are needed to support the definition of large systems by composing smaller artifacts into a complex one. In this thesis, we propose ADORE, “an Activity meta– moDel supOrting oRchestration Evolution” to address this issue in the SOA context. The ADORE meta-model allows process designers to express in the same formalism business processes and fragment of processes. Such fragments define additional activities that aim to be integrated into others process. They can be composed into several processes and at different location through the use of algorithms which tame the complexity of large process design. Using these algorithms ensure properties in the final processes such as guard and activity order preservation. The underlying logical foundations of ADORE allow to define interference detection rules as logical predicate, such as consistency properties on ADORE models. Consequently, the ADORE framework supports process designers while designing large process, managing the detection of interference among fragments and ensuring that the composed processes are consistent and do not depend on the order of the composition. This work is illustrated in this document according to two case study : i) JSEDUITE, an information broadcasting system daily used in several academic institutions and (ii) the CCCMS, a common case study to compare Aspect Oriented Modeling approaches. Ac- cording to several collaboration with others research teams in various domain (i. E. , requirement engineering, visualization and real–time systems), we expose as perspectives the integration of ADORE into a complete software development tool chain.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 1 vol. (xxii-242 p.)
  • Annexes : Bibliogr. p. 227-241. Résumés en français et en anglais

Où se trouve cette thèse ?

  • Bibliothèque : Université Nice Sophia Antipolis. Service commun de la documentation. Section Sciences.
  • Non disponible pour le PEB
  • Cote : 10NICE4033
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.