Title :
Rapid prototyping using FRORL language
Author :
Tsai, Jeffrey J P ; Aoyama, Mikio ; Chang, Y.L.
Author_Institution :
Dept. of Electr. Eng. & Comput. Sci., Illinois Univ., Chicago, IL, USA
Abstract :
Presents a knowledge-based rapid prototyping system that facilitates the documentation, analysis, and development of a software system. The particular application domain to be modeled is represented in terms of objects and activities. A frame-and-rule oriented requirements language (FRORL) is developed to describe the objects and activities of the problem domain. FRORL is designed to capture most of the semantics of the application domain, thus making it possible to translate the requirements specification directly to the Prolog code. The checking for correctness of the specification developed in FRORL using a resolution strategy is also presented.<>
Keywords :
knowledge based systems; software engineering; specification languages; system documentation; systems analysis; FRORL; Prolog code; activities; documentation; frame-and-rule oriented requirements language; knowledge-based rapid prototyping system; objects; requirements specification; resolution strategy; semantics; software development; specification correctness checking; systems analysis; Application software; Artificial intelligence; Documentation; Hardware; Natural languages; Performance analysis; Programming; Prototypes; Software prototyping; Software systems;
Conference_Titel :
Computer Software and Applications Conference, 1988. COMPSAC 88. Proceedings., Twelfth International
Conference_Location :
Chicago, IL, USA
Print_ISBN :
0-8186-0873-0
DOI :
10.1109/CMPSAC.1988.17206
