Abstract
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typically described as TMN objects, SDL-92 is used to describe the V5 signalling stack as well as all the distributed components. The resultant combined model is used to automatically produce an efficient C++ implementation. TTCN is the language used to evaluate the conformance of the V5 interface standards. However, complementar and service oriented testing is also required. Service provision correctness, service interaction avoidance and, particularly, quality of the services, need characterisation. For that, MSC and SDL combined languages complemented with time and probabilistic descriptions, are being used to specify test purposes, describe and verify test cases.
Chapter PDF
Similar content being viewed by others
Abbreviations
- ADT:
-
Abstract Data Type
- AN:
-
Access Network
- ASN.1:
-
Abstract Syntax Notation One
- FSM:
-
Finite State Machine
- EFSM:
-
Extended Finite State Machine.
- ETSI:
-
European Telecommunication Standards Institute
- HDLC:
-
High Level Data Link Control.
- LAPV5:
-
Link Access Procedure for V5.
- ISDN:
-
Integrated Services Digital Network
- MO:
-
Managed Object
- MIB:
-
Management Information Base
- MSC:
-
Message Sequence Chart
- OAMP:
-
Operation Administration, Maintenance and Prov isioning
- OMT:
-
Object Modeling Technique
- ONP:
-
Open Network Provisioning
- O:
-
O O - bject Oriented
- PId:
-
Process Identifier
- PSTN:
-
Public Switched Telephone Network
- QOS:
-
Quality of Service
- SDL:
-
Specification and Description Language
- TMN:
-
Telecommunication Management Network
- TTCN:
-
Tree and Tabular combined Notation.
References
ITU: Z.100 (1993): CCITT Specification and Description Language (SDL). ITU-T Jun. 1994.
Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, and W. Lorensen: Object Oriented Modeling and Design. Prentice Hall, International Editions (1991).
Witaszekm E. Holz, M. Wasowski, Stefanie Lau, J. Fisher, A development Method for SDL-92 Specifications Based on OMT, in SDL’95: with MSC in CASE, R. Braek and A. Sarma (eds), Elseiver Science Publ, (1995) pp. 103–113.
F. Guo, T. MacKenzie Translation of OMT to SDL-92 in SDL’95: with MSC in CASE, R. Braek and A. Sarma (eds), Elseiver Science Publ, (1995) pp. 115–125.
ETSI: ETS 300–324–1 Signalling Protocols and Switching (SPS); V interfaces at the digital Local Exchange (LE), V5.1 interface for the support of Access Network (AN), Part 1: V5.1 interface specification, ETSI (1994).
ETSI: ETS 300–347–1 Signalling Protocols and Switching (SPS); V interfaces at the digital Local Exchange (LE), V5.2 interface for the support of Access Network (AN), Part 1: V5.2 interface specification, ETSI (1994).
ETSI: ETS 300–376–1 Signalling Protocols and Switching (SPS); Q3 interface at the Access Network (AN) for configuration management of V5 interfaces and associated user ports, Part 1: Q3 interface specification, ETSI (1994).
ETSI: ETS 300–378–1 Signalling Protocols and Switching (SPS); Q3 interface at the Access Network (AN) for fault and performance management of V5 interfaces and associated user ports, Part 1: Q3 interface specification, ETSI (1994).
E. Inocêncio, M. Fonseca, SDL to C++ translator for ISDN Basic Rate Terminal Signalling, in SDL’93: Using Objects, O. Faergemand and A. Sarma (eds), Elseiver Science Publ, (1993) pp. 353–360.
A. Gillespie, Simon Rees, Access Network Management Modelling, IEEE Communication Magazine, March 1996 Vol 34 No 3 (1996).
ETSI: ETS 300–324, Parts 2 to 8, V5.1 Conformance Test Specifications, ETSI (1994).
ETSI: ETS 300–347, Parts 2 to 8, V5.2 Conformance Test Specifications, ETSI (1994).
D. Hogrefe, Status Report on the FMCT Project, in Proceedings of the 7th International Workshop on Protocol Test Systems, Tokyo, 1994, pp. 165–180.
B. Algayres, Y. Lejeune and F. Hugonnet, GOAL: Observing SDL behaviours with Geode in SDL’95: with MSC in CASE, R. Braek and A. Sarma (eds), Elseiver Science Publ, (1995) pp. 223–230.
P. Combes, S. Pickin, B. Renard, F. Olsen, MSCs to express Service Requirements as properties on a SDL model: Application to Service Interaction Detection in SDL’95: with MSC in CASE, R. Braek and A. Sarma (eds), Elseiver Science Publ, (1995) pp. 243–255.
J. Grabowski, S. Hogrefe, I. Nussbaumer, A. Spichiger, Test Case Specification Based on MSC and ASN.1 in SDL’95: with MSC in CASE, R. Braek and A. Sarma (eds), Elseiver Science Publ, (1995) pp. 307–322.
S. Leue, Specifying Real-Time Requirements for SDL Specifications - a Temporal Logic Based Approach, in Proceedings of the 15th International Symposium on Protocol Specification, Testing and Verification, Warsaw, 1995, pp. 19–34.
P. Gunningberg et all, Application Protocols and Performance Benchmarks, IEEE Communications Magazine, June 1989.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1996 IFIP International Federation for Information Processing
About this chapter
Cite this chapter
Inocêncio, E., Ricardo, M., Sato, H., Kashima, T. (1996). Combined Application of SDL-92, OMT, MSC and TTCN. In: Gotzhein, R., Bredereke, J. (eds) Formal Description Techniques IX. IFIP Advances in Information and Communication Technology. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35079-0_29
Download citation
DOI: https://doi.org/10.1007/978-0-387-35079-0_29
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-5041-2883-4
Online ISBN: 978-0-387-35079-0
eBook Packages: Springer Book Archive