A frame and rule based system to support software development using an integrated software engineering paradigm

A software system that uses the concepts of frames and production rules to support software development using an integrated software engineering paradigm is presented. This system includes a frame-and-rule oriented requirements language (FRORL), a predominance/particular methodology, and a knowledge base. FRORL uses frame representation for object-oriented modeling, applies production rules for specifying actions and constraints of real domains, and provides a set of abstract mechanisms for the practical description of abstract relations. The predominance/particular methodology is used to support the software development using FRORL. In modeling an application system by means of this methodology, the main features are represented first using simple and general description, while detailed and specific description is added incrementally. The knowledge base provides rules for specification checking, prototype validation, and transformation of specifications into programs. A real problem is given to illustrate the system