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
Text
7234.pdf 143kB |
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 Sections |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Sinnott, Professor 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 |
ISBN: | 9780792384298 |
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