Pei-Min Chen and Ching-Roung Chou
Institute of Computer Science and Information Engineering
National Chiao Tung University
Hsinchu, Taiwan 30050, Republic of China
A knowledge-based rapid prototyping system (KBS) is developed to assist system analysts and users to create consistent and complete requirement specifications and software prototypes. In the prototyping process, a requirement model, called RM, is used to model data intensive applications. This model is based on six modeling concepts which can capture more static properties and dynamic behavior and facilitate the generation of software prototypes. The consistency and completeness verifications provided by this system are formally defined by means of integrity constraints, inference rules, and algorithms. The integrity constraints describe the semantics of four kinds of relationships among objects, such as instance-of, part-of, is-a, and disjointness. The inference rules are used to deduce implicit relationship embedded in the acquired requirements. These relationships and inference rules are mapped into a digraph. Thus, the algorithms for these verifications can be transformed into the searching problems in Graph Theory.
Keywords: requirement engineering, rapid prototyping, knowledge-based system, requirement model, abstraction mechanism, consistency verification, completeness verification
Received November 17, 1988; revised July 24, 1989.
Communicated by Lin-Shan Lee.
*This work id done at the Software and Information Engineering Lab. Of NCTU and partially supported by the Institute of Information Industry under the grant C77048 and the Taiwan International Standard Electronics Ltd. under the grant C77061.