Transformation technique of algebraic specification

Author

Jin, Liqun ; Qian, Jiahua

Author_Institution

Dept. of Comput. Sci., Fudan Univ., Shanghai, China

fYear

1990

fDate

31 Oct-2 Nov 1990

Firstpage

705

Lastpage

710

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1990. COMPSAC 90. Proceedings., Fourteenth Annual International

Conference_Location

Chicago, IL

Print_ISBN

0-8186-2054-4

Type

conf

DOI

10.1109/CMPSAC.1990.139463

Filename

139463