ScenarioTools - A tool suite for the scenario-based modeling and analysis of reactive systems

Abstract ScenarioTools is an Eclipse-based tool suite for the scenario-based modeling and analysis of reactive systems. ScenarioTools especially targets the modeling and analysis of systems where the behavior of the components is sensitive to changes in the component structure that can occur at run-time. For example, in a system of communicating cars, the cars' relationships can change due to their movement and influence how cars must interact. The modeling in ScenarioTools is based on the Scenario Modeling Language (SML), an extended variant of Live Sequence Charts (LSCs). For modeling structural changes and conditions, graph transformation rules can be combined with SML. The specifications are executable and can be analyzed by simulation. ScenarioTools further supports a formal synthesis procedure that can find specification inconsistencies or prove the specification's realizability. In this article, we illustrate the features of ScenarioTools by an example and describe its architecture.

[1]  David Harel,et al.  Specifying and executing behavioral requirements: the play-in/play-out approach , 2003, Software & Systems Modeling.

[2]  David Harel,et al.  Synthesis from scenario-based specifications , 2012, J. Comput. Syst. Sci..

[3]  David Harel,et al.  Generating Executable Scenarios from Natural Language , 2009, CICLing.

[4]  Joel Greenyer,et al.  The ScenarioTools Play-Out of Modal Sequence Diagram Specifications with Environment Assumptions , 2013, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[5]  Shahar Maoz,et al.  Counter play-out: Executing unrealizable scenario-based specifications , 2013, 2013 35th International Conference on Software Engineering (ICSE).

[6]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

[7]  David Harel,et al.  PlayGo: towards a comprehensive tool for scenario based programming , 2010, ASE.

[8]  Maxime Cordy,et al.  Incrementally synthesizing controllers from scenario-based product line specifications , 2013, ESEC/FSE 2013.

[9]  Shahar Maoz.  Polymorphic scenario-based specification models: semantics and applications , 2010, Software & Systems Modeling.

[10]  Pierre-Yves Schobbens,et al.  From live sequence charts to state machines and back: a guided tour , 2005, IEEE Transactions on Software Engineering.

[11]  Matthias Tichy,et al.  Integrating Graph Transformations and Modal Sequence Diagrams for Specifying Structurally Dynamic Reactive Systems , 2014, SAM.

[12]  Guy Katz,et al.  Scenario-Based Modeling and Synthesis for Reactive Systems with Dynamic System Structure in ScenarioTools , 2016, D&P@MoDELS.

[13]  Kim G. Larsen,et al.  Scenario-based analysis and synthesis of real-time systems using uppaal , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[14]  Amir Pnueli,et al.  On the Development of Reactive Systems , 1989, Logics and Models of Concurrent Systems.

[15]  David Harel,et al.  Synthesizing State-Based Object Systems from LSC Specifications , 2000, Int. J. Found. Comput. Sci..

[16]  Fa A Comprare,et al.  Come , 1890, The Hospital.

[17]  Marsha Chechik,et al.  Synthesis of Partial Behavior Models from Properties and Scenarios , 2009, IEEE Transactions on Software Engineering.

[18]  Jürgen Dingel,et al.  A comparative survey of scenario-based to state-based model synthesis approaches , 2006, SCESM '06.

[19]  Gabriele Taentzer,et al.  Henshin: advanced concepts and tools for in-place EMF model transformations , 2010, MODELS'10.

[20]  Joel Greenyer,et al.  Evaluating a formal scenario-based method for the requirements analysis in automotive software engineering , 2015, ESEC/SIGSOFT FSE.

[21]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..