Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | MoDELS 2016 - Demos and Posters |
| Untertitel | Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016) |
| Seiten | 16-23 |
| Seitenumfang | 8 |
| Publikationsstatus | Veröffentlicht - 11 Nov. 2016 |
| Veranstaltung | ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016) - Saint-Malo, Frankreich Dauer: 2 Okt. 2016 → 7 Okt. 2016 |
Publikationsreihe
| Name | CEUR Workshop Proceedings |
|---|---|
| Herausgeber (Verlag) | CEUR Workshop Proceedings |
| Band | 1725 |
| ISSN (Print) | 1613-0073 |
Abstract
Software-intensive systems such as communicating cars or collaborating robots consist of multiple interacting components, where physical or virtual relationships between components change at run-time. This dynamic system structure influences the components' behavior, which again affects the system's structure. With the often distributed and concurrent nature of the software, this causes substantial complexity that must be mastered during system design. For this purpose, we propose a specification method that combines scenario-based modeling and graph transformations. The specifications are executable and can be analyzed via simulation. We furthermore developed a formal synthesis procedure that can find inconsistencies or prove the specification's realizability. This method is implemented in Scenario Tools, an Eclipse-based tool suite that combines the Scenario Modeling Language, an extended variant of LS Cs, and graph transformations modeled with Henshin. The particular novelty is the synthesis support for systems with dynamic structure.
ASJC Scopus Sachgebiete
- Informatik (insg.)
- Allgemeine Computerwissenschaft
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
MoDELS 2016 - Demos and Posters: Proceedings of the MoDELS 2016 Demo and Poster Sessions co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016). 2016. S. 16-23 (CEUR Workshop Proceedings; Band 1725).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
}
TY - GEN
T1 - Scenario-based modeling and synthesis for reactive systems with dynamic system structure in scenario tools
AU - Greenyer, Joel
AU - Gritzner, Daniel
AU - Katz, Guy
AU - Marron, Assaf
PY - 2016/11/11
Y1 - 2016/11/11
N2 - Software-intensive systems such as communicating cars or collaborating robots consist of multiple interacting components, where physical or virtual relationships between components change at run-time. This dynamic system structure influences the components' behavior, which again affects the system's structure. With the often distributed and concurrent nature of the software, this causes substantial complexity that must be mastered during system design. For this purpose, we propose a specification method that combines scenario-based modeling and graph transformations. The specifications are executable and can be analyzed via simulation. We furthermore developed a formal synthesis procedure that can find inconsistencies or prove the specification's realizability. This method is implemented in Scenario Tools, an Eclipse-based tool suite that combines the Scenario Modeling Language, an extended variant of LS Cs, and graph transformations modeled with Henshin. The particular novelty is the synthesis support for systems with dynamic structure.
AB - Software-intensive systems such as communicating cars or collaborating robots consist of multiple interacting components, where physical or virtual relationships between components change at run-time. This dynamic system structure influences the components' behavior, which again affects the system's structure. With the often distributed and concurrent nature of the software, this causes substantial complexity that must be mastered during system design. For this purpose, we propose a specification method that combines scenario-based modeling and graph transformations. The specifications are executable and can be analyzed via simulation. We furthermore developed a formal synthesis procedure that can find inconsistencies or prove the specification's realizability. This method is implemented in Scenario Tools, an Eclipse-based tool suite that combines the Scenario Modeling Language, an extended variant of LS Cs, and graph transformations modeled with Henshin. The particular novelty is the synthesis support for systems with dynamic structure.
KW - Analysis
KW - Controller synthesis
KW - Dynamic system structure
KW - Graph transformation
KW - Live sequence charts
KW - Reactive systems
KW - Realizability
KW - Scenario Modeling Language
KW - Scenario-based specification
KW - Specification inconsistency
UR - http://www.scopus.com/inward/record.url?scp=84999233505&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84999233505
T3 - CEUR Workshop Proceedings
SP - 16
EP - 23
BT - MoDELS 2016 - Demos and Posters
T2 - ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2016)
Y2 - 2 October 2016 through 7 October 2016
ER -