Verification of Web Service Descriptions using Graph-based Traversal Algorithms

Gooneratne, N, Tari, Z and Harland, J 2007, 'Verification of Web Service Descriptions using Graph-based Traversal Algorithms', in Yong Wan Koo (ed.) Proceedings of the 22nd Annual ACM Symposium on Applied Computing, Seoul, Korea, 11 - 15 March 2007, pp. 1385-1392.


Document type: Conference Paper
Collection: Conference Papers

Title Verification of Web Service Descriptions using Graph-based Traversal Algorithms
Author(s) Gooneratne, N
Tari, Z
Harland, J
Year 2007
Conference name Symposium on Applied Computing
Conference location Seoul, Korea
Conference dates 11 - 15 March 2007
Proceedings title Proceedings of the 22nd Annual ACM Symposium on Applied Computing
Editor(s) Yong Wan Koo
Publisher ACM
Place of publication New York
Start page 1385
End page 1392
Total pages 8
Abstract Service discovery and composition techniques require a careful and accurate specification of the functional and behavioural descriptions of services. Otherwise, the located services may not provide the requested functionality and composite services may incorporate services that are incompatible and uncomposable. This paper proposes two formalisms for accurately specifying functional and behavioural descriptions and a technique for detecting errors in the specifications. Unlike existing frameworks, functional descriptions created with the proposed formalism enable the purpose of a service, and the data transformations and state transitions performed by it to be modelled together. The behavioural description formalism is capable of accurately representing the effects of interactions and the temporal relationships between them. The technique is developed by extending a pre-order depth-first search algorithm, which traverses through the interaction protocol of a service and determines whether the valid terminal state of the service can be derived from its initial state. A sample case study in which we detect errors in the functional and behavioural descriptions of a service by verifying them using the proposed technique is provided.
Subjects Data Format not elsewhere classified
Keyword(s) Consistent descriptions
Service descriptions
Verification
DOI - identifier 10.1145/1244002.1244301
Copyright notice © 2007 ACM
ISBN 9781595934802
Versions
Version Filter Type
Citation counts: TR Web of Science Citation Count  Cited 4 times in Thomson Reuters Web of Science Article | Citations
Scopus Citation Count Cited 6 times in Scopus Article | Citations
Altmetric details:
Access Statistics: 156 Abstract Views  -  Detailed Statistics
Created: Mon, 14 Jan 2013, 09:15:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us