Transformational design of business processes for SOA

Authors:
Andrzej Ratkowski;Andrzej Zalewski
Affiliations:
Warsaw University of Technology, Department of Electronics and Information Technology;Warsaw University of Technology, Department of Electronics and Information Technology
Venue:
CEE-SET'08 Proceedings of the Third IFIP TC 2 Central and East European conference on Software engineering techniques
Year:
2008

Citing 13
Cited 0

Introduction to the ISO specification language LOTOS

Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Refactoring object-oriented frameworks

Refactoring object-oriented frameworks
Refactoring: improving the design of existing code

Refactoring: improving the design of existing code
Analysis of interacting BPEL web services

Proceedings of the 13th international conference on World Wide Web
Web services: a process algebra approach

Proceedings of the 2nd international conference on Service oriented computing
Using a Rigorous Approach for Engineering Web Service Compositions: A Case Study

SCC '05 Proceedings of the 2005 IEEE International Conference on Services Computing - Volume 01
Transformation BPEL to CP-Nets for Verifying Web Services Composition

NWESP '05 Proceedings of the International Conference on Next Generation Web Services Practices
A model-driven approach to describe and predict the performance of composite services

WOSP '07 Proceedings of the 6th international workshop on Software and performance
Formal semantics and analysis of control flow in WS-BPEL

Science of Computer Programming
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
Formalizing WSBPEL Business Processes Using Process Algebra

Electronic Notes in Theoretical Computer Science (ENTCS)
Transforming BPEL to petri nets

BPM'05 Proceedings of the 3rd international conference on Business Process Management
Modeling- and analysis techniques for web services and business processes

FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

By describing business processes in BPEL (Business Process Execution Language) one can make them executable. Then a problem arises how to assure that some non-functional requirements concerning e.g. performance of these processes, are met. In the paper a transformational approach to design of business processes is presented. To check equivalence of business processes resulting from the transformations, a BPEL description is converted to Process Algebra (Lotos version) and model-checking techniques are applied. The paper contains also an example of applying the proposed approach in a real-life situation.