DocumentCode
1504557
Title
Restructuring requirements specifications
Author
Russo, A. ; Nuseibeh, B. ; Kramer, J.
Author_Institution
Dept. of Comput., Imperial Coll. of Sci., Technol. & Med., London, UK
Volume
146
Issue
1
fYear
1999
fDate
2/1/1999 12:00:00 AM
Firstpage
44
Lastpage
53
Abstract
Describes the restructuring of multi-perspective requirements specifications to facilitate the identification and analysis of inconsistencies and the management of change. A partial, heterogeneous and reasonably large requirements specification from a NASA project is analysed and decomposed into a structure of viewpoints, where each viewpoint encapsulates partial requirements of some system components described in the specification. Relationships between viewpoints are identified and include not only the interactions explicitly stated in the requirements but also some implicit and potentially problematic interdependencies. The restructuring process and a first informal analysis of the resulting relationships enable the detection of inconsistencies and the definition of some interesting domain-dependent consistency rules. It is believed that this restructuring into viewpoints also facilitates requirements understanding through partitioning, and requirements maintenance and evolution through explicit identification of the inter-viewpoint relationships
Keywords
formal specification; management of change; NASA project; change management; domain-dependent consistency rules; inconsistencies identification; inter-viewpoint relationships identification; interdependencies; multi-perspective requirements specifications restructuring; partitioning; requirements evolution; requirements maintenance; requirements understanding; viewpoint structure;
fLanguage
English
Journal_Title
Software, IEE Proceedings -
Publisher
iet
ISSN
1462-5970
Type
jour
DOI
10.1049/ip-sen:19990156
Filename
762685
Link To Document