Title :
Evaluation of LOTOS based transformational environments
Author :
León, G. ; Ruz, M.A. ; Infante, J. ; Kloos, C. Delgado ; González, G.
Author_Institution :
Dept. Ing. de Sistemas Telematicos, Tech. Univ. of Madrid, Spain
Abstract :
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
Keywords :
formal specification; software tools; specification languages; ASDE; CAML; CIP environment; CSG; LOTOS; functional language; specifications; transformation rules; transformational environments; Cloning; Optimizing compilers; Prototypes; Telecommunications; Testing; Variable speed drives;
Conference_Titel :
CompEuro '90. Proceedings of the 1990 IEEE International Conference on Computer Systems and Software Engineering
Conference_Location :
Tel-Aviv
Print_ISBN :
0-8186-2041-2
DOI :
10.1109/CMPEUR.1990.113679
