Title :
Executable TMN-specifications in TIMS
Author :
Eberhardt, R. ; Sidou, D. ; Festor, O. ; Mazziotta, S. ; Labetoulle, J.
Author_Institution :
Res. & Dev., Swiss Telecom PTT, Bern, Switzerland
Abstract :
Current TMN-based information model standards take too long to specify, standardise, implement, test and introduce. The TMN-based Information Model Simulator-TIMS-explores the possibilities of reducing this development life cycle. The TIMS-vision foresees a formally executable specification of the behavior of object interfaces which should enable: (1) rapid-prototyping of TMN agent and manager functions and later allow for (2) the generation of function reference configurations as well as (3) the automatic derivation of test-suites based on the formal specifications
Keywords :
formal specification; knowledge based systems; object-oriented methods; software agents; software prototyping; telecommunication computing; telecommunication network management; telecommunication standards; TIMS; TMN agent functions; TMN manager functions; TMN-based Information Model Simulator; TMN-based information model standards; development life cycle; executable TMN-specifications; formal specifications; formally executable specification; function reference configurations; object interfaces; rapid-prototyping; test-suites; Access control; Automatic testing; Encoding; Formal specifications; Marine vehicles; Protection; Publishing; Runtime; Synchronous digital hierarchy; Telecommunications;
Conference_Titel :
Network Operations and Management Symposium, 1996., IEEE
Conference_Location :
Kyoto
Print_ISBN :
0-7803-2518-4
DOI :
10.1109/NOMS.1996.539466
