1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Book Chapters and Sections
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/2632
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTurner, Kenneth Jen_UK
dc.contributor.authorTan, Koon Leai Larryen_UK
dc.contributor.editorAlpuente, Mariaen_UK
dc.contributor.editorCook, Byronen_UK
dc.contributor.editorJoubert, Christopheen_UK
dc.date.accessioned2012-10-18T23:32:38Z-
dc.date.available2012-10-18T23:32:38Z-
dc.date.issued2009-11en_UK
dc.identifier.urihttp://hdl.handle.net/1893/2632-
dc.description.abstractCreating new services through composition of existing ones is an attractive option. However, composition can be complex and service compatibility needs to be checked. A rigorous and industrially-usable methodology is therefore desirable required for creating, verifying, implementing and validating composed services. An explanation is given of the approach taken by CRESS (Communication Representation Employing Systematic Specification). Formal verification and validation are performed through automated translation to LOTOS (Language Of Temporal Ordering Specification). Implementation and validation are performed through automated translation to BPEL (Business Process Execution Logic) and WSDL (Web Services Description Language). The approach is illustrated with an application to grid service composition in e-Social Science.en_UK
dc.language.isoenen_UK
dc.publisherSpringeren_UK
dc.relationTurner KJ & Tan KLL (2009) A Rigorous Methodology for Composing Services. In: Alpuente M, Cook B & Joubert C (eds.) Formal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedings. Lecture Notes in Computer Science (LNCS), Volume 5825. Berlin: Springer, pp. 165-180. https://doi.org/10.1007/978-3-642-04570-7en_UK
dc.relation.ispartofseriesLecture Notes in Computer Science (LNCS), Volume 5825en_UK
dc.rightsPublished in Lecture Notes in Computer Science by Springer Verlag. The final publication is available at www.springerlink.com; http://www.springerlink.com/content/j07276451736; Lecture Notes in Computer Science is a serial publication, ISSN: 0302-9743. See rights information at: http://www.springer.com/open+access/authors+rights?SGWID=0-176704-12-683201-0en_UK
dc.subjectComputational grids (Computer systems)en_UK
dc.subjectDatabase managementen_UK
dc.subjectWeb servicesen_UK
dc.subjectService-oriented architecture (Computer systems)en_UK
dc.titleA Rigorous Methodology for Composing Servicesen_UK
dc.typePart of book or chapter of booken_UK
dc.identifier.doi10.1007/978-3-642-04570-7en_UK
dc.citation.spage165en_UK
dc.citation.epage180en_UK
dc.citation.publicationstatusPublisheden_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.author.emailkjt@cs.stir.ac.uken_UK
dc.citation.btitleFormal Methods for Industrial Critical Systems: 14th International Workshop, FMICS 2009, Eindhoven, The Netherlands, November 2-3, 2009. Proceedingsen_UK
dc.citation.isbn978-3-642-04569-1en_UK
dc.publisher.addressBerlinen_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.contributor.affiliationUniversity of Stirlingen_UK
dc.identifier.wtid831940en_UK
dcterms.dateAccepted2009-11-30en_UK
dc.date.filedepositdate2010-12-17en_UK
rioxxterms.typeBook chapteren_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.contributorAlpuente, Maria|en_UK
local.rioxx.contributorCook, Byron|en_UK
local.rioxx.contributorJoubert, Christophe|en_UK
local.rioxx.freetoreaddate2010-12-17en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/all-rights-reserved|2010-12-17|en_UK
local.rioxx.filenameA Rigorous Methodology for Composing Services.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source978-3-642-04569-1en_UK
Appears in Collections:Computing Science and Mathematics Book Chapters and Sections

Files in This Item:
File Description SizeFormat 
A Rigorous Methodology for Composing Services.pdfFulltext - Accepted Version336.64 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.