VGC: Generating Valid Global Communication Models of Composite Services Using Temporal Reasoning

  • Nalaka Gooneratne
  • Zahir Tari
  • James Harland
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5364)


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.


Temporal Relationship Composite Service Execution Path Interaction Protocol Transitive Relationship 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Allen, J.F.: Maintaining Knowledge about Temporal Intervals. Communications of the ACM 26(11), 832–843 (1983)CrossRefzbMATHGoogle Scholar
  2. 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. 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. 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

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Nalaka Gooneratne
    • 1
  • Zahir Tari
    • 1
  • James Harland
    • 1
  1. 1.School of Computer Science and Information TechnologyRMIT UniversityMelbourneAustralia

Personalised recommendations