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) , Madrid, España. document_url: https://oa.upm.es/55476/1/HERMENEGILDO_2010-01.pdf