Details
| Originalsprache | Englisch |
|---|---|
| Titel des Sammelwerks | MODELS 2018 Workshops |
| Untertitel | Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018) |
| Seiten | 376-385 |
| Seitenumfang | 10 |
| Publikationsstatus | Veröffentlicht - 2018 |
| Veranstaltung | 2018 MODELS Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS, MODELS-WS 2018 - Copenhagen, Dänemark Dauer: 14 Okt. 2018 → 19 Okt. 2018 |
Publikationsreihe
| Name | CEUR Workshop Proceedings |
|---|---|
| Herausgeber (Verlag) | CEUR Workshop Proceedings |
| Band | 2245 |
| ISSN (Print) | 1613-0073 |
Abstract
Scenario-based modeling (SBM) is an approach for creating executable models for reactive systems that are comprised of scenarios, each of which describing a separate aspect of the overall desired and undesired system behavior. SBM advantages include model intuitiveness, executability, amenability to formal verification, alignment with the requirements, and incrementality of the development. Here, we showcase two new SBM frameworks (which join the ones for LSC, SML, Java, C++, and others) by demonstrating the respective solutions to the MDETools18 Rover Follower challenge. One is IOSM-K, an LSC/SML-style inter-object scenario modeling framework for the Kotlin language, and the other is BPjs, a framework for behavioral programming for Javascript. We illustrate how the SBM advantages are manifested in developing such composite control logic, and discuss the differences, relative advantages of, and considerations in choosing, each of these SBM frameworks.
ASJC Scopus Sachgebiete
- Informatik (insg.)
- Allgemeine Computerwissenschaft
Zitieren
- Standard
- Harvard
- Apa
- Vancouver
- BibTex
- RIS
MODELS 2018 Workshops: Proceedings of MODELS 2018 Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS co-located with ACM/IEEE 21st International Conference on Model Driven Engineering Languages and Systems (MODELS 2018). 2018. S. 376-385 (CEUR Workshop Proceedings; Band 2245).
Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › Peer-Review
}
TY - GEN
T1 - Modeling and programming a leader-follower challenge problem with scenario-based tools
AU - Greenyer, Joel
AU - Bar-Sinai, Michael
AU - Weiss, Gera
AU - Sadon, Aviran
AU - Marron, Assaf
PY - 2018
Y1 - 2018
N2 - Scenario-based modeling (SBM) is an approach for creating executable models for reactive systems that are comprised of scenarios, each of which describing a separate aspect of the overall desired and undesired system behavior. SBM advantages include model intuitiveness, executability, amenability to formal verification, alignment with the requirements, and incrementality of the development. Here, we showcase two new SBM frameworks (which join the ones for LSC, SML, Java, C++, and others) by demonstrating the respective solutions to the MDETools18 Rover Follower challenge. One is IOSM-K, an LSC/SML-style inter-object scenario modeling framework for the Kotlin language, and the other is BPjs, a framework for behavioral programming for Javascript. We illustrate how the SBM advantages are manifested in developing such composite control logic, and discuss the differences, relative advantages of, and considerations in choosing, each of these SBM frameworks.
AB - Scenario-based modeling (SBM) is an approach for creating executable models for reactive systems that are comprised of scenarios, each of which describing a separate aspect of the overall desired and undesired system behavior. SBM advantages include model intuitiveness, executability, amenability to formal verification, alignment with the requirements, and incrementality of the development. Here, we showcase two new SBM frameworks (which join the ones for LSC, SML, Java, C++, and others) by demonstrating the respective solutions to the MDETools18 Rover Follower challenge. One is IOSM-K, an LSC/SML-style inter-object scenario modeling framework for the Kotlin language, and the other is BPjs, a framework for behavioral programming for Javascript. We illustrate how the SBM advantages are manifested in developing such composite control logic, and discuss the differences, relative advantages of, and considerations in choosing, each of these SBM frameworks.
UR - http://www.scopus.com/inward/record.url?scp=85063102127&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:85063102127
T3 - CEUR Workshop Proceedings
SP - 376
EP - 385
BT - MODELS 2018 Workshops
T2 - 2018 MODELS Workshops: ModComp, MRT, OCL, FlexMDE, EXE, COMMitMDE, MDETools, GEMOC, MORSE, MDE4IoT, MDEbug, MoDeVVa, ME, MULTI, HuFaMo, AMMoRe, PAINS, MODELS-WS 2018
Y2 - 14 October 2018 through 19 October 2018
ER -