Situation-Oriented Software Requirements Specification and Model Generation

Date
2018-01-01
Authors
Atukorala, Nimanthi
Chang, Carl
Chang, Carl
Journal Title
Journal ISSN
Volume Title
Publisher
Source URI
Altmetrics
Authors
Chang, Carl
Person
Research Projects
Organizational Units
Computer Science
Organizational Unit
Journal Issue
Series
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.

Description
Keywords
Situation, Discrete-time, Markov chain
Citation
Collections