Using norm analysis patterns for automated requirements validation

Author

Sharma, Ritu ; Biswas, Kanad K.

Author_Institution

Sch. of IT, Indian Inst. of Technol., Delhi, Delhi, India

fYear

2012

fDate

24-24 Sept. 2012

Firstpage

23

Lastpage

28

Abstract

Requirements validation is an integral activity of Requirements Engineering. An early detection of mismatch between the observable behavior of the real-world and the interpreted behavior of the information system after requirements analysis is essential to the success of the software developed. This paper presents how norm analysis patterns can be effectively utilized for automated software validation. Norms represent behavioral patterns in an organization. In this paper, we harness this fact to validate the elicited requirements.

Keywords

formal specification; program verification; automated requirements validation; automated software validation; behavioral patterns; information system; norm analysis patterns; requirements engineering; Cognition; Information systems; Libraries; Semantics; Software; Testing; Unified modeling language; Courteous Logic; Knowledge Representation; Norms; Requirements Engineering; Requirements Validation;

fLanguage

English

Publisher

ieee

Conference_Titel

Requirements Patterns (RePa), 2012 IEEE Second International Workshop on

Conference_Location

Chicago, IL

Print_ISBN

978-1-4673-4374-9

Electronic_ISBN

978-1-4673-4375-6

Type

conf

DOI

10.1109/RePa.2012.6359965

Filename

6359965