Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Automated Attribute Inference in Complex Service Workflows Based on Sharing Analysis
Año:2011
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
The properties of data and activities in business processes can be used to greatly facilitate 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, and we present an approach to mechanically infer business domain-specific attributes of workflow components, including data items, activities, and elements of sub-workflows, from known attributes of workflow inputs and the structure of the workflow by modeling these components as concepts and applying 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.
Internacional
No
Nombre congreso
2011 IEEE International Conference on Services Computing
Tipo de participación
960
Lugar del congreso
Washington
Revisores
Si
ISBN o ISSN
978-0-7695-4462-5
DOI
10.1109/SCC.2011.85
Fecha inicio congreso
04/07/2011
Fecha fin congreso
09/07/2011
Desde la página
120
Hasta la página
127
Título de las actas
Proceeding SCC '11 Proceedings of the 2011 IEEE International Conference on Services Computing
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Manuel Carro Liñares (UPM)
  • Autor: Manuel de Hermenegildo Salinas (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Inteligencia Artificial
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)