Checking Necessary Conditions For Control And Data Flow Compatibility In The Synchronizations Between Business And Interactions Logics In Web Processes

  1. Ibáñez, M.J. 1
  2. Álvarez, P. 1
  3. Ezpeleta, J. 1
  1. 1 Universidad de Zaragoza
    info

    Universidad de Zaragoza

    Zaragoza, España

    ROR https://ror.org/012a91z28

Libro:
Proceedings of the 6th IEEE European Conference on Web Services, ECOWS'08

ISBN: 978-0-7695-3399-5

Año de publicación: 2008

Páginas: 92-101

Tipo: Capítulo de Libro

beta Ver similares en nube de resultados
DOI: 10.1109/ECOWS.2008.18 SCOPUS: 2-s2.0-58449106862 GOOGLE SCHOLAR

Objetivos de desarrollo sostenible

Resumen

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. © 2008 IEEE.