Formal verification for semantic Web services composition based on coloured Petri nets
Yushun Fan · Journal of Tsinghua University(Science and Technology) · 2010
This paper presents a composition model for colored Petri nets transformed from Web ontology language for services to validate semantic Web services composition,and defines semantic Web services net(SWS-net).The model can explicitly express the logical relations among sub-processes of services composition and verify the correctness of services composition using formalized methods of coloured Petri nets,with the verification algorithm then proposed for the semantic consistency of composed services.A cooperative design process was taken as an example to simulate and execute the model.The results show that the composed services do not contain any deadlocks and are smoothly executed in the workflow engine.