Automated attribute inference in complex service workflows based on sharing analysis

Ivanovic, Dragan and Carro Liñares, Manuel and Hermenegildo, Manuel V. (2010). Automated attribute inference in complex service workflows based on sharing analysis. Monografía (Technical Report). Facultad de Informática (UPM), Madrid, España.

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: Monograph (Technical Report)
Date: November 2010
Subjects:
Freetext Keywords: Workflow; Business process; Service composition; Horn clause; Static analysis
Faculty: Facultad de Informática (UPM)
Department: Inteligencia Artificial
Creative Commons Licenses: Recognition - No derivative works - Non commercial

Full text

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

Abstract

The properties of data and activities in workflows can be used to greatly facilitate several relevant tasks performed at design- and run-time, such as fragmentation, conformance checking, or top-down design. We present an approach to mechanically infer domain attributes of workflow components, such as data items, activities, or elements of sub-workflows, based on basic characteristics of workflow inputs, the structure of the workflow, and the results of sharing analysis applied to a Horn clause 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. As Service-Oriented Computing is quite often used to implement workflows, we relate the techniques we present with the technologies and approach taken by SOC.

More information

Item ID: 55476
DC Identifier: http://oa.upm.es/55476/
OAI Identifier: oai:oa.upm.es:55476
Official URL: https://cliplab.org/papers/ivanovic10-attrib-sharing-tr.pdf
Deposited by: Biblioteca Facultad de Informatica
Deposited on: 18 Jun 2019 08:17
Last Modified: 18 Jun 2019 08:17
  • 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