TY - GEN
T1 - Using state machines to model and manage requirements changes and specification changes
AU - Lin, Lan
AU - Carter, Jason M.
AU - Poore, Jesse H.
PY - 2008
Y1 - 2008
N2 - Requirements change management is one of the most complex and difficult problems to deal with in requirements elicitation and tracking. It is generally not understood how a specific change propagates through the specification and into implementation. In this paper, we propose to capture requirements changes as a series of atomic specification changes, and utilize state machines to model and manage those changes. We give a comprehensive treatment of state machine modifications with global impact, and propose twelve algorithms for managing all possible atomic requirements changes to a sequence-based specification. Finally, we demonstrate how to apply the proposed theory with a safe controller example.
AB - Requirements change management is one of the most complex and difficult problems to deal with in requirements elicitation and tracking. It is generally not understood how a specific change propagates through the specification and into implementation. In this paper, we propose to capture requirements changes as a series of atomic specification changes, and utilize state machines to model and manage those changes. We give a comprehensive treatment of state machine modifications with global impact, and propose twelve algorithms for managing all possible atomic requirements changes to a sequence-based specification. Finally, we demonstrate how to apply the proposed theory with a safe controller example.
UR - http://www.scopus.com/inward/record.url?scp=54249168056&partnerID=8YFLogxK
U2 - 10.1109/MWSCAS.2008.4616851
DO - 10.1109/MWSCAS.2008.4616851
M3 - Conference contribution
AN - SCOPUS:54249168056
SN - 9781424421671
T3 - Midwest Symposium on Circuits and Systems
SP - 523
EP - 526
BT - 2008 IEEE International 51st Midwest Symposium on Circuits and Systems, MWSCAS
T2 - 2008 IEEE International 51st Midwest Symposium on Circuits and Systems, MWSCAS
Y2 - 10 August 2008 through 13 August 2008
ER -