Conference Paper (published)
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.
Status | Unpublished |
---|---|
Title of series | Lecture Notes in Computer Science 2708 |
Number in series | volume 2708 |
Publication date | 31/07/2003 |
URL | http://hdl.handle.net/1893/490 |
Related URLs | http://www.sdl-forum.org/Events/SDL11.htm |
Publisher | Springer-Verlag |
Publisher URL | http://www.springerlink.com |
Place of publication | Berlin |
ISBN | 978-3-540-40539-9 |
Conference | 11th International SDL Forum |
Conference location | Stuttgart |
Dates | – |
People (1)
Emeritus Professor, Computing Science