Decentralisation des procédés métiers : qualité de services et confidentialité

Les travaux de recherche de cette these portent sur la modelisation et la gestion des procedes metiers orientes services. Le travail s’interesse aux procedes d’un point de vue de gestion decentralisee ou les services composes peuvent etablir des interactions de pair a-pair. Dans un premier temps, nous presentons une methode qui permet de deriver des procedes cooperants a partir d’une specification centralisee. Il s’agit des algorithmes qui analysent un procede centralise pour le traduire en procedes cooperants, en transformant le flux de controle et le flux de donnees du procede d’origine en interactions equivalentes de type pair-a-pair. Un des apports de la decentralisation, qui repond a une nouvelle exigence des procedes orientes vers les services, est l’etablissement des interactions de pair-a-pair qui respectent le flux d’information des services composes. La deuxieme partie du travail est la proposition d’un langage permettant d’exprimer des politiques de flux d’information. Par la suite, nous etudions l’integration des politiques du flux d’information dans les procedes cooperants. Le choix d’un service entrant dans une composition peut etre effectue dynamiquement, au moment de l’execution du procede, de sorte que l’ensemble des services composes n’est pas connu a priori. Une comprehension de la strategie de choix dynamique des services et leur integration dans le cadre des contributions proposees dans son ensemble est pour cela une etape centrale. Pour ce faire, une methodologie qui automatise le processus de deploiement dynamique des procedes cooperants est proposee. Le travail presente une architecture logicielle qui valide les concepts proposes.

[1]  Sanjiva Weerawarana,et al.  Unraveling the Web services web: an introduction to SOAP, WSDL, and UDDI , 2002, IEEE Internet Computing.

[2]  Petia Wohed,et al.  A Pattern and Dependency Based Approach to the Design of Process Models , 2004, ER.

[3]  François Charoy,et al.  Multiple Instantiation in a Dynamic Workflow Environment , 2004, CAiSE.

[4]  Frank Leymann,et al.  E Role-based Decomposition of Business Processes using BPEL , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[5]  Bengt Carlsson,et al.  The Rise and Fall of Napster - An Evolutionary Approach , 2001, Active Media Technology.

[6]  Gerhard Weikum,et al.  From Centralized Workflow Specification to Distributed Workflow Execution , 1998, Journal of Intelligent Information Systems.

[7]  Claude Godart,et al.  Enhancing Secured Service Interoperability with Decentralized Orchestration , 2007, 2007 IEEE 23rd International Conference on Data Engineering Workshop.

[8]  Claude Godart,et al.  Towards decentralized service orchestrations , 2007, SAC '07.

[9]  Gustavo Alonso,et al.  Exception Handling in Workflow Management Systems , 2000, IEEE Trans. Software Eng..

[10]  Divesh Srivastava,et al.  Intensional associations between data and metadata , 2007, SIGMOD '07.

[11]  Edsger W. Dijkstra,et al.  A note on two problems in connexion with graphs , 1959, Numerische Mathematik.

[12]  Leon J. Osterweil,et al.  Software processes are software too , 1987, ISPW.

[13]  Joann J. Ordille,et al.  Data integration: the teenage years , 2006, VLDB.

[14]  Maria E. Orlowska,et al.  On Business Process Model Transformations , 2000, ER.

[15]  Ustun Yildiz Contrôle du flux d'information dans une composition de services. Conception, implémentation, leçons apprises , 2008, Ingénierie des Systèmes d Inf..

[16]  Peter Dadam,et al.  On the Modeling of Correct Service Flows with BPEL4WS , 2004, EMISA.

[17]  Xiang Fu,et al.  Synchronizability of conversations among Web services , 2005, IEEE Transactions on Software Engineering.

[18]  Jarir K. Chaar,et al.  RainMan: A Workflow System for the Internet , 1997, USENIX Symposium on Internet Technologies and Systems.

[19]  Vivek Sarkar,et al.  Decentralizing execution of composite web services , 2004, OOPSLA.

[20]  Elisa Bertino,et al.  GEO-RBAC: a spatially aware RBAC , 2005, SACMAT '05.

[21]  Claude Godart,et al.  Dynamic Decentralized Service Orchestrations , 2007, WEBIST.

[22]  Ernst-Rüdiger Olderog,et al.  Verification of Sequential and Concurrent Programs , 1997, Graduate Texts in Computer Science.

