Path-Based Verification for Composition of Semantic Web Services

This paper proposes a novel approach to the verification for composition of Web services annotated by ontology-based input, output, precondition and effect. In this approach, implicit inconsistency and explicit inconsistency may be detected on a path. Firstly, a normal form for the description of precondition and effect is defined, then an algorithm for automatically determining the accumulated effects of ordered services is given out. Thirdly, an algorithm for verifying a single path extracted from the composition is illustrated. On the basis of the approach, some experiments for verifying a single path are demonstrated. Eventually an E-business example is presented to demonstrate the approach.