.png){kind=icon}
Return
A logic-based transformation system
.png){kind=icon}
PRE
AI
DOI：10.1109/69.667092.png)
.png){kind=icon}
Original request for help.png){kind=icon}
Share.png){kind=icon}
Save
Abstract
En 中文
In spite of advances in various transformation systems [5], [8], 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) [12], 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:
knowledge representation techniques
multiple inheritance
nonmonotonic logic
requirement specification language
transformation system
AI Summary
Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.
Journal
IF:
10.4
Papers:
6.9K
Citations:
3.2W
Organization
No organization information available
Cited Papers
Identification of Vibrio campbellii isolated from diseased farm-shrimps from south India and establishment of its pathogenic potential in an Artemia model.png)
Microbiology
OAAI
MicrobiologyIF0
OAAIShareSaveShareSaveShareSaveShareSave no more
no more