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

fYear

1988

fDate

5-7 Oct. 1988

Firstpage

410

Lastpage

417

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Computer Software and Applications Conference, 1988. COMPSAC 88. Proceedings., Twelfth International

Conference_Location

Chicago, IL, USA

Print_ISBN

0-8186-0873-0

Type

conf

DOI

10.1109/CMPSAC.1988.17206

Filename

17206