AN EVENT‐BASED APPROACH FOR DECLARATIVE, INTEGRATED AND SELF‐HEALING WEB SERVICES COMPOSITION

Web services are defined to be the software systems that provide interoperable machine‐to‐machine interaction over a network. Individual services may need to be composed and the composition process design, verification and monitoring are thus active and widely studied research directions. However, the traditional approaches are both procedural (and rigid) and do not address the need of integrating these related dimensions using a unified formalism. In this paper, we propose an event‐oriented framework called DISC that is both declarative and serves as a unified framework to bridge the gap between the process design, verification and monitoring. It provides a flexible and highly expressive composition design that can accommodate various aspects such as data relationships and constraints, Web services dynamic binding, compliance regulations, security or temporal requirements etc. Furthermore, the DISC framework allows for instantiating and verifying the composition design and for monitoring the process while in execution.

[1]  Nawal Guermouche,et al.  Timed Model Checking Based Approach for Web Services Analysis , 2009, 2009 IEEE International Conference on Web Services.

[2]  Frank Leymann,et al.  Automatic Workflow Graph Refactoring and Completion , 2008, ICSOC.

[3]  Jun Li,et al.  Incorporating Security Requirements into Service Composition: From Modelling to Execution , 2009, ICSOC/ServiceWave.

[4]  Raman Kazhamiakin,et al.  Representation, Verification, and Computation of Timed Properties in Web , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[5]  Maria Beatriz Felgar de Toledo,et al.  Ontology-Based Security Policies for Supporting the Management of Web Service Business Processes , 2008, 2008 IEEE International Conference on Semantic Computing.

[6]  Alessandra Russo,et al.  Using event calculus to formalise policy specification and analysis , 2003, Proceedings POLICY 2003. IEEE 4th International Workshop on Policies for Distributed Systems and Networks.

[7]  Debanjan Ghosh,et al.  Self-healing systems - survey and synthesis , 2007, Decis. Support Syst..

[8]  Claude Godart,et al.  Web Services Composition Verification Using Satisfiability Solving , 2012, 2012 IEEE 19th International Conference on Web Services.

[9]  Ehtesham Zahoor.  Gouvernance de service : aspects sécurité et données. , 2011 .

[10]  Remco M. Dijkman,et al.  Methodological support for service-oriented design with ISDL , 2004, ICSOC '04.

[11]  Gail E. Kaiser,et al.  Multi-perspective evaluation of self-healing systems using simple probabilistic models , 2009, ICAC '09.

[12]  Schahram Dustdar,et al.  Event Driven Monitoring for Service Composition Infrastructures , 2010, WISE.

[13]  Marek J. Sergot,et al.  A logic-based calculus of events , 1989, New Generation Computing.

[14]  Krys J. Kochut,et al.  A CP-nets-based design and verification framework for Web services composition , 2004 .

[15]  Bixin Li,et al.  Monitoring BPEL-Based Web Service Composition Using AOP , 2009, 2009 Eighth IEEE/ACIS International Conference on Computer and Information Science.

[16]  Catriel Beeri,et al.  BP-Mon: query-based monitoring of BPEL business processes , 2008, SGMD.

[17]  Wil M. P. van der Aalst,et al.  Workflow Exception Patterns , 2006, CAiSE.

[18]  Luciano Baresi,et al.  Dynamo + Astro: An Integrated Approach for BPEL Monitoring , 2009, 2009 IEEE International Conference on Web Services.

[19]  Stéphanie Chollet,et al.  Security Specification at Process Level , 2008, 2008 IEEE International Conference on Services Computing.

[20]  Maria Grazia Fugini,et al.  Exception Handling for Repair in Service-Based Processes , 2010, IEEE Transactions on Software Engineering.

[21]  Shiyong Lu,et al.  A model for abstract process specification, verification and composition , 2004, ICSOC '04.

[22]  Marco Pistore,et al.  Run-Time Monitoring of Instances and Classes of Web Service Compositions , 2006, 2006 IEEE International Conference on Web Services (ICWS'06).

[23]  Nawal Guermouche,et al.  Asynchronous Timed Web Service-Aware Choreography Analysis , 2009, CAiSE.

[24]  Mario Piattini,et al.  A BPMN Extension for the Modeling of Security Requirements in Business Processes , 2007, IEICE Trans. Inf. Syst..

[25]  Thomas Neubauer,et al.  Defining Secure Business Processes with Respect to Multiple Objectives , 2008, 2008 Third International Conference on Availability, Reliability and Security.

[26]  Fabio Casati,et al.  Fine-Grained Compatibility and Replaceability Analysis of Timed Web Service Protocols , 2007, ER.

[27]  Claude Godart,et al.  DISC: A Declarative Framework for Self-Healing Web Services Composition , 2010, 2010 IEEE International Conference on Web Services.

[28]  Remco M. Dijkman,et al.  Formal semantics and automated analysis of BPMN process models , 2007 .

[29]  Wil M. P. van der Aalst,et al.  A Declarative Approach for Flexible Business Processes Management , 2006, Business Process Management Workshops.

[30]  Danilo Ardagna,et al.  PAWS: A Framework for Executing Adaptive Web-Service Processes , 2007, IEEE Software.

[31]  Shixiong Zheng,et al.  Dynamic Weaving of Security Aspects in Service Composition , 2006, 2006 Second IEEE International Symposium on Service-Oriented System Engineering (SOSE'06).

[32]  Krys J. Kochut,et al.  A CP-nets-based design and verification framework for Web services composition , 2004, Proceedings. IEEE International Conference on Web Services, 2004..

[33]  Wil M. P. van der Aalst,et al.  DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.

[34]  Maximilian Röglinger,et al.  Verification of Web Service Compositions: An Operationalization of Correctness and a Requirements Framework for Service-oriented Modeling Techniques , 2009, Bus. Inf. Syst. Eng..

[35]  Claude Godart,et al.  DISC-SeT: Handling Temporal and Security Aspects in the Web Services Composition , 2010, 2010 Eighth IEEE European Conference on Web Services.

[36]  Luciano Baresi,et al.  Comprehensive Monitoring of BPEL Processes , 2010, IEEE Internet Computing.

[37]  Christoph Meinel,et al.  Security Requirements Specification in Service-Oriented Business Process Management , 2009, 2009 International Conference on Availability, Reliability and Security.

[38]  Nihan Kesim Cicekli,et al.  Formalizing Workflows Using the Event Calculus , 2000, DEXA.

[39]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[40]  François Charoy,et al.  Dynamic Authorisation Policies for Event-Based Task Delegation , 2010, CAiSE.