Scheduled System Maintenance:
On May 6th, system maintenance will take place from 8:00 AM - 12:00 PM ET (12:00 - 16:00 UTC). During this time, there may be intermittent impact on performance. We apologize for the inconvenience.
By Topic

The Research on Formal Specification and Review of Workflows

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
4 Author(s)
Quanmin Fu ; Shanghai Jiao Tong Univ., Shanghai, China ; Jian Liang ; Haopeng Chen ; Fenglin Bu

The workflow technique based on BPEL is widely used in the management of enterprise business process. But it is hard to detect logic errors and conduct the validation of the business process, because BPEL does not have formal semantics. This paper introduces SOFL to describe business process. Generally speaking, SOFL provides a formal but comprehensible language for both requirements and design specifications, and a practical method for developing software systems. This paper extends SOFL to describe BPEL workflows and propose basic rules to transform BPEL into SOFL to demonstrate the ability of describing of SOFL. Then, an example is given to illustrate the rules. After that, this paper shows how to conduct the formal review of the SOFL module which is transformed from BPEL process, to ensure the internal consistency and validity of the business process.

Published in:

Internet and Web Applications and Services (ICIW), 2010 Fifth International Conference on

Date of Conference:

9-15 May 2010