Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/19285
Appears in Collections:Computing Science and Mathematics Journal Articles
Peer Review Status: Refereed
Title: Rigorous Development of Composite Grid Services
Authors: Turner, Kenneth J
Tan, Koon Leai Larry
Contact Email: kjt@cs.stir.ac.uk
Keywords: BPEL (Business Process Execution Logic)
Grid Service
LOTOS (Language Of Temporal Ordering Specification)
Service Composition
Service Orchestration
Validation
Verification
Workflow Modelling
Issue Date: Jul-2012
Publisher: Elsevier
Citation: Turner KJ & Tan KLL (2012) Rigorous Development of Composite Grid Services, Journal of Network and Computer Applications, 35 (4), pp. 1304-1316.
Abstract: CRESS (Communication Representation Employing Systematic Specification) is introduced as notation, a methodology and a toolset for service development. The article focuses on rigorous development of composite grid services, with particular emphasis on the principles behind the methodology. A straightforward graphical notation is used to describe grid services. These are then automatically specified, analysed and implemented. Analysis includes formal verification of desirable service properties, formal validation of test scenarios, testing of implementation functionality, and evaluation of implementation performance. The case study that illustrates the approach is document content analysis to compare two pieces of text. This involves two composite services supported by two partner services. The usability of the service design notation is assessed, and a comparison is made of the approach with similar ones. These show that the CRESS approach to developing services is usable and more complete than other comparable approaches.
Type: Journal Article
URI: http://hdl.handle.net/1893/19285
URL: http://www.cs.stir.ac.uk/~kjt/research/pdf/rig-dev.pdf
DOI Link: http://dx.doi.org/10.1016/j.jnca.2012.01.015
Rights: Published in Journal of Network and Computer Applications by Elsevier; Elsevier believes that individual authors should be able to distribute their accepted author manuscripts for their personal voluntary needs and interests, e.g. posting to their websites or their institution’s repository, e-mailing to colleagues. The Elsevier Policy is as follows: Authors retain the right to use the accepted author manuscript for personal use, internal institutional use and for permitted scholarly posting provided that these are not for purposes of commercial use or systematic distribution. An "accepted author manuscript" is the author’s version of the manuscript of an article that has been accepted for publication and which may include any author-incorporated changes suggested through the processes of submission processing, peer review, and editor-author communications.
Affiliation: Computing Science - CSM Dept
University of Stirling

Files in This Item:
File Description SizeFormat 
rig-dev.pdf610.55 kBAdobe PDFView/Open


This item is protected by original copyright



Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.

If you believe that any material held in STORRE infringes copyright, please contact library@stir.ac.uk providing details and we will remove the Work from public display in STORRE and investigate your claim.