Title :
FORM: a formal object-oriented requirements model based upon conceptual graphs
Author :
Ye, Peng ; Hughes, John G. ; McChesney, Ian R. ; Glass, Demck
Author_Institution :
Dept. of Inf. Syst., Ulster Univ., Newtownabbey, UK
Abstract :
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
Keywords :
formal specification; graph theory; information systems; object-oriented methods; FORM requirements model; attributes; conceptual graphs; events; formal model primitives; formal object-oriented requirements model; human understanding; linear representations; object-oriented paradigm; problem domain; procedural knowledge; simple unifying formalism; systematic process; Computer aided software engineering; Encapsulation; Glass; Graphics; Humans; Information analysis; Information systems; Knowledge engineering; Management information systems; Object oriented modeling;
Conference_Titel :
Developing and Managing Intelligent System Projects, 1993., IEEE International Conference on
Conference_Location :
Washington, DC
Print_ISBN :
0-8186-3730-7
DOI :
10.1109/DMISP.1993.248614
