Automated attribute inference in complex service workflows based on sharing analysis

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

Descripción

Título: Automated attribute inference in complex service workflows based on sharing analysis
Autor/es:
  • Ivanovic, Dragan
  • Carro Liñares, Manuel
  • Hermenegildo, Manuel V.
Tipo de Documento: Ponencia en Congreso o Jornada (Artículo)
Título del Evento: 2011 IEEE International Conference on Services Computing
Fechas del Evento: 4-9 Jul 2011
Lugar del Evento: Washington, DC, USA
Título del Libro: 2011 IEEE International Conference on Services Computing: proceedings: SCC 2011
Fecha: 2011
ISBN: 978-1-4577-0863-3
Materias:
Palabras Clave Informales: Workflow, Business process, Service composition, Horn clause, Static analysis, Flujos de trabajo, Procesos de negocio, Intercambio de análisis
Escuela: Facultad de Informática (UPM) [antigua denominación]
Departamento: Inteligencia Artificial
Licencias Creative Commons: Ninguna

Texto completo

[img]
Vista Previa
PDF (Document Portable Format) - Se necesita un visor de ficheros PDF, como GSview, Xpdf o Adobe Acrobat Reader
Descargar (792kB) | Vista Previa

Resumen

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.

Más información

ID de Registro: 13790
Identificador DC: http://oa.upm.es/13790/
Identificador OAI: oai:oa.upm.es:13790
URL Oficial: http://ieeexplore.ieee.org/stamp/stamp.jsp?tp=&arnumber=6009252
Depositado por: Biblioteca Facultad de Informatica
Depositado el: 16 Nov 2012 07:54
Ultima Modificación: 21 Abr 2016 13:09
  • Open Access
  • Open Access
  • Sherpa-Romeo
    Compruebe si la revista anglosajona en la que ha publicado un artículo permite también su publicación en abierto.
  • Dulcinea
    Compruebe si la revista española en la que ha publicado un artículo permite también su publicación en abierto.
  • Recolecta
  • e-ciencia
  • Observatorio I+D+i UPM
  • OpenCourseWare UPM