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

B. Nuseibeh, J. Kramer, A. Finkelstein
<span title="">1994</span> <i title="Institute of Electrical and Electronics Engineers (IEEE)"> <a target="_blank" rel="noopener" href="https://fatcat.wiki/container/dthyqga2onff5nwf4agwqtrhxi" style="color: black;">IEEE Transactions on Software Engineering</a> </i> &nbsp;
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
more &raquo; ... ragments. In this paper, we deploy multiple View-Points 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 we have used to validate our framework. Our computer-based Viewpoints support environment, The Viewer, is also briefly described.
<span class="external-identifiers"> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/32.328995">doi:10.1109/32.328995</a> <a target="_blank" rel="external noopener" href="https://fatcat.wiki/release/tvqkcve2i5dzlmpweuvzkxvbjq">fatcat:tvqkcve2i5dzlmpweuvzkxvbjq</a> </span>
<a target="_blank" rel="noopener" href="https://web.archive.org/web/20170810193855/https://spiral.imperial.ac.uk:8443/bitstream/10044/1/457/1/A%20Framework%20for%20Expressing%20the%20Relationships.pdf" title="fulltext PDF download" data-goatcounter-click="serp-fulltext" data-goatcounter-title="serp-fulltext"> <button class="ui simple right pointing dropdown compact black labeled icon button serp-button"> <i class="icon ia-icon"></i> Web Archive [PDF] <div class="menu fulltext-thumbnail"> <img src="https://blobs.fatcat.wiki/thumbnail/pdf/5b/4b/5b4be0f350e072cf5371e8e9786fbec36acda14d.180px.jpg" alt="fulltext thumbnail" loading="lazy"> </div> </button> </a> <a target="_blank" rel="external noopener noreferrer" href="https://doi.org/10.1109/32.328995"> <button class="ui left aligned compact blue labeled icon button serp-button"> <i class="external alternate icon"></i> ieee.com </button> </a>