Conference Proceeding

Formalising Graphical Service Descriptions using SDL

Details

Citation

Turner 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_11

Abstract
It 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.

StatusUnpublished
Title of seriesLecture Notes in Computer Science 2708
Number in seriesvolume 2708
Publication date31/07/2003
URLhttp://hdl.handle.net/1893/490
Related URLshttp://www.sdl-forum.org/Events/SDL11.htm
PublisherSpringer-Verlag
Publisher URLhttp://www.springerlink.com
Place of publicationBerlin
ISBN978-3-540-40539-9
Conference11th International SDL Forum
Conference locationStuttgart
Dates

People (1)

Professor KEN Turner

Professor KEN Turner

Emeritus Professor, Computing Science