Abstract
Business Process modeling and verification is one of the main functions for all the workflow products. In order to detect the deadlock, the lack of synchronization and other issues in process modeling, the majority of workflow products needed to provide analysis and modeling functions based on formal methods. As the WS-BPEL (Web Services Business Process Execution Language) is a kind of non-formal language to describe business processes, testing and verification is not easy. What’s more, there is no corresponding formal supporting tool, which makes it difficult to guarantee the correctness of Web services and to track the business processes in more abstract level. For this problem, this paper brought forward the three-tier architecture of business process modeling and verification, and realized the conversion algorithm of business processes to the -calculus description.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
