1. STORRE
  2. Faculty of Natural Sciences
  3. Computing Science and Mathematics
  4. Computing Science and Mathematics Conference Papers and Proceedings
Please use this identifier to cite or link to this item: http://hdl.handle.net/1893/490
Full metadata record
DC FieldValueLanguage
dc.contributor.authorTurner, Kenneth Jen_UK
dc.contributor.editorReed, Ricken_UK
dc.contributor.editorReed, Jeanneen_UK
dc.date.accessioned2017-06-26T23:59:53Z-
dc.date.available2017-06-26T23:59:53Z-
dc.date.issued2003-07en_UK
dc.identifier.urihttp://hdl.handle.net/1893/490-
dc.description.abstractIt is convenient to describe telecomms services using a graphical notation that is accessible to non-specialists. However, the notation should also have a formal interpretation for rigorous analysis. CRESS (Chisel Representation Employing Systematic Specification) has been developed for this purpose. A brief overview of CRESS is given. It is explained how features (additional services) can be defined in a modular fashion, and automatically combined with a base service. Brief case studies illustrate how the approach has been used to describe services in the IN (Intelligent Network), SIP (Session Initiation Protocol), and IVR (Interactive Voice Response). Finally, it is shown how CRESS diagrams are translated into SDL for automated simulation, validation and implementation.en_UK
dc.language.isoenen_UK
dc.publisherSpringer-Verlagen_UK
dc.relationTurner KJ (2003) Formalising Graphical Service Descriptions using SDL. In: Reed R & Reed J (eds.) SDL 2003: System Design: 11th International SDL Forum, Stuttgart, Germany 2003, Proceedings. Lecture Notes in Computer Science 2708, volume 2708. 11th International SDL Forum, Stuttgart, 01.07.2003-04.07.2003. Berlin: Springer-Verlag, pp. 183-202. http://www.springerlink.com; https://doi.org/10.1007/3-540-45075-0_11en_UK
dc.relation.ispartofseriesLecture Notes in Computer Science 2708, volume 2708en_UK
dc.relation.urihttp://www.sdl-forum.org/Events/SDL11.htmen_UK
dc.rightsPublished by Springer-Verlag. The original publication is available at www.springerlink.comen_UK
dc.titleFormalising Graphical Service Descriptions using SDLen_UK
dc.typeConference Paperen_UK
dc.identifier.doi10.1007/3-540-45075-0_11en_UK
dc.citation.spage183en_UK
dc.citation.epage202en_UK
dc.citation.publicationstatusUnpublisheden_UK
dc.citation.peerreviewedRefereeden_UK
dc.type.statusAM - Accepted Manuscripten_UK
dc.identifier.urlhttp://www.springerlink.comen_UK
dc.author.emailkjt@cs.stir.ac.uken_UK
dc.citation.btitleSDL 2003: System Design: 11th International SDL Forum, Stuttgart, Germany 2003, Proceedingsen_UK
dc.citation.conferencedates2003-07-01 - 2003-07-04en_UK
dc.citation.conferencelocationStuttgarten_UK
dc.citation.conferencename11th International SDL Forumen_UK
dc.citation.isbn978-3-540-40539-9en_UK
dc.publisher.addressBerlinen_UK
dc.contributor.affiliationComputing Scienceen_UK
dc.identifier.wtid831105en_UK
dcterms.dateAccepted2003-07-31en_UK
dc.date.filedepositdate2008-10-20en_UK
rioxxterms.typeConference Paper/Proceeding/Abstracten_UK
rioxxterms.versionAMen_UK
local.rioxx.authorTurner, Kenneth J|en_UK
local.rioxx.projectInternal Project|University of Stirling|https://isni.org/isni/0000000122484331en_UK
local.rioxx.contributorReed, Rick|en_UK
local.rioxx.contributorReed, Jeanne|en_UK
local.rioxx.freetoreaddate2008-10-20en_UK
local.rioxx.licencehttp://www.rioxx.net/licenses/all-rights-reserved|2008-10-20|en_UK
local.rioxx.filenameserv-sdl.pdfen_UK
local.rioxx.filecount1en_UK
local.rioxx.source978-3-540-40539-9en_UK
Appears in Collections:Computing Science and Mathematics Conference Papers and Proceedings

Files in This Item:
File Description SizeFormat 
serv-sdl.pdfFulltext - Accepted Version253.14 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.