FORM: a formal object-oriented requirements model based upon conceptual graphs

Information system requirements analysis can be viewed as a systematic process of modelling the problem domain. A model is constructed during this process which reflects human understanding of the domain. The authors introduce the FORM requirements model (formal object-oriented requirements model) based on conceptual graphs, whose graphical and linear representations provide a simple unifying formalism for the main concepts of requirements modelling based upon the object-oriented paradigm. An object class in FORM is a description of attributes, associations, and events. Actors are attached to event descriptions so that the procedural knowledge of events can be described. FORM has precise semantics and a set of formal model primitives which provide a means to model problem domains at the conceptual level with a formal basis.<
>