The Integration of LOTOS with an Object Oriented Development Method

This paper describes the first step in an attempt of transferring the formal description technique (FDT) LOTOS from a research department to a development department within the Ascom Group. The existing development methods used within the department had to be taken into consideration. It was found that LOTOS would fit best as a complement to the Object Oriented (OO) development method used — Objectory1. Methodical and representational aspects of integrating LOTOS with this method were studied and are presented in the paper.