Title :
Transformation technique of algebraic specification
Author :
Jin, Liqun ; Qian, Jiahua
Author_Institution :
Dept. of Comput. Sci., Fudan Univ., Shanghai, China
fDate :
31 Oct-2 Nov 1990
Abstract :
A formal transformation process to implement algebraic specification is introduced which relaxes the linear restriction of the algebraic axioms. The formal transformation process can process nonlinear algebraic specification, and it can make the expression of the algebraic specification more flexible and richer. From this formal process, different implementation systems can be derived formally based on different programming languages. A Pascal-based transformation system which transforms EAS (embedded algebraic specification) specification into a Pascal program is described. This Pascal-based transformation system has been developed on a Micro Vax-II GPX workstation running Ultrix
Keywords :
Pascal; formal specification; EAS; Micro Vax-II GPX workstation; Pascal program; Pascal-based transformation system; Ultrix; algebraic specification; embedded algebraic specification; formal transformation process; programming languages; Computer languages; Computer science; Natural languages; Program processors; Programming; Software design; Specification languages; Workstations;
Conference_Titel :
Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International
Conference_Location :
Chicago, IL
Print_ISBN :
0-8186-2054-4
DOI :
10.1109/CMPSAC.1990.139463
