Situation-Oriented Software Requirements Specification and Model Generation

Date
2018-01-01
Authors
Atukorala, Nimanthi
Chang, Carl
Chang, Carl
Major Professor
Advisor
Committee Member
Journal Title
Journal ISSN
Volume Title
Publisher
Altmetrics
Authors
Chang, Carl
Person
Research Projects
Organizational Units
Computer Science
Organizational Unit
Journal Issue
Series
Department
Computer Science
Abstract

In this paper, we present a semi-automated software requirements specification (SRS) and model generation methodology in order to formally represent the requirements elicited in human-centered fashion presented in our earlier study. The term situation is defined as a 3-tuple < d; A;E > where d denotes human desire, A denotes the action vector, and E denotes the environment context vector. The probabilistic, timed situationtransition structure was derived using the observational data and was proposed to use as a source of new human-centered requirements elicitation. We illustrate the proposed methodology through some test cases with open access data sets and a comparison between existing SRS and the proposed SRS is given.

Comments
Description
Keywords
Citation
DOI
Source
Collections