|
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 |