STORRE
STORRE: Stirling Online Research Repository
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 |
| Author(s): | 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 |
| Date Deposited: | 19-Feb-2014 |
| Citation: | Turner KJ & Tan KLL (2012) Rigorous Development of Composite Grid Services. Journal of Network and Computer Applications, 35 (4), pp. 1304-1316. http://www.cs.stir.ac.uk/~kjt/research/pdf/rig-dev.pdf; https://doi.org/10.1016/j.jnca.2012.01.015 |
| 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. |
| URL: | http://www.cs.stir.ac.uk/~kjt/research/pdf/rig-dev.pdf |
| DOI Link: | 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. |
Files in This Item:
| File | Description | Size | Format | |
|---|---|---|---|---|
| rig-dev.pdf | Fulltext - Accepted Version | 610.55 kB | Adobe PDF | View/Open |
This item is protected by original copyright |
Items in the Repository are protected by copyright, with all rights reserved, unless otherwise indicated.
The metadata of the records in the Repository are available under the CC0 public domain dedication: No Rights Reserved https://creativecommons.org/publicdomain/zero/1.0/
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.