Simulation-Assisted Elicitation and Validation of Behavioral Specifications for Multiple Stakeholders

Eliciting and validating requirements of multi-user workflows grows more complicated if numerous stakeholders work together to achieve their common goal. To ensure that the software system being specified supports these stakeholders suitably, the requirements engineers need to gather all information concerning who interacts with whom to do what and why. Since such information is highly intertwined and distributed over several stakeholders, they can only be elicited and validated collaboratively. However, going back and forth between different stakeholders is a time-consuming task for the requirements engineers. In this paper, we present a simulation approach allowing stakeholders to validate behavioral specifications of collaborative workflows decoupled and independent from each other. Apart from the capability to replay and re-arrange already observed behavior, the simulator also allows stakeholders to play-in additional formal specifications intuitively, thereby capturing, enriching and extending how they work and interact.