Modelling Collaborative Services for Business and QoS Compliance

In recent years, we witnessed a range of innovations in the ¡®service' related technologies, such as Software as a Service, Platform as a Service and Infrastructure as a Service. Along with the Service Oriented Architecture, companies can wrap their technological product as a service, to collaborate with others. Facing the ever-escalating global competition, such collaboration is crucial. The viability of this paradigm highly depends on the compliance and therefore the trustworthiness of all collaborators. However, it is challenging to achieve trustworthiness in such a dynamic cross-domain environment, as each participator may deceit for individual benefits. As a solution, we have proposed to enforce strong accountability to enhance the trustworthiness. With this accountability, incompliance can always be determined in a provable and undeniable way. In this paper, we extend our work by proposing a novel modeling of the collaborative business process. Based on this modeling, we thoroughly analyze the evidence and proving procedure needed for different types of compliance, and evaluate the extent to which those compliance can be indeed proved. We have implemented a demonstrative system to show its effectiveness in real practice.

[1]  John Zic,et al.  Accountability as a Service for the Cloud , 2010, 2010 IEEE International Conference on Services Computing.

[2]  John Zic,et al.  A Contract-Based Accountability Service Model , 2009, 2009 IEEE International Conference on Web Services.

[3]  Tamas Abraham,et al.  Event sequence mining to develop profiles for computer forensic investigation purposes , 2006, ACSW.

[4]  Jerry den Hartog,et al.  An audit logic for accountability , 2005, Sixth IEEE International Workshop on Policies for Distributed Systems and Networks (POLICY'05).

[5]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[6]  Elisa Bertino,et al.  End-to-end accountability in grid computing systems for coalition information sharing , 2008, CSIIRW '08.

[7]  Luciano Baresi,et al.  Smart monitors for composed services , 2004, ICSOC '04.

[8]  Schahram Dustdar,et al.  Non-intrusive monitoring and service adaptation for WS-BPEL , 2008, WWW.

[9]  Jeffrey S. Chase,et al.  The role of accountability in dependable distributed systems , 2005 .

[10]  Fabio Casati,et al.  Business Compliance Governance in Service-Oriented Architectures , 2009, 2009 International Conference on Advanced Information Networking and Applications.

[11]  Andreas Haeberlen,et al.  The Case for Byzantine Fault Detection , 2006, HotDep.

[12]  Jeffrey S. Chase,et al.  Trust but verify: accountability for network services , 2004, EW 11.

[13]  Barruquer Moner.  IX. References , 1971 .

[14]  Bo Meng,et al.  The practical detailed requirements of accountability and its application in the electronic payment protocols , 2005, 2005 IEEE International Conference on e-Technology, e-Commerce and e-Service.

[15]  Jeffrey S. Chase,et al.  Strong accountability for network storage , 2007, TOS.

[16]  Schahram Dustdar,et al.  Monitoring and Analyzing Service-Based Internet Systems through a Model-Aware Service Environment , 2010, CAiSE.

[17]  MengChu Zhou,et al.  A Petri Net-Based Model for Verification of Obligations and Accountability in Cooperative Systems , 2009, IEEE Trans. Syst. Man Cybern. Part A.

[18]  Andreas Haeberlen,et al.  PeerReview: practical accountability for distributed systems , 2007, SOSP.

[19]  Rik Eshuis,et al.  Reactive Petri Nets for Workflow Modeling , 2003, ICATPN.

[20]  Wil M. P. van der Aalst,et al.  Conformance checking of service behavior , 2008, TOIT.

[21]  John Zic,et al.  Accountability as a Service for the Cloud: From Concept to Implementation with BPEL , 2010, 2010 6th World Congress on Services.