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.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
M. Björkander, Mapping IDL to SDL, Telelogic AB, 1997.
M. Born, A. Hoffmann, M. Winkler, J. Fischer, N. Fischbeck, Towards a Behavioural Description of ODL, Proceedings of TINA 97 Conference, Chile.
The Common Object Request Broker Architecture and Specification: Revision 2.0, Object Management Group, Inc., Framingham MA., July 1995.
M. Kolberg and E. Magill: Service and Feature Interactions in TINA, submitted to Feature Interaction Workshop’98, Lund, Sweden 1998.
R. Johnson and V. Russo, Reusing Object-Oriented Designs,Urbana, Ill., May 1991.
J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modelling and Design, Prentice Hall 1991.
I. Schieferdecker, M. Li, A. Hoffmann, Conformance Testing of TINA Service Components - the TTCN/CORBA Gateway, Proceedings of the Intelligence in Networks & Services Conference 1998, Antwerp, May 1998.
International Consultative Committee on Telegraphy and Telephony - SDL - Specification and Description Language,CCITT Z.100, International Telecommunications Union, Geneva, Switzerland, 1992.
R. Sinnott, Frameworks: The Future of Formal Software Development, to appear in Semantics of Specifications, Journal of Computer Standards and Interfaces, July 1998.
Telelogic AB, Getting Started Part 1 - Tutorials on SDT Tools,Telelogic AB, 1997.
TINA-C, Service Architecture, version 5.0, 16 June 1997.
TINA-C, Network Resource Architecture, Version 3.0, February 1997.
TINA-C, TINA Object Definition Language MANUAL, version 2. 3, July 1996.
TOSCA Consortium Deliverable 6, Initial Approaches to the Specification and Validation of TINA Services, Internal Deliverable AC237/GMD/WP3/DS/R/009/a l.
Basic Reference Model of ODP -Part 2: Foundations,ISO/IEC International Standard 10746–2, ITU-T Recommendation X.902, Geneva, Switzerland 1997.
For more information see http://www.fokus.gmd.de/minos/y.sce.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this paper
Cite this paper
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. FMOODS 1999. IFIP — The International Federation for Information Processing, vol 10. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35562-7_16
Download citation
DOI: https://doi.org/10.1007/978-0-387-35562-7_16
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5266-3
Online ISBN: 978-0-387-35562-7
eBook Packages: Springer Book Archive