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