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

fYear

1999

fDate

1999

Firstpage

447

Lastpage

460

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/INM.1999.770700

Filename

770700