3 search results - page 1 / 1 » Formal modeling of BPEL workflows including fault and compen... |
SIGSOFT
2007
ACM
14 years 11 months ago
2007
ACM
FM
2005
Springer
14 years 4 months ago
2005
Springer
BPEL4WS is one of the most important business process modelling languages. One distinct feature of it is the fully programmable fault and compensation handling mechanism, which all...
ICSOC
2007
Springer
14 years 5 months ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...