City Research Online

A framework for expressing the relationships between multiple views in requirements specification

Nuseibeh, B., Kramer, J. and Finkelstein, A. ORCID: 0000-0003-2167-9844 (1994). A framework for expressing the relationships between multiple views in requirements specification. IEEE Transactions on Software Engineering (TSE), 20, pp. 760-773. doi: 10.1109/32.328995

Abstract

Composite systems are generally comprised of heterogeneous components whose specifications are developed by many development participants. The requirements of such systems are invariably elicited from multiple perspectives that overlap, complement, and contradict each other. Furthermore, these requirements are generally developed and specified using multiple methods and notations, respectively. It is therefore necessary to express and check the relationships between the resultant specification fragments. In this paper, we deploy multiple ViewPoints that hold partial requirements specifications, described and developed using different representation schemes and development strategies. We discuss the notion of inter-ViewPoint communication in the context of this ViewPoints framework, and propose a general model for ViewPoint interaction and integration. We elaborate on some of the requirements for expressing and enacting inter-ViewPoint relationships-the vehicles for consistency checking and inconsistency management. Finally, though we use simple fragments of the requirements specification method CORE to illustrate various components of our work, we also outline a number of larger case studies that me have used to validate our framework. Our computer-based ViewPoints support environment, The Viewer, is also briefly described.

Publication Type: Article
Additional Information: © 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.
Subjects: H Social Sciences > HD Industries. Land use. Labor
Q Science > QA Mathematics > QA75 Electronic computers. Computer science
T Technology > TA Engineering (General). Civil engineering (General)
Departments: Presidents's Portfolio
Date available in CRO: 22 Jul 2021 08:24
Date deposited: 22 July 2021
Date of first online publication: 1994
URI: https://openaccess.city.ac.uk/id/eprint/26493
[img]
Preview
Text - Accepted Version
Download (114kB) | Preview

Export

Downloads

Downloads per month over past year

View more statistics

Actions (login required)

Admin Login Admin Login