Skip header navigation

University of Stirling

×

Conference Proceeding

Engineering Telecommunication Services with SDL

Citation
Sinnott R & Kolberg M (1999) Engineering Telecommunication Services with SDL. In: Ciancarini P, Fantechi A & Gorrieri R (eds.) Formal Methods for Open Object-Based Distributed Systems: IFIP TC6 / WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS), February 15–18, 1999, Florence, Italy. IFIP Advances in Information and Communication Technology, 10. IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS), Florence, Italy, 15.02.1999-18.02.1999. Berlin Heidelberg: Springer, pp. 187-204. http://www.springer.com/computer/communication+networks/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.

StatusPublished
Author(s)Sinnott, Richard; Kolberg, Mario
Title of seriesIFIP Advances in Information and Communication Technology
Number in series10
Publication date31/12/1999
Publication date online28/02/1999
PublisherSpringer
Publisher URLhttp://www.springer.com/…78-0-7923-8429-8
Place of publicationBerlin Heidelberg
ISSN of series1868-4238
ISBN978-0-7923-8429-8
ConferenceIFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Objec-Based Distributed Systems (FMOODS)
Conference locationFlorence, Italy
Dates
Scroll back to the top