Specifying multiple-viewed software requirements with conceptual graphs

Abstract Among the phases of software development, requirements are particularly difficult to specify and analyze, since requirements for any large software system originate with many different people. Each person's view of the software requirements may be expressed in a different notation based on that person's knowledge, experience, and vocabulary. To perform a knowledge-based analysis of the requirements in combination, a single knowledge representation must be capable of capturing the information expressible in several existing requirements notations. This article introduces notation of conceptual graphs based on semantic networks that provides a general representation. Four common requirements notations are shown to be expressible using conceptual graphs; algorithms and examples are provided.

[1]  Douglas T. Ross,et al.  Structured Analysis for Requirements Definition , 1977, IEEE Transactions on Software Engineering.

[2]  Alfred V. Aho,et al.  The Theory of Parsing, Translation, and Compiling , 1972 .

[3]  Mack W. Alford.  SREM at the Age of Eight; The Distributed Computing Design System , 1985, Computer.

[4]  John Mylopoulos,et al.  Knowledge Representation as the Basis for Requirements Specifications , 1985, Computer.

[5]  Pamela Zave,et al.  An Operational Approach to Requirements Specification for Embedded Systems , 1982, IEEE Transactions on Software Engineering.

[6]  John F. Sowa,et al.  Conceptual Structures: Information Processing in Mind and Machine , 1983 .

[7]  Steven Phillip Wartik.  A multi-level approach to the production of requirements for interactive computer systems , 1983 .

[8]  Alan M. Davis,et al.  Software requirements - analysis and specification , 1990 .

[9]  Martin L. Kersten,et al.  Developing interactive information systems with the User Software Engineering methodology , 1986, IEEE Transactions on Software Engineering.

[10]  Gruia-Catalin Roman,et al.  A taxonomy of current issues in requirements engineering , 1985, Computer.

[11]  Victor Weinberg,et al.  Structured Analysis , 1978 .

[12]  Peter Radford,et al.  Petri Net Theory and the Modeling of Systems , 1982 .

[13]  Douglas T. Ross,et al.  Applications and Extensions of SADT , 1985, Computer.

[14]  Harry S. Delugach,et al.  A multiple viewed approach to software requirements , 1992 .

[15]  H. Fuks,et al.  Multiparty specification , 1989, IWSSD '89.

[16]  G. P. Mullery,et al.  CORE - a method for controlled requirement specification , 1979, ICSE 1979.

[17]  William Agresti.  Guidelines for applying the Composite Specification Model (CSM) , 1987 .

[18]  Mack W. Alford.  A Requirements Engineering Methodology for Real-Time Processing Requirements , 1977, IEEE Transactions on Software Engineering.

[19]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[20]  Sidney C. Bailin,et al.  An object-oriented requirements specifications method , 1989, CACM.

[21]  David Harel,et al.  On visual formalisms , 1988, CACM.