By Topic

Optimization of Business Processes in Service Oriented Architecture

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

3 Author(s)
Ratkowski, A. ; Warsaw Univ. of Technol., Warsaw, Poland ; Sacha, K. ; Zalewski, A.

This paper describes a method for the implementation and optimization of business processes in a service oriented architecture (SOA). A process specification is created by business people, and expressed in Business Process Modeling Notation (BPMN). The specification is then translated into Business Process Execution Language (BPEL), and used by technical people as a reference process, which is subject to a series of transformations that change the internal process structure in order to improve the quality of the process execution. The behavior of each transformed process is verified automatically against the behavior of the reference process. The verification mechanism is based on a mapping from BPEL to Language of Temporal Ordering Specification (LOTOS), followed by a comparison of the trace set that is generated using a program dependence graph of the reference process and the trace set of the transformed one. When the design goals have been reached, the transformed BPEL process can be executed on a target SOA environment using a BPEL engine.

Published in:

Enterprise Distributed Object Computing Conference Workshops (EDOCW), 2012 IEEE 16th International

Date of Conference:

10-14 Sept. 2012