By Topic

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

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

3 Author(s)
María José Ibánez ; Dept. of Comput. Sci. & Syst. Eng., Univ. of Zaragoza., Zaragoza ; Pedro Álvarez ; Joaquín Ezpeleta

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.

Published in:

on Web Services, 2008. ECOWS '08. IEEE Sixth European Conference

Date of Conference:

12-14 Nov. 2008