Enlighten
Research publications by members of the University of Glasgow
home > services > Enlighten

Engineering telecommunication services with SDL

Sinnott, R.O., and Kolberg, M. (1999) Engineering telecommunication services with SDL. In: Ciancarini, P., Fantechi, A. and Gorrieri, R. (eds.) IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS): February 15-18, 1999, Florence, Italy. Series: International federation for information processing (10). Kluwer Academic, Boston, USA, pp. 187-204. ISBN 9780792384298

[img] Text
7234.pdf

140Kb

Publisher's URL: http://www.springer.com/computer/communications/book/978-0-7923-8429-8

Abstract

If formal techniques are to be more widely accepted then they should evolve as current software engineering approaches evolve. Current techniques in the development of distributed systems use interface definition languages (IDLs) as a basis for the underlying communication and also as an abstraction tool. Object-oriented technologies [6] and the idea of engineering software through frameworks [5] are also widely accepted approaches in developing software. In this paper we show how the formal specification language SDL and associated tool support have been applied in the TOSCA1 project to engineer telecommunication services using these current techniques.

Item Type:Book Section
Status:Published
Refereed:Yes
Glasgow Author(s) Enlighten ID:Sinnott, Prof Richard
Authors: Sinnott, R.O., and Kolberg, M.
Subjects:Q Science > QA Mathematics > QA75 Electronic computers. Computer science
College/School:University Services > IT Services > Computing Service
Journal Name:Proceedings of Conference on Formal Methods for Open Object-Based Distributed Systems
Publisher:Kluwer Academic
Copyright Holders:Copyright © 1999 Springer
Publisher Policy:Reproduced in accordance with the copyright policy of the publisher.

University Staff: Request a correction | Enlighten Editors: Update this record

Downloads per month over past year

View more statistics