Reduction Rules Based Approach Of Logic Structure Verification For Services Composition

Haitao Hu,Ying Liu
2010-01-01
Abstract:How to compose software services on the business level real-time and construct applications on-demand is a challenging issue. A method called TryBest to larger-granularity services composition for business-users was presented in the foregoing work, which is based on constraint solving of business process and prefabricated and modifiable templates. With TryBest, business-users can construct applications just like assembling hardware by composing larger-granularity and reusable modules. The validity of composition logic is prerequisite of services successful execution. A verification approach is presented in this paper. The approach can verify the logic structure of service composition.
What problem does this paper attempt to address?