Checking Necessary Conditions for Control and Data Flow Compatibility between Business and Interaction Logics in Web Processes

Web-based applications require a flexible adaptation to the changing environment. One of the elements to achieve this aim is based on the flexible use of interaction protocols. Another key element is the separation between business process logic and interaction actions, so that runtime-depending parameters can influence the selection and parametrization of the appropriate interaction protocol. This opens the necessity of verifying whether the implementation of a given business process logic is "compatible" with a given interaction protocol. In this paper we adopt the use of ontologies for the description of the information to be exchanged between a workflow (implementing a business process) and a role (view of an interaction protocol) and show how the use of Petri net analysis techniques can be applied for proving whether a given workflow and a given role are compatible in the DENEB environment, a platform for the Development and Execution of Web processes.