Home // International Journal On Advances in Software, volume 6, numbers 1 and 2, 2013 // View article

Transformational Implementation of Business Processes in SOA

Authors:
Krzysztof Sacha
Andrzej Ratkowski

Keywords: business process; service oriented architecture; BPEL; LOTOS; transformational implementation

Abstract:
The paper develops a method for transformational implementation and optimization of business processes in a service oriented architecture. The method promotes separation of concerns and allows making business decisions by business people and technical decisions by technical people. To achieve this goal, a description of a business process designed by business people is automatically translated into a program in Business Process Execution Language, which is then subject to a series of transformations developed by technical people. Each transformation changes the process structure in order to improve the quality characteristics. Two approaches to the verification of the process correctness are discussed. The first one applies a correct-by-construction approach to transformations. The other one relies on automatic verification of the transformed process behavior against the behavior of the original reference process. The verification mechanism is based on a mapping from Business Process Execution Language to Language of Temporal Ordering Specification, 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.

Pages: 92 to 103

Copyright: Copyright (c) to authors, 2013. Used with permission.

Publication date: June 30, 2013

Published in: journal

ISSN: 1942-2628