VGC: Generating valid global communication models of composite services using temporal reasoning

Gooneratne, N, Tari, Z and Harland, J 2008, 'VGC: Generating valid global communication models of composite services using temporal reasoning', in Athman Bouguettaya, Ingolf H. Krueger, Tiziana Margaria (ed.) Proceedings of the 6th International Conference on Service -Oriented Computing ICSOC 2008. Lecture Notes in Computer Science, Vol. 5364, Sydney, Australia, 1-5 December 2008, pp. 585-591.


Document type: Conference Paper
Collection: Conference Papers

Title VGC: Generating valid global communication models of composite services using temporal reasoning
Author(s) Gooneratne, N
Tari, Z
Harland, J
Year 2008
Conference name Service-Oriented Computing (ICSOC 2008)
Conference location Sydney, Australia
Conference dates 1-5 December 2008
Proceedings title Proceedings of the 6th International Conference on Service -Oriented Computing ICSOC 2008. Lecture Notes in Computer Science, Vol. 5364
Editor(s) Athman Bouguettaya, Ingolf H. Krueger, Tiziana Margaria
Publisher Springer
Place of publication Berlin, Germany
Start page 585
End page 591
Total pages 7
Abstract 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.
Subjects Interorganisational Information Systems and Web Services
Keyword(s) web services
service matching
Copyright notice © Springer-Verlag Berlin Heidelberg 2008
ISBN 9783540896470
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 0 times in Thomson Reuters Web of Science Article
Scopus Citation Count Cited 0 times in Scopus Article
Access Statistics: 181 Abstract Views  -  Detailed Statistics
Created: Fri, 18 Nov 2011, 08:37:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us