eprintid: 55476
rev_number: 12
eprint_status: archive
userid: 2047
dir: disk0/00/05/54/76
datestamp: 2019-06-18 08:17:37
lastmod: 2019-06-18 08:17:37
status_changed: 2019-06-18 08:17:37
type: monograph
metadata_visibility: show
creators_name: Ivanovic, Dragan
creators_name: Carro Liñares, Manuel
creators_name: Hermenegildo, Manuel V.
title: Automated attribute inference in complex service workflows based on sharing analysis
publisher: Facultad de Informática, Universidad Politécnica de Madrid
rights: by-nc-nd
ispublished: unpub
subjects: empresa
subjects: informatica
full_text_status: public
monograph_type: technical_report
keywords: Workflow; Business process; Service composition; Horn clause; Static analysis
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.
date_type: completed
date: 2010-11
place_of_pub: Madrid, España
pages: 18
institution: Informatica
department: Inteligencia_Artificial
official_url: https://cliplab.org/papers/ivanovic10-attrib-sharing-tr.pdf
citation:   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) <http://oa.upm.es/view/institution/Informatica/>, Madrid, España.    
document_url: http://oa.upm.es/55476/1/HERMENEGILDO_2010-01.pdf