Software Patterns for Traceability of Requirements to Finite State Machine Behavior : Application to Rail Transit Systems Design and Management

@inproceedings{Delgoshaei2012SoftwarePF,
  title={Software Patterns for Traceability of Requirements to Finite State Machine Behavior : Application to Rail Transit Systems Design and Management},
  author={Parastoo Delgoshaei},
  year={2012}
}
This paper describes a software design pattern (e.g., hierarchical graphs of modelview-controllers) and models of visualization for ontology-enabled traceability, where requirements are traced to elements of finite-state machine behavior (e.g., actions, states, transitions and guard conditions). These ontology-enabled traceability mechanisms will play an important role in the team-based development of network-enabled platforms for analysis, design, and early validation and verification of… CONTINUE READING