A logic-based transformation system

Author

Tsai, Jeffrey J P ; Li, Bing ; Weigert, Thomas

Author_Institution

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

Volume

10

Issue

1

fYear

1998

Firstpage

91

Lastpage

107

Abstract

In spite of advances in various transformation systems the transformation of a nonmonotonic-logic-based requirements specification into a procedural (imperative) language program has not been investigated. This paper presents a logic-based transformation system that can transform a nonmonotonic-logic-based specification, the Frame-and-Rule Oriented Requirement Specification Language (FRORL), into procedural language programs. We discuss how to handle nonmonotonic inheritance in FRORL and then establish a matrix-based data flow and dependency analysis mechanism to find all the possible data transformation paths in a logic-based specification. Using a newly developed algorithm, we can adjust the execution sequence of a logic-based specification so that the functions included in the logic-based specification can be represented by a sequential procedural language program

Keywords

inheritance; knowledge representation; nonmonotonic reasoning; specification languages; FRORL; data flow; data transformation; dependency analysis; inheritance; nonmonotonic inheritance; nonmonotonic logic; requirements specification; sequential procedural language; Calculus; Computer languages; Data analysis; Helium; Information analysis; Logic; Specification languages; Tail;

fLanguage

English

Journal_Title

Knowledge and Data Engineering, IEEE Transactions on

Publisher

ieee

ISSN

1041-4347

Type

jour

DOI

10.1109/69.667092

Filename

667092