From Transaction Processing To Reliable Service Composition

The way in which business processes are organized and managed will directly impact the efficiency of production. Workflow is for automation of a business process and computer aided business process modeling. With the evolution of standardization of information technology, people are prone to adopt Web Service and UDDI, etc as the standard supplies online services. Such a strong interoperability makes possible to realize B2B and B2C in a broader environment. Thus loosely coupled environment places challenge over the business process modeling. Meanwhile, such a modeling of complex interaction among distributed component involved in a business process to realize a value added new service is called service composition.Service composition lies in the kernel of service oriented architecture. BPEL, also as a workflow language, becomes de‐facto standard in this field. One critical demand is to implement reliable service composition. Comparing to manually implemented fault tolerance mechanism and manual test with low coverage, the paper is more prone to automatic fault tolerance by combining service composition with ACID transaction model and extended transaction model.The paper firstly investigates various kind of transaction management system, and then verifies the correctness of these protocols in loosely coupled environment, primarily using model checking. After that, the author surveys theory and practice in the field of service composition. A new language named BPTX based on Pi calculus is proposed for modeling syntax and semantics of the combination of transaction and service composition. Finally, based on theoretical work, the paper proposes an suitable architecture for reliable service composition, also implements a prototype based on Jess rule engine.