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.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

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