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

Joel Greenyer; Daniel Gritzner; Timo Gutjahr; Florian König; Nils Glade; Assaf Marron; Guy Katz

doi:10.1016/j.scico.2017.07.004

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

Joel Greenyer^*, Daniel Gritzner, Timo Gutjahr, Florian König, Nils Glade, Assaf Marron, Guy Katz

^*Corresponding author for this work

Research output: Contribution to journal › Article › peer-review

28 Scopus citations

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.

Original language	American English
Pages (from-to)	15-27
Number of pages	13
Journal	Science of Computer Programming
Volume	149
DOIs	https://doi.org/10.1016/j.scico.2017.07.004
State	Published - 1 Dec 2017
Externally published	Yes

Bibliographical note

Funding Information:
This work is funded by grant no. 1258 of the German–Israeli Foundation for Scientific Research and Development (GIF).

Publisher Copyright:
© 2017 Elsevier B.V.

Keywords

Controller synthesis
Dynamic system structure
Reactive systems
Realizability
Scenarios

Access to Document

10.1016/j.scico.2017.07.004

Cite this

@article{dffbae63501d4b1caa89c3a123cbc237,

title = "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.",

keywords = "Controller synthesis, Dynamic system structure, Reactive systems, Realizability, Scenarios",

author = "Joel Greenyer and Daniel Gritzner and Timo Gutjahr and Florian K{\"o}nig and Nils Glade and Assaf Marron and Guy Katz",

note = "Funding Information: This work is funded by grant no. 1258 of the German–Israeli Foundation for Scientific Research and Development (GIF). Publisher Copyright: {\textcopyright} 2017 Elsevier B.V.",

year = "2017",

month = dec,

day = "1",

doi = "10.1016/j.scico.2017.07.004",

language = "American English",

volume = "149",

pages = "15--27",

journal = "Science of Computer Programming",

issn = "0167-6423",

publisher = "Elsevier",

}

TY - JOUR

T1 - SCENARIOTOOLS – A tool suite for the scenario-based modeling and analysis of reactive systems

AU - Greenyer, Joel

AU - Gritzner, Daniel

AU - Gutjahr, Timo

AU - König, Florian

AU - Glade, Nils

AU - Marron, Assaf

AU - Katz, Guy

PY - 2017/12/1

Y1 - 2017/12/1

N2 - 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.

AB - 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.

KW - Controller synthesis

KW - Dynamic system structure

KW - Reactive systems

KW - Realizability

KW - Scenarios

UR - http://www.scopus.com/inward/record.url?scp=85027394534&partnerID=8YFLogxK

U2 - 10.1016/j.scico.2017.07.004

DO - 10.1016/j.scico.2017.07.004

M3 - Article

AN - SCOPUS:85027394534

SN - 0167-6423

VL - 149

SP - 15

EP - 27

JO - Science of Computer Programming

JF - Science of Computer Programming

ER -

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

Abstract

Bibliographical note

Keywords

Access to Document

Other files and links

Fingerprint

Cite this