Automated attribute inference in complex service workflows based on sharing analysis

Ivanovic, Dragan and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2011). Automated attribute inference in complex service workflows based on sharing analysis. In: "2011 IEEE International Conference on Services Computing", 4-9 Jul 2011, Washington, DC, USA. ISBN 978-1-4577-0863-3.

Description

Title: Automated attribute inference in complex service workflows based on sharing analysis
Author/s:
  • Ivanovic, Dragan
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Item Type: Presentation at Congress or Conference (Article)
Event Title: 2011 IEEE International Conference on Services Computing
Event Dates: 4-9 Jul 2011
Event Location: Washington, DC, USA
Title of Book: 2011 IEEE International Conference on Services Computing: proceedings: SCC 2011
Date: 2011
ISBN: 978-1-4577-0863-3
Subjects:
Freetext Keywords: Workflow, Business process, Service composition, Horn clause, Static analysis, Flujos de trabajo, Procesos de negocio, Intercambio de análisis
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: None

Full text

[img]
Preview
PDF - Requires a PDF viewer, such as GSview, Xpdf or Adobe Acrobat Reader
Download (792kB) | Preview

Abstract

The properties of data and activities in business processes can be used to greatly facilítate several relevant tasks performed at design- and run-time, such as fragmentation, compliance checking, or top-down design. Business processes are often described using workflows. We present an approach for mechanically inferring business domain-specific attributes of workflow components (including data Ítems, activities, and elements of sub-workflows), taking as starting point known attributes of workflow inputs and the structure of the workflow. We achieve this by modeling these components as concepts and applying sharing analysis to a Horn clause-based representation of the workflow. The analysis is applicable to workflows featuring complex control and data dependencies, embedded control constructs, such as loops and branches, and embedded component services.

More information

Item ID: 13790
DC Identifier: http://oa.upm.es/13790/
OAI Identifier: oai:oa.upm.es:13790
Official URL: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6009252
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 16 Nov 2012 07:54
Last Modified: 21 Apr 2016 13:09
  • Logo InvestigaM (UPM)
  • Logo GEOUP4
  • Logo Open Access
  • Open Access
  • Logo Sherpa/Romeo
    Check whether the anglo-saxon journal in which you have published an article allows you to also publish it under open access.
  • Logo Dulcinea
    Check whether the spanish journal in which you have published an article allows you to also publish it under open access.
  • Logo de Recolecta
  • Logo del Observatorio I+D+i UPM
  • Logo de OpenCourseWare UPM