A framework of a logic-based transformation system

Author

Tsai, Jeffrey J P ; Sheu, Ray-Yuan ; Li, Bing

Author_Institution

Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA

fYear

1992

fDate

21-25 Sep 1992

Firstpage

294

Lastpage

299

Abstract

The authors present a framework for a transformation system which can transform a nonmonotonic logic-based specification language, FRORL, into various kinds of procedural language programs. They discuss how to handle nonmonotonic inheritance in FRORL. A matrix-based data flow and dependency analysis mechanism is established to find all the possible data transformation paths in a logic-based specification. An algorithm is proposed to adjust the execution sequence of a logic-based specification so that the functions included in the logic-based specification can be represented by a procedural language program

Keywords

program debugging; specification languages; FRORL; data transformation paths; dependency analysis mechanism; framework; logic-based transformation system; matrix-based data flow; nonmonotonic logic-based specification language; procedural language programs; Application software; Automatic programming; Calculus; Computer languages; Knowledge engineering; Logic; Software engineering; Software systems; Specification languages;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1992. COMPSAC '92. Proceedings., Sixteenth Annual International

Conference_Location

Chicago, IL

Print_ISBN

0-8186-3000-0

Type

conf

DOI

10.1109/CMPSAC.1992.217551

Filename

217551