Title :
Application of SDL-92 for the specification of OSI management systems
Author :
Rodriguez, M. ; Calmeau, R. ; Fernández, E.
Author_Institution :
Dept. de Teoria de la Senal y Comunicaciones e Ingenieria Telematica, Valladolid Univ., Spain
Abstract :
Network resources in OSI network management are modeled using managed objects. These objects are specified by the semi-formal language GDMO that describes their behaviour (using natural language) and static structures. This drawback in the behaviour specification can be solved using formal methods. A mapping method from GDMO information models to SDL-92 specifications based on the direct translation of the GDMO template into SDL constructs is presented in this paper. This solution simplifies the automatic translation process between both languages and solves some of the problems because of the differences in the object-oriented concepts involved. An example of the proposed translation method and its application to OSI management system specifications are also presented
Keywords :
formal specification; open systems; specification languages; telecommunication computing; telecommunication network management; GDMO information models; OSI network management; SDL-92; automatic translation; formal methods; managed objects; mapping method; object-oriented concepts; specification; Formal specifications; Information management; Natural languages; Object oriented modeling; Open systems; Proposals; Resource management; Telecommunications;
Conference_Titel :
Integrated Network Management, 1999. Distributed Management for the Networked Millennium. Proceedings of the Sixth IFIP/IEEE International Symposium on
Conference_Location :
Boston, MA
Print_ISBN :
0-7803-5748-5
DOI :
10.1109/INM.1999.770700
