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. 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 we have used to validate our framework. Our computer-based
ViewPoints support environment, The Viewer, is also briefly described
%0 Journal Article
%1 nuseibeh1994
%A Nuseibeh, B.
%A Kramer, J.
%A Finkelstein, A.
%D 1994
%J IEEE Transactions on Software Engineering
%K CORE, The ViewPoints ViewPoints, Viewer, checking, communication, components, computer-based consistency formal framework, heterogeneous inconsistency inter-ViewPoint management, method multiple partial requirements specification specification, specifications, support, views,
%N 10
%P 760--773
%R 10.1109/32.328995
%T A Framework for Expressing the Relationships Between Multiple Views
in Requirements Specification
%V 20
%X 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. 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 we have used to validate our framework. Our computer-based
ViewPoints support environment, The Viewer, is also briefly described
@article{nuseibeh1994,
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. 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 we have used to validate our framework. Our computer-based
ViewPoints support environment, The Viewer, is also briefly described},
added-at = {2007-05-04T05:48:10.000+0200},
author = {Nuseibeh, B. and Kramer, J. and Finkelstein, A.},
biburl = {https://www.bibsonomy.org/bibtex/2bdb489a50cc782c8cd887d3c4d2c8372/p_ansell},
description = {Context-aware business processes},
doi = {10.1109/32.328995},
interhash = {80c9f42f33f9ef1ce9db39194275c9de},
intrahash = {bdb489a50cc782c8cd887d3c4d2c8372},
issn = {0098-5589},
journal = {IEEE Transactions on Software Engineering},
keywords = {CORE, The ViewPoints ViewPoints, Viewer, checking, communication, components, computer-based consistency formal framework, heterogeneous inconsistency inter-ViewPoint management, method multiple partial requirements specification specification, specifications, support, views,},
number = 10,
owner = {peter},
pages = {760--773},
pdf = {HonoursResearch/Nuseibeh1994-AFrameworkForExpressingRelationshipsBetweenMultipleViewsInRequirementsSpecification.pdf},
timestamp = {2007-05-04T05:48:12.000+0200},
title = {A Framework for Expressing the Relationships Between Multiple Views
in Requirements Specification},
volume = 20,
year = 1994
}