Application of SDL-92 for the specification of OSI management systems

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.