Dokumentasjon av menneske-maskin data

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.