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
.
Modelling and verification of BPEL business processes
Fourth Workshop on Model-Based Development of Computer-Based Systems and Third International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MBD-MOMPES'06)
A business process is a complex web service with functions provided by different web services, which are already existing in web and are dynamically integrated for granting a more complex business task. For this reason, business processes have become more and more diffuse in B2B and B2C domains, so that the importance of their activities asks for a high-level of reliability. Methods and tools for supporting automatic system verification and validation could be useful. Among the techniques of
doi:10.1109/mbd-mompes.2006.22
dblp:conf/mompes/MongielloC06
fatcat:7upehtblsbe5hbqzrqbazfzp3q