VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning
As the range of services available on the Web increase, new value added services can be created by composing existing ones. It is then vital to ensure that compositions of web services are free from errors such as deadlocks and synchronisation conflicts. Current techniques are lacking in this regard because they either (i) do not consider all the different types of temporal relationships that exist between interactions, or (ii) do not support all types of interactions (i.e. only send and receive, not service and invoke). In this paper we introduce an approach that overcomes these problems. First, a communication model is generated by composing interactions of constituent services. Then, the temporal relationships between all the interactions of the communication model are found using a reasoning mechanism. While doing so, these relationships are compared against those specified in descriptions of interaction protocols, to detect any deadlocks or synchronisation conflicts.
KeywordsTemporal Relationship Composite Service Execution Path Interaction Protocol Transitive Relationship
- 2.Gooneratne, N., Tari, Z.: Matching Independent Global Constraints for Composite Web Services. In: Proceedings of the 17th International World Wide Web Conference, pp. 765–774 (2008)Google Scholar
- 3.Gooneratne, N., Tari, Z., Harland, J.: Verification of Web Service Descriptions using Graph-based Traversal Algorithms. In: Proceedings of the 22nd Annual Symposium on Applied Computing, pp. 1385–1392 (2007)Google Scholar
- 4.Woodman, S., Palmer, D., Shrivastava, S., Wheater, S.: Notations for the Specification and Verification of Composite Web Services. In: Proceedings of the 8th International Enterprise Distributed Object Computing Conference, pp. 35–46 (2004)Google Scholar