Using LOTOS for OSI

This paper discusses existing practice for OSI protocol development and then introduces new technologies utilising the formal description technique LOTOS. Particular emphasis is placed on the industrial applicability of the techniques described based on current experience with British Telecom. Many of the results described are being developed through collaborative projects with European initiatives such as Esprit II and RACE. The current focus for this work is the Esprit LOTOSPHERE project which is developing technologies to exploit LOTOS covering the complete protocol development lifecycle