Abstract
FRORL (Frame-and-Rule Oriented Requirements specification Language) was proposed to exploit knowledge representation techniques as an aid in the specification, analysis, and development of a software system. With the real-time software systems as our target systems, the merely mechanisms provided by FRORL cannot meet the specific demands on real-time software systems. As a result, in this paper, we propose RT-FRORL (Real-Time FRORL) as an extension of FRORL. RT-FRORL not only 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. The semantics of RT-FRORL is 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 easily specified.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callMore From: International Journal on Artificial Intelligence Tools
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
