CREWS validation frames: validating systems requirements

Author

Maiden, Neil

Author_Institution

Centre for Human-Comput. Interface Design, City Univ., London, UK

fYear

1998

fDate

35905

Firstpage

42401

Lastpage

42406

Abstract

Proposes a pattern language for socio-technical system design to inform the validation of system requirements. The development of this language takes its inspiration from C. Alexander´s (1979) pattern language for building design in architecture. Our pattern language identifies different types of patterns which fulfil different roles in the requirements engineering process. This pattern-based validation approach has been operationalised in the CREWS-SAVRE (Specification And Validation of REquirements) software prototype, developed as part of the ESPRIT 21903 CREWS (Co-operative Requirements Engineering With Scenarios) project. CREWS-SAVRE applies patterns to both scenarios and requirements documents to detect missing and incorrect system requirements, as well as to recommend new requirements which can improve the design of the socio-technical system

Keywords

formal verification; CREWS validation frames; CREWS-SAVRE software prototype; ESPRIT project 21903; architecture; building design; cooperative requirements engineering; incorrect system requirements; missing system requirements; pattern language; pattern-based validation; requirements documents; scenarios; socio-technical system design; systems requirements validation;

fLanguage

English

Publisher

iet

Conference_Titel

Understanding Patterns and Their Application to Systems Engineering (Digest No. 1998/308), IEE Colloquium on

Conference_Location

London

Type

conf

DOI

10.1049/ic:19980542

Filename

706999