HYDRA: A Hypertext Model for Structuring Informal Requirements Representations 1

The ultimate measurement for software quality is the degree to which user needs are satisfied by the system. User needs are an essential input for developing a requirements specification and, in the first place, are most often represented using natural language, pictures, or graphics (informal representations). The consideration of user needs as a driving force throughout the development process is only possible if requirements traceability is assured. Therefore, the specified requirements must be related with their sources, e.g. the user needs. Hypertext offers a technology for enabling this interrelation. We propose a formal hypertext model, called HYDRA, for structuring informal requirements information. HYDRA enriches the quasi standard hypertext model Dexter by introducing typed hy- pertext nodes and links. HYDRA is used to structure informal information during the requirements engineering process by creating formal hypertext objects which refer to the informal represen- tations (or part of it). These formal objects are used to relate informal information with other representations (e.g. entity relationship diagrams, first order logic constraints). Moreover, the formal structure enables situated and selective retrieval of informal information. The creation of the formal objects as well as their relation with other representations is supported by the PRO-ART environment.

[1]  Klaus Pohl A process centered requirements engineering environment , 1994 .

[2]  B. Ramesh,et al.  Issues in the development of a requirements traceability model , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[3]  Greg Taylor,et al.  Techniques for capturing expert knowledge: an expert systems/hypertext approach , 1990, Defense, Security, and Sensing.

[4]  Charles Richter,et al.  A review of the state of the practice in requirements modeling , 1993, [1993] Proceedings of the IEEE International Symposium on Requirements Engineering.

[5]  Walt Scacchi,et al.  On designing intelligent hypertext systems for information management in software engineering , 1987, Hypertext.

[6]  Walt Scacchi,et al.  ISHYS: designing an intelligent software hypertext system , 1989, IEEE Expert.

[7]  John B. Smith,et al.  Author's Argumentation Assistant (AAA): A Hypertext-Based Authoring Tool for Argumentative Texts , 1992, ECHT.

[8]  Jacques Hagelstein,et al.  Declarative approach to information systems requirements , 1988, Knowl. Based Syst..

[9]  Walt Scacchi,et al.  A hypertext system to manage software life-cycle documents , 1990, IEEE Software.

[10]  Michael L. Begeman,et al.  gIBIS: a hypertext tool for exploratory policy discussion , 1988, CSCW '88.

[11]  Robert Balzer,et al.  Informality in Program Specifications , 1899, IEEE Transactions on Software Engineering.

[12]  Norbert A. Streitz,et al.  Hypertext: concepts, systems and applications , 1992 .

[13]  Eve Wilson Links and Structures in Hypertext Databases for Law , 1990, ECHT.

[14]  Dines Bjørner,et al.  VDM '87 VDM — A Formal Method at Work , 1987, Lecture Notes in Computer Science.

[15]  Wilfred J. Hansen,et al.  Building Hypertext on a Multimedia Toolkit: An Overview of Andrew Toolkit Hypermedia Facilities , 1990, ECHT.

[16]  Richard H. Thayer,et al.  Standards, Guidelines, and Examples on System and Software Requirements Engineering , 1994 .

[17]  Patricia Carando Shadow: fusing hypertext with AI , 1989, IEEE Expert.

[18]  Matthias Jarke,et al.  Requirements engineering in 2001: (virtually) managing a changing reality , 1994, Softw. Eng. J..

[19]  Mack W. Alford,et al.  Software Requirements Engineering Methodology (SREM) at the age of two , 1978, COMPSAC.

[20]  Mayer D. Schwartz,et al.  Contexts: a partitioning concept for hypertext , 1986, CSCW '86.

[21]  Olly Gotel,et al.  An analysis of the requirements traceability problem , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[22]  Michael G. Christel,et al.  A multimedia approach to requirements capture and modeling , 1994, Proceedings of IEEE International Conference on Requirements Engineering.

[23]  Susanne Neubert,et al.  Model Consruction in MIKE (MOdel-Based and Incremental Knowledge Engineering) , 1993, EKAW.

[24]  Norbert A. Streitz,et al.  SEPIA: a cooperative hypermedia authoring environment , 1992, ECHT '92.

[25]  Nathaniel S. Borenstein,et al.  Multimedia Applications Development With the Andrew Toolkit , 1990 .

[26]  Manfred Stede,et al.  Zur Struktur von Texten: Eine Einführung in die Rhetorical Structure Theory , 1993, Künstliche Intell..

[27]  E. Jeffrey Conklin,et al.  A process-oriented approach to design rationale , 1991 .

[28]  Mayer D. Schwartz,et al.  The Dexter Hypertext Reference Model , 1994, CACM.

[29]  Jacob L. Cybulski,et al.  A hypertext based software-engineering environment , 1992, IEEE Software.

[30]  Matthias Jarke,et al.  Establishing Visions in Context: Towards a Model of Requirements Processes , 1994, EMISA Forum.

[31]  Haim Kilov On understanding hypertext: are links essential? , 1994, SOEN.

[32]  James Bigelow,et al.  Hypertext and CASE , 1988, IEEE Software.

[33]  Andreas Oberweis,et al.  Einsatzmöglichkeiten von Hypertext bei Software Engineering und Knowledge Engineering , 1992, Hypertext und Hypermedia.

[34]  Matthias Jarke,et al.  Telos: representing knowledge about information systems , 1990, TOIS.

[35]  J. Michael Spivey,et al.  The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.

[36]  Jeff Conklin,et al.  Hypertext: An Introduction and Survey , 1987, Computer.

[37]  Hermann Kaindl,et al.  The missing link in requirements engineering , 1993, SOEN.

[38]  Mack Alford,et al.  Software requirements engineering methodology (SREM) at the age of eleven—requirements driven design , 1989 .

[39]  Raymond McCall,et al.  JANUS: integrating hypertext with a knowledge-based design environment , 1989, Hypertext.

[40]  Vasant Dhar,et al.  Group Support and Change Propagation in Requirements Engineering , 1993 .

[41]  William C. Mann,et al.  RHETORICAL STRUCTURE THEORY: A THEORY OF TEXT ORGANIZATION , 1987 .

[42]  Marie-France Bruandet,et al.  A Hypertext Database Model for Information Management in Software Engineering , 1990, DEXA.

[43]  Martin Hofmann,et al.  An Integrated Approach of Knowledge Acquisition by the Hypertext System CONCORDE , 1990, ECHT.

[44]  Norbert A. Streitz,et al.  From ideas and arguments to hyperdocuments: travelling through activity spaces , 1989, Hypertext.

[45]  Klaus Pohl,et al.  The three dimensions of requirements engineering: a framework and its applications , 1994, Inf. Syst..

[46]  John Mylopoulos,et al.  On formal requirements modeling languages: RML revisited , 1994, Proceedings of 16th International Conference on Software Engineering.

[47]  Jie Lu,et al.  Declarative approach to information systems requirements , 1988 .

[48]  Mayer D. Schwartz,et al.  Neptune: a hypertext system for CAD applications , 1986, SIGMOD '86.