RT-FRORL: a formal requirements specification language for specifying real-time systems

Author

Tsai, Jeffrey J P ; Jang, H.-C. ; Schellinger, Karen J.

Author_Institution

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

fYear

1991

fDate

11-13 Sep 1991

Firstpage

142

Lastpage

148

Abstract

FRORL is a requirements specification language which is proposed to exploit knowledge representation techniques as an aid in the specification, analysis and development of a software system. RT-FRORL is an extension of FRORL that inherits FRORL´s basic structure but also includes those language constructs needed to support the specification of real-time systems. The syntax of RT-FRORL is based on frames and production rules, and the semantics of RT-FRORL are defined through the integration of first-order logic and temporal logic extension. Using RT-FRORL, concurrent and absolute time properties of real-time systems can be specified easily

Keywords

formal specification; knowledge representation; real-time systems; specification languages; temporal logic; RT-FRORL; absolute time; concurrent time; first-order logic; formal requirements specification language; frames; knowledge representation; production rules; real-time systems; semantics; syntax; temporal logic extension; Knowledge representation; Logic; Petri nets; Postal services; Production; Real time systems; Space vehicles; Specification languages; Timing; Weapons;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1991. COMPSAC '91., Proceedings of the Fifteenth Annual International

Conference_Location

Tokyo

Print_ISBN

0-8186-2152-4

Type

conf

DOI

10.1109/CMPSAC.1991.170165

Filename

170165