Failure handling of E-Business Services in an extensible constraint service model

Failure handling of business transactions is essential in E-Business Services. This paper extends the service process specification proposed in a contract-centered constraint-based service modelling framework with failure handling capabilities. Besides failure in process model, generalized failure such as QoS violation can be modelled in policies. Executable semantics for failure handling in E-Business services as well as policies are discussed via a state transition system. A virtual machine is built for contracting and executing of services under this framework.