Coordination adaptative de Services a Base de contrats. (Adaptive service coordination based on contracts)

Cette these presente une approche pour l'adaptation d'une coordination de services a base de contrats d'adaptabilite. L'approche propose des operations d'adaptation dynamiques : la re-execution d'un appel d'une methode de service, la substitution de methodes de service et la substitution d'activites. Ces operations permettent de s'adapter aux exceptions lors de l'execution d'une coordination et de continuer son execution avec succes. La principale contribution de cette these est le modele de coordination adaptative de services a base de contrats d'adaptabilite. Pour l'adaptation d'une coordination, ce modele fournit : - les concepts de classification de methodes qui permettent aux concepteurs de domaines d'application de definir les methodes equivalentes et les mappings entre leurs entrees et sorties pour resoudre ses incompatibilites et, - la notion de contrat d'adaptabilite qui permettent aux concepteurs d'application de specifier explicitement les reactions reagissant aux exceptions specifiees en garantissant la QoS exigee.

[1]  Dongsoo Han,et al.  Exception Specification and Handling in Workflow Systems , 2003, APWeb.

[2]  James A. Hendler,et al.  Automatic Web Services Composition Using SHOP2 , 2003, WWW.

[3]  C. Collet,et al.  Building information systems by orchestrating open services , 2005, 9th International Database Engineering & Application Symposium (IDEAS'05).

[4]  Christine Collet,et al.  Construire des applications fiables à base de services mobiles , 2008, UbiMob.

[5]  Ahmed K. Elmagarmid,et al.  Composing Web services on the Semantic Web , 2003, The VLDB Journal.

[6]  Vladimir Tosic,et al.  Web Service Offerings Infrastructure (WSOI) - a management infrastructure for XML Web services , 2004, 2004 IEEE/IFIP Network Operations and Management Symposium (IEEE Cat. No.04CH37507).

[7]  Dickson K. W. Chiu,et al.  ADOME-WFMS: Towards Cooperative Handling of Workflow Exceptions , 2000, Advances in Exception Handling Techniques.

[8]  Fabio Casati,et al.  eFlow: a platform for developing and managing composite e-services , 2000, Proceedings Academia/Industry Working Conference on Research Challenges '00. Next Generation Enterprises: Virtual Organizations and Mobile/Pervasive Technologies. AIWORC'00. (Cat. No.PR00628).

[9]  Antonio Jorge Silva Cardoso,et al.  Quality of service and semantic composition of workflows , 2002 .

[10]  Bertrand Meyer,et al.  Applying 'design by contract' , 1992, Computer.

[11]  A. Bucchiarone,et al.  A Survey on Services Composition Languages and Models , 2006 .

[12]  Quan Z. Sheng,et al.  The Self-Serv Environment for Web Services Composition , 2003, IEEE Internet Comput..

[13]  Vladimir Tosic,et al.  Web Service Offerings Language ( WSOL ) and Web Service Composition Management ( WSCM ) , 2002 .

[14]  Enn Tyugu,et al.  Strategies of Structural Synthesis of Programs and its Extensions , 2001, Comput. Artif. Intell..

[15]  L. Stein,et al.  OWL Web Ontology Language - Reference , 2004 .

[16]  Jeffrey G. Gray,et al.  Grid-Flow: a Grid-enabled scientific workflow system with a Petri-net-based interface: Research Articles , 2006 .

[17]  Gustavo Alonso,et al.  Web Services: Concepts, Architectures and Applications , 2009 .

[18]  Matthias Klusch,et al.  Semantic Web Service Composition Planning with OWLS-Xplan , 2005, AAAI Fall Symposium: Agents and the Semantic Web.

[19]  Quan Z. Sheng,et al.  Quality driven web services composition , 2003, WWW '03.

[20]  Christine Collet,et al.  Pyros - an environment for building and orchestrating open services , 2005, 2005 IEEE International Conference on Services Computing (SCC'05) Vol-1.

[21]  Javier-Alfonso Espinosa-Oviedo,et al.  Building reliable mobile services based applications , 2008, 2008 IEEE 24th International Conference on Data Engineering Workshop.

[22]  Koustuv Dasgupta,et al.  Adaptation inWeb Service Composition and Execution , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[23]  ROBIN MILNER,et al.  Edinburgh Research Explorer A Calculus of Mobile Processes, I , 2003 .

[24]  Anne H. H. Ngu,et al.  On Demand Business-to-Business Integration , 2001, CoopIS.

[25]  Wil M. P. van der Aalst,et al.  Adaptive Workflow-On the Interplay between Flexibility and Support , 1999, ICEIS.

[26]  Herman Lam,et al.  DynaFlow: a dynamic inter-organisational workflow management system , 2006, Int. J. Bus. Process. Integr. Manag..

[27]  Tao Yu,et al.  A broker-based framework for QoS-aware Web service composition , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[28]  Richard J. Waldinger Web Agents Cooperating Deductively , 2000, FAABS.

[29]  Jerry R. Hobbs,et al.  DAML-S: Semantic Markup for Web Services , 2001, SWWS.

[30]  Andreas Hoheisel User tools and languages for graph-based Grid workflows: Research Articles , 2006 .

[31]  M. Beek,et al.  A Survey on Service Composition Approaches : From Industrial Standards to Formal Methods ? , 2006 .

[32]  Omar Boucelma,et al.  Personnalisation de services Web: approche fondée sur la composition , 2006, CORIA.

[33]  Anne H. H. Ngu,et al.  QoS-aware middleware for Web services composition , 2004, IEEE Transactions on Software Engineering.

[34]  Anca Muscholl,et al.  A Lower Bound on Web Services Composition , 2008, Log. Methods Comput. Sci..

[35]  Xiaomeng Su,et al.  A Survey of Automated Web Service Composition Methods , 2004, SWSWPC.

[36]  R. G. G. Cattell,et al.  Recent books , 2000, IEEE Spectrum.

[37]  Wil M. P. van der Aalst Business Process Execution Language , 2009, Encyclopedia of Database Systems.

[38]  Ian M. Holland,et al.  Contracts: specifying behavioral compositions in object-oriented systems , 1990, OOPSLA/ECOOP '90.

[39]  Kunal Verma,et al.  Constraint driven Web service composition in METEOR-S , 2004, IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004.

[40]  Massimo Mecella,et al.  When are Two Web Services Compatible? , 2004, TES.

[41]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[42]  Adam Arkin Business process Modeling Language , 2002 .

[43]  Amit P. Sheth,et al.  Modeling Quality of Service for Workflows and Web Service Processes , 2002 .

[44]  Quan Z. Sheng,et al.  SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-to-Peer Environment , 2002, VLDB.