3 search results - page 1 / 1 » Runtime Monitoring of Message-Based Workflows with Data |
EDOC
2008
IEEE
13 years 6 months ago
2008
IEEE
We present an algorithm for the runtime monitoring of business process properties with data parameterization. The properties are expressed in LTL-FO+ , an extension to traditional...
ITSSA
2006
13 years 4 months ago
2006
: This paper investigates the use of the Business Process Execution Language for Web services (BPEL4WS/ BPEL) for managing scientific workflows. The complexity, unpredictability an...
CONCURRENCY
2006
13 years 5 months ago
2006
With the advent of grid technologies, scientists and engineers are building more and more complex applications to utilize distributed grid resources. The core grid services provid...