[23]  Claude Godart,et al.  Synchronization Solutions for Decentralized Service Orchestrations , 2007, Second International Conference on Internet and Web Applications and Services (ICIW'07).

[24]  Elisa Bertino,et al.  An analysis of expressiveness and design issues for the generalized temporal role-based access control model , 2005, IEEE Transactions on Dependable and Secure Computing.

[25]  Francisco Curbera,et al.  Web services description language (wsdl) version 1. 2 , 2001 .

[26]  Thomas R. Gross,et al.  Decoupling synchronization and data transfer in message passing systems of parallel computers , 1995, ICS '95.

[27]  Andrea Omicini,et al.  Coordination And Collaboration Activities In Cooperative Information Systems , 2004, Int. J. Cooperative Inf. Syst..

[28]  Marek Rusinkiewicz,et al.  From Transactions to Transactional Workflows: Technology and Applications , 1994, ADBIS.

[29]  Gustavo Alonso,et al.  Distributed Processing over Stand-alone Systems and Applications , 1997, VLDB.

[30]  Wil M. P. van der Aalst,et al.  Beyond workflow management: product-driven case handling , 2001, GROUP.

[31]  E. Allen Emerson,et al.  Temporal and Modal Logic , 1991, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics.

[32]  D. Box,et al.  Simple object access protocol (SOAP) 1.1 , 2000 .

[33]  Cesare Pautasso,et al.  Flexible Binding for Reusable Composition of Web Services , 2005, SC@ETAPS.

[34]  Sunil Chandra,et al.  Orchestrating composite Web services under data flow constraints , 2005, IEEE International Conference on Web Services (ICWS'05).

[35]  François Charoy,et al.  Using Isolation Spheres for Cooperative Processes Correctness , 2006, 2006 10th International Conference on Computer Supported Cooperative Work in Design.

[36]  Xiang Fu,et al.  Design for verification for asynchronously communicating Web services , 2005, WWW '05.

[37]  Fabio Casati,et al.  Representing, analysing and managing Web service protocols , 2006, Data Knowl. Eng..

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

[39]  Opher Etzion,et al.  Amit - the situation manager , 2003, The VLDB Journal.

[40]  Eric Andonoff,et al.  Specifying Web Workflow Services for Finding Partners in the Context of Loose Inter-organizational Workflow , 2005, Business Process Management.

[41]  Gerhard Weikum,et al.  A Formal Foundation for Distributed Workflow Execution Based on State Charts , 1997, ICDT.

[42]  Djamal Benslimane Les services Web , 2005 .

[43]  Xiang Fu,et al.  Analyzing conversations of Web services , 2006, IEEE Internet Computing.

[44]  Marlon Dumas,et al.  Translating Standard Process Models to BPEL , 2006, CAiSE.

[45]  Frank Leymann,et al.  Production Workflow: Concepts and Techniques , 1999 .

[46]  Amit P. Sheth,et al.  Specification and Execution of Transactional Workflows , 1995, Modern Database Systems.

[47]  Yun Yang,et al.  An Organisational Perspective on Collaborative Business Processes , 2005, Business Process Management.

[48]  S. Krishnan,et al.  2 XLANG : Web Services for Business Process Design , 2002 .

[49]  Elisa Bertino,et al.  Access control enforcement for conversation-based web services , 2006, WWW '06.

[50]  Elisa Bertino,et al.  Trust-/spl Xscr/;: a peer-to-peer framework for trust establishment , 2004, IEEE Transactions on Knowledge and Data Engineering.

[51]  Claude Godart,et al.  Information Flow Control with Decentralized Service Compositions , 2007, IEEE International Conference on Web Services (ICWS 2007).

[52]  James D. Herbsleb,et al.  The geography of coordination: dealing with distance in R&D work , 1999, GROUP.

[53]  Bill Karakostas,et al.  A peer to peer (P2P) architecture for dynamic workflow management , 2004, Inf. Softw. Technol..

[54]  Claude Godart,et al.  Centralized versus Decentralized Conversation-based Orchestrations , 2007, The 9th IEEE International Conference on E-Commerce Technology and The 4th IEEE International Conference on Enterprise Computing, E-Commerce and E-Services (CEC-EEE 2007).

[55]  Gustavo Alonso,et al.  Concurrency control and recovery in transactional process management , 1999, PODS '99.

[56]  W.M.P. van der Aalst,et al.  Interorganizational workflows: An approach based on message sequence charts and petri nets , 1999 .

[57]  John Leslie King,et al.  Centralized versus decentralized computing: organizational considerations and management options , 1983, CSUR.

[58]  John C. Grundy,et al.  Serendipity: Integrated Environment Support for Process Modelling, Enactment and Work Coordination , 2004, Automated Software Engineering.

[59]  Olivera Marjanovic,et al.  Dynamic verification of temporal constraints in production workflows , 2000, Proceedings 11th Australasian Database Conference. ADC 2000 (Cat. No.PR00528).

[60]  Annapaola Marconi,et al.  Implicit vs. Explicit Data-Flow Requirements in Web Service Composition Goals , 2006, ICSOC.

[61]  Fabio Casati,et al.  Web services interoperability specifications , 2006, Computer.

[62]  Mathias Weske,et al.  The P2P Approach to Interorganizational Workflows , 2001, International Conference on Advanced Information Systems Engineering.

[63]  Raman Kazhamiakin,et al.  Analysis of communication models in web service compositions , 2006, WWW '06.

[64]  Philippe Gauron Interconnexion et routage efficaces pour des procédures de recherche décentralisées dans les systèmes pair-à-pair. (Efficient interconnection and routing for decentralized searching in peer-to-peer systems) , 2006 .

[65]  Wolfgang Reisig,et al.  Inter-operability of Workflow Applications: Local Criteria for Global Soundness , 2000, Business Process Management.

[66]  Manfred Reichert,et al.  Adeptflex—Supporting Dynamic Changes of Workflows Without Losing Control , 1998, Journal of Intelligent Information Systems.

[67]  Zhaohui Wu,et al.  Exploring the Flexible Workflow Technology to Automate Service Composition , 2006, ASWC.

[68]  Joon S. Park,et al.  Role-based access control for collaborative enterprise in peer-to-peer computing environments , 2003, SACMAT '03.

[69]  Patrick Valduriez,et al.  Principles of Distributed Database Systems , 1990 .

[70]  Beng Chin Ooi,et al.  Privacy and ownership preserving of outsourced medical data , 2005, 21st International Conference on Data Engineering (ICDE'05).

[71]  Leon J. Osterweil,et al.  Software Processes Are Software Too, Revisited: An Invited Talk on the Most Influential Paper of ICSE 9 , 1997, Proceedings of the (19th) International Conference on Software Engineering.

[72]  Heiko Schuldt,et al.  Scalable peer-to-peer process management - the OSIRIS approach , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[73]  Shazia Wasim Sadiq,et al.  Model Driven Distribution of Collaborative Business Processes , 2006, 2006 IEEE International Conference on Services Computing (SCC'06).

[74]  Gustavo Alonso,et al.  Exotica/FMDC: A workflow management system for mobile and disconnected clients , 2004, Distributed and Parallel Databases.

[75]  Anne H. H. Ngu,et al.  Declarative composition and peer-to-peer provisioning of dynamic Web services , 2002, Proceedings 18th International Conference on Data Engineering.

[76]  Wil M. P. van der Aalst,et al.  The Application of Petri Nets to Workflow Management , 1998, J. Circuits Syst. Comput..

[77]  Andreas Wombacher Decentralized Consistency Checking in Cross-organizationalWorkflows , 2006, The 8th IEEE International Conference on E-Commerce Technology and The 3rd IEEE International Conference on Enterprise Computing, E-Commerce, and E-Services (CEC/EEE'06).

[78]  Audun Jøsang,et al.  Simplification and analysis of transitive trust networks , 2006, Web Intell. Agent Syst..

[79]  Rüdiger Schollmeier,et al.  A definition of peer-to-peer networking for the classification of peer-to-peer architectures and applications , 2001, Proceedings First International Conference on Peer-to-Peer Computing.

[80]  Sunil Chandra,et al.  Decentralized orchestration of composite web services , 2004, WWW Alt. '04.

[81]  Vijayalakshmi Atluri,et al.  A Chinese wall security model for decentralized workflow systems , 2001, CCS '01.

[82]  Diomidis Spinellis,et al.  A survey of peer-to-peer content distribution technologies , 2004, CSUR.

[83]  Chengfei Liu,et al.  Implementing a Flexible Compensation Mechanism for Business Processes in Web Service Environment , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[84]  Athena Vakali,et al.  LDAP: Framework, Practices, and Trends , 2004, IEEE Internet Comput..

[85]  Diego Calvanese,et al.  Automatic Composition of Transition-based Semantic Web Services with Messaging , 2005, VLDB.

[86]  Athman Bouguettaya,et al.  Evaluating Rater Credibility for Reputation Assessment of Web Services , 2007, WISE.

[87]  Mangala Gowri Nanda,et al.  Synchronization analysis for decentralizing composite Web services , 2003, SAC '03.

[88]  Annapaola Marconi,et al.  Automated Composition of Web Services by Planning at the Knowledge Level , 2005, IJCAI.

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

[90]  Marlon Dumas,et al.  Service Interaction Patterns , 2005, Business Process Management.

[91]  Stefanie Rinderle-Ma,et al.  Integrating Process Learning and Process Evolution - A Semantics Based Approach , 2005, Business Process Management.

[92]  Bill Karakostas,et al.  A Peer to Peer (P2P) Dynamic Workflow Management System Based on Web Services , 2003, ICWS.

[93]  Peter A. Gloor,et al.  DartFlow: A Workflow Management System on the Web using Transportable Agents , 1996 .

[94]  Peter Dadam,et al.  Integration and verification of semantic constraints in adaptive process management systems , 2008, Data Knowl. Eng..

[95]  Wil M. P. van der Aalst,et al.  Analysis of Web Services Composition Languages: The Case of BPEL4WS , 2003, ER.

[96]  Gail E. Kaiser,et al.  Collaborative Work: Collaborative Technologies for Evolving Software Systems , 1998, IEEE Internet Comput..

[97]  Qiming Chen,et al.  Inter-enterprise collaborative business process management , 2001, Proceedings 17th International Conference on Data Engineering.

[98]  Elisa Bertino Purpose based access control for privacy protection , 2004, BDA.

[99]  Maria E. Orlowska,et al.  Analyzing Process Models Using Graph Reduction Techniques , 2000, Inf. Syst..

[100]  Wil M. P. van der Aalst,et al.  Advanced Workflow Patterns , 2000, CoopIS.

[101]  Gerhard Weikum,et al.  The MENTOR workbench for enterprise-wide workflow management , 1997, SIGMOD '97.

[102]  Claude Godart COO: A Transaction Model to Support COOperating Software Developers COOrdination , 1993, ESEC.

[103]  Amit P. Sheth,et al.  Scalable and Dynamic Work Coordination and Collaboration Systems , 1995 .

[104]  Christoph Bussler,et al.  On Structured Workflow Modelling , 2000, CAiSE.

[105]  Frank Leymann,et al.  Exception Handling in the BPEL4WS Language , 2003, Business Process Management.

[106]  Raman Kazhamiakin,et al.  Choreography Conformance Analysis: Asynchronous Communications and Information Alignment , 2006, WS-FM.

[107]  Akhil Kumar,et al.  An Analysis and Taxonomy of Unstructured Workflows , 2005, Business Process Management.

[108]  Elisa Bertino,et al.  The specification and enforcement of authorization constraints in workflow management systems , 1999, TSEC.

[109]  Mihhail Matskin,et al.  Composition of Semantic Web services using Linear Logic theorem proving , 2006, Inf. Syst..

[110]  Calton Pu,et al.  A dynamic two-phase commit protocol for self-adapting services , 2004, IEEE International Conference onServices Computing, 2004. (SCC 2004). Proceedings. 2004.

[111]  Maria E. Orlowska,et al.  Applying Graph Reduction Techniques for Identifying Structural Conflicts in Process Models , 1999, CAiSE.

[112]  Davide Sangiorgi,et al.  Communicating and Mobile Systems: the π-calculus, , 2000 .

[113]  Nesime Tatbul,et al.  Design and implementation of a distributed workflow enactment service , 1997, Proceedings of CoopIS 97: 2nd IFCIS Conference on Cooperative Information Systems.

[114]  Vijayalakshmi Atluri,et al.  Supporting conditional delegation in secure workflow management systems , 2005, SACMAT '05.

[115]  Gilles Kahn,et al.  The Semantics of a Simple Language for Parallel Programming , 1974, IFIP Congress.

[116]  Douglas Thain,et al.  Distributed computing in practice: the Condor experience , 2005, Concurr. Pract. Exp..

[117]  Andrew C. Myers,et al.  A decentralized model for information flow control , 1997, SOSP.

[118]  Guillaume Doyen,et al.  Supervision des réseaux et services pair à pair. (Management of peer-to-peer networks and services) , 2005 .

[119]  Luciano Baresi,et al.  Distributed BPEL Processes , 2007, SEKE.

[120]  Hareton K. N. Leung,et al.  Comments on Program Slicing , 1987, IEEE Trans. Software Eng..

[121]  Clemens A. Szyperski,et al.  Web services engineering: promises and challenges , 2002, Proceedings of the 24th International Conference on Software Engineering. ICSE 2002.

[122]  Wil M. P. van der Aalst,et al.  Process mining in CSCW systems , 2005, CSCWD.