Details
| Original language | English |
|---|---|
| Pages (from-to) | 15-27 |
| Number of pages | 13 |
| Journal | Science of computer programming |
| Volume | 149 |
| Early online date | 27 Jul 2017 |
| Publication status | Published - 1 Dec 2017 |
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
ASJC Scopus subject areas
- Computer Science(all)
- Software
Cite this
- Standard
- Harvard
- Apa
- Vancouver
- BibTeX
- RIS
In: Science of computer programming, Vol. 149, 01.12.2017, p. 15-27.
Research output: Contribution to journal › Article › Research › peer review
}
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
N1 - Funding Information: This work is funded by grant no. 1258 of the German–Israeli Foundation for Scientific Research and Development (GIF).
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
VL - 149
SP - 15
EP - 27
JO - Science of computer programming
JF - Science of computer programming
SN - 0167-6423
ER -