A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Formal Verification of BPEL4WS Business Collaborations
[chapter]
2004
Lecture Notes in Computer Science
Web services are a very appropriate communication mechanism to perform distributed business processes among several organisations. These processes should be reliable, because a failure in them can cause high economic losses. To increase their reliability at design time, we have developed VERBUS, a framework for the formal verification of business processes. VERBUS can automatically translate business process definitions to specifications verifiable in several available tools. It is based on a
doi:10.1007/978-3-540-30077-9_8
fatcat:zyu46kbuavduxkfsveoocrd7ku