Reference:
Ralf Teusner, Gregor Gabrysiak, Stefan Richter, Stefan Kleff, "Interactive Strategy-Based Validation of Behavioral Models", in Proc. of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques, GT-VMT'13, 2013.
Abstract:
When behavioral models are derived automatically based on observed stakeholder interactions, requirements engineers need to validate whether the stakeholders agree with the synthesized behavioral models. Allowing stakeholders to experience such behavioral models through simulation and animation allows them to comment on, amend to and correct these models. However, to ensure an efficient stakeholder validation, the simulation has to be guided instead of confronting the user with random situations over and over again. In this paper, we present a strategy-driven simulator capable of guiding the execution of behavioral models based on graph transformations. By analyzing either the overall structure of a partial state space (look ahead) or by performing an in-depth analysis of the states therein, the simulator is able to determine which transformations should be executed next to continue on the most promising path through the overall state space. The discussed implementation is illustrated with a case study.
Links:
@InProceedings{TGR+13---InteractiveStrategyBasedValidation,
AUTHOR = {Teusner, Ralf and Gabrysiak, Gregor and Richter, Stefan and Kleff, Stefan},
TITLE = {{Interactive Strategy-Based Validation of Behavioral Models}},
YEAR = {2013},
BOOKTITLE = {Proc. of the 12th International Workshop on Graph Transformation and Visual Modeling Techniques},
SERIES = {GT-VMT'13},
PDF = {uploads/pdf/TGR+13---InteractiveStrategyBasedValidation.pdf},
OPTacc_pdf = {},
ABSTRACT = {When behavioral models are derived automatically based on observed stakeholder interactions, requirements engineers need to validate whether the stakeholders agree with the synthesized behavioral models. Allowing stakeholders to experience such behavioral models through simulation and animation allows them to comment on, amend to and correct these models. However, to ensure an efficient stakeholder validation, the simulation has to be guided instead of confronting the user with random situations over and over again. In this paper, we present a strategy-driven simulator capable of guiding the execution of behavioral models based on graph transformations. By analyzing either the overall structure of a partial state space (look ahead) or by performing an in-depth analysis of the states therein, the simulator is able to determine which transformations should be executed next to continue on the most promising path through the overall state space. The discussed implementation is illustrated with a case study.}
}
Copyright notice: This material is presented to ensure timely dissemination of
scholarly and technical work. Copyright and all rights therein are retained by
authors or by other copyright holders. All persons copying this information are
expected to adhere to the terms and constraints invoked by each author's copyright.
In most cases, these works may not be reposted without the explicit permission of
the copyright holder.
Powered by
bibtexbrowser