Evaluation of LOTOS based transformational environments

A description is given of practical experience with the design and use of transformational environments oriented to the generation of LOTOS specifications. Three different prototypes have been used and evaluated. The first one is a transformational system built on top of the functional language CAML, the second one is an instantiation of the CIP environment to LOTOS (LOTOS-CIP), and the third is based on CSG and aims to support the industrial generation of LOTOS specifications (ASDE). The authors find that transformational environments are very valuable when a rich catalog of transformation rules and mechanisms for combining them are implemented.<
>