Kb/RMS: an Intelligent Assistant for Requirement Definition

In this paper, we present a conceptual framework and a system model for an intelligent assistant for requirement definition, KB/RMS. The requirement definition process is characterized by the Requirement Context Model. Informal and formal methods for requirement definition are considered in the light of this model, which serves as the logical schema for the KB/RMS database. We summarize conventional and knowledge-based system support for requirement definition. The use of natural language processing, a semantic model of the problem and solution spaces, domain and technology models, inference driven augmentation, validation, and verification of the semantic model is discussed. Finally, we present the production of design representations from the augmented semantic model.