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

fYear

1993

fDate

29-31 Mar 1993

Firstpage

221

Lastpage

228

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;

fLanguage

English

Publisher

ieee

Conference_Titel

Developing and Managing Intelligent System Projects, 1993., IEEE International Conference on

Conference_Location

Washington, DC

Print_ISBN

0-8186-3730-7

Type

conf

DOI

10.1109/DMISP.1993.248614

Filename

248614