1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Journal Articles
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/19285
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTurner, Kenneth Jen_UK
dc.contributor.authorTan, Koon Leai Larryen_UK
dc.date.accessioned2014-02-24T23:13:13Z-
dc.date.available2014-02-24T23:13:13Z-
dc.date.issued2012-07en_UK
dc.identifier.urihttp://hdl.handle.net/1893/19285-
dc.description.abstractCRESS (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.en_UK
dc.language.isoenen_UK
dc.publisherElsevieren_UK
dc.relationTurner 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.015en_UK
dc.rightsPublished 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.en_UK
dc.subjectBPEL (Business Process Execution Logic)en_UK
dc.subjectGrid Serviceen_UK
dc.subjectLOTOS (Language Of Temporal Ordering Specification)en_UK
dc.subjectService Compositionen_UK
dc.subjectService Orchestrationen_UK
dc.subjectValidationen_UK
dc.subjectVerificationen_UK
dc.subjectWorkflow Modellingen_UK
dc.titleRigorous Development of Composite Grid Servicesen_UK
dc.typeJournal Articleen_UK
dc.identifier.doi10.1016/j.jnca.2012.01.015en_UK
dc.citation.jtitleJournal of Network and Computer Applicationsen_UK
dc.citation.issn1084-8045en_UK
dc.citation.volume35en_UK
dc.citation.issue4en_UK
dc.citation.spage1304en_UK
dc.citation.epage1316en_UK
dc.citation.publicationstatusPublisheden_UK
dc.citation.peerreviewedRefereeden_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.identifier.urlhttp://www.cs.stir.ac.uk/~kjt/research/pdf/rig-dev.pdfen_UK
dc.author.emailkjt@cs.stir.ac.uken_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.contributor.affiliationUniversity of Stirlingen_UK
dc.identifier.isiWOS:000304383100013en_UK
dc.identifier.scopusid2-s2.0-84860386290en_UK
dc.identifier.wtid650641en_UK
dcterms.dateAccepted2012-07-31en_UK
dc.date.filedepositdate2014-02-19en_UK
rioxxterms.typeJournal Article/Reviewen_UK
rioxxterms.versionAMen_UK
local.rioxx.authorTurner, Kenneth J|en_UK
local.rioxx.authorTan, Koon Leai Larry|en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.freetoreaddate2014-02-19en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/all-rights-reserved|2014-02-19|en_UK
local.rioxx.filenamerig-dev.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source1084-8045en_UK
Appears in Collections:Computing Science and Mathematics Journal Articles

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


This item is protected by original copyright

View License
Show simple item record


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.