Scheduled System Maintenance:
Some services will be unavailable Sunday, March 29th through Monday, March 30th. We apologize for the inconvenience.
By Topic

A Petri net-based method for process schedule modeling and validation of WS-BPEL extension for people

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
$31 $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)
Zhongyuan Lu ; Beijing Key Lab. of Intell. Telecommun. Software & Multimedia, Beijing Univ. of Post & Telecommun., BUPT, Beijing, China ; Fang Deng ; Zhengqiu Yang ; Chen Liu

Business Process Execution Language has become one of the most important technologies in Service Oriented Architecture, and enables easy and flexible composition of services into business processes. In practice, many business process scenarios require human interactions. WS-BPEL Extension for People (BPEL4People) specifies a BPEL extension to address human interactions in BPEL as a first-class citizen. However the need for detecting the schedule problem is beyond what the BPEL4People can handle. Given a BPEL process with BPEL4People extension, we analyze and solve the schedule problems with a formulized approach. We first transform a BPEL description into a service workflow net, which is a kind of time Petri net (TPN). Based on this formalism, we propose algorithms to generate the Reachable Marking Graph (RMG), analyze the schedule problem, and then provide a method to create new markings to solve the timing conflicts in people activity. Our approach is validated through a real-life case and further research directions are pointed out.

Published in:

Computer Application and System Modeling (ICCASM), 2010 International Conference on  (Volume:2 )

Date of Conference:

22-24 Oct. 2010