DocumentCode
2707214
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
fYear
1990
fDate
8-10 May 1990
Firstpage
552
Lastpage
553
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/CMPEUR.1990.113679
Filename
113679
Link To Document