Title :
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
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;
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
DOI :
10.1109/CMPSAC.1991.170165
