Abstract
The development of efficient computer systems is an important aspect of a successful company. Telecommunication companies are no exception
to this, and it's often critical that the system behaves in an
expected and efficient manor. The way the development of the computer
system is carried out can be of great importance. Different techniques are used to ensure that the computer systems behave
and operate as expected. For the development of telecommunications
systems, different specification techniques are often used to ensure
that the computer system operates according to standards and requirement specifications set by the ITU-T. The computer
system specifications are also used to give an overview of the
system.
This thesis examines two formal specification languages used for
development of telecommunications systems, HMI and GDMO. These two
specification languages are meant to specify different parts of a
telecommunications system, but the mapping and communication between
these 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 specification
languages. The thesis also describes the two languages position in a
telecommunications system and shortly describes the other parts of the system.