The development of efficient computer systems is an important aspect of a successful company. Telecommunication companies are no exceptionto this, and it's often critical that the system behaves in anexpected and efficient manor. The way the development of the computersystem is carried out can be of great importance. Different techniques are used to ensure that the computer systems behaveand operate as expected. For the development of telecommunicationssystems, different specification techniques are often used to ensurethat the computer system operates according to standards and requirement specifications set by the ITU-T. The computersystem specifications are also used to give an overview of thesystem.
This thesis examines two formal specification languages used fordevelopment of telecommunications systems, HMI and GDMO. These twospecification languages are meant to specify different parts of atelecommunications system, but the mapping and communication betweenthese two different languages have not been fully developed. This thesis examines the problems and possible solutions associated with this mapping and looks at possible extensions of the languages and other possible languages that might make this mapping easier. The text also looks at possible shortcomings of the chosen specificationlanguages. The thesis also describes the two languages position in atelecommunications system and shortly describes the other parts of the system.