Title :
From LOTOS to Occam
Author_Institution :
Jozef Stefan Inst., Ljubljana, Yugoslavia
Abstract :
A comparison of the formal description technique LOTOS and the programming language Occam 2 is given in the paper. It is shown that under certain restrictions there exists a natural and straightforward possibility of implementing LOTOS specifications into Occam programs. Special emphasis is given to modelling and implementation of communications software, especially protocols and services
Keywords :
Occam; Occam listings; computer aided analysis; formal specification; parallel programming; protocols; LOTOS; LOTOS specifications; Occam 2; Occam programs; communications software; formal description technique; modelling; modelling technique; programming language; protocols;
Conference_Titel :
Software Engineering for Real Time Systems, 1989., Second International Conference on
Conference_Location :
Cirencester
