1360 search results - page 1 / 272 » Reasoning on Workflow Executions |
ICDT
1997
ACM
13 years 9 months ago
1997
ACM
This paper provides a formal foundation for distributed workfiow executions. The state chart formalism is adapted to the needs of a workflow model in order to establish a basis for...
BPM
2008
Springer
13 years 6 months ago
2008
Springer
This paper describes an approach for reasoning about the repairability of workflows at design time. We propose a heuristic-based analysis of a workflow that aims at evaluating its ...
ICCS
2007
Springer
13 years 8 months ago
2007
Springer
In e-Science, scientific workflow systems are used to share data and knowledge in collaborative experiments. In recent work we discussed the concepts of a workflow bus [1], allowin...
ADBIS
2003
Springer
13 years 8 months ago
2003
Springer
GIS
2008
ACM
14 years 5 months ago
2008
ACM
With the advent of the data grid came a novel distributed scientific computing paradigm known as service-oriented science. Among the plethora of systems included under this framew...