Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Coloured Petri nets: basic concepts, analysis methods and practical use, volume 3
Simulation, verification and automated composition of web services
Proceedings of the 11th international conference on World Wide Web
Distributed and Parallel Databases
Bringing Semantics to Web Services with OWL-S
World Wide Web
DE2M: An environment for developing distributed and executable enterprise models
Advances in Engineering Software
Hi-index | 0.00 |
Web services composition is becoming more and more important in today's service oriented business environment. We need to compose services from different providers together to fulfill the business goals that cannot be satisfied by any single service. However, different services often have semantic inconsistencies which may lead to the failure of the services composition. In order to verify the correctness of the Semantic Web Services composition, this paper proposed a composition model of Coloured Petri Nets which is transformed from OWL-S model. This model can express the logical relations among the sub-processes of the services composition explicitly, and verify the correctness of the services composition using formalized methods of Coloured Petri Nets. This paper presented the verification algorithms for the reachability, boundness and semantic consistency of composed services. Furthermore, an example of collaborating design process was given to simulate and execute the model.