Knowledge representation: logical, philosophical and computational foundations
Knowledge representation: logical, philosophical and computational foundations
Static Verification of Control and Data inWeb Service Compositions
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Actor Eco-systems: From High-Level Agent Models to Executable Processes via Semantic Annotations
COMPSAC '07 Proceedings of the 31st Annual International Computer Software and Applications Conference - Volume 02
Requirements-Driven Verification of Web Services
Electronic Notes in Theoretical Computer Science (ENTCS)
A parametric communication model for the verification of BPEL4WS compositions
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
| Hi-index | 0.00 |
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.