Formal Consistency Verification Between BPEL Process and Privacy Policy

Despite the increased privacy concerns in the Internet, not much attention has been paid into enforcing privacy policies of organizations that collect and consume personal data using automatic means (e.g., Web services). In this paper, the authors propose a graph-transformation based framework to check whether an internal business process (implemented using a standard Web service composition language such as BPEL) adheres to the organization's privacy policies. The graph-based specification formalism combines the advantages of an intuitive visual framework with rigorous semantical foundation that allows consistency checking between a business process and privacy policy.

Provided by: University of New Orleans Fund Topic: Big Data Date Added: Apr 2006 Format: PDF

Find By Topic