Integrating Inter-Object Scenarios with Intra-object Statecharts for Developing Reactive Systems
David Harel, Rami Marelly, Assaf Marron, Smadar Szekely

TL;DR
This paper presents a novel development environment that combines scenario-based programming with object-oriented Statecharts to facilitate the design, testing, and potential code generation of reactive systems from requirements.
Contribution
It introduces an integrated environment that merges LSC scenario-based models with Statecharts, enabling seamless transition from requirements to implementation.
Findings
Supports semantically-rich joint execution of models
Enables creation of testable models from early requirements
Potential for automatic code generation
Abstract
In all software development projects, engineers face the challenge of translating the requirements layer into a design layer, then into an implementation-code layer, and then validating the correctness of the result. Many methodologies, languages and tools exist for facilitating the process, including multiple back-and-forth `refinement trips' across the requirements, design and implementation layers, by focusing on formalizing the artifacts involved and on automating a variety of tasks throughout. In this paper, we introduce a novel and unique development environment, which integrates scenario-based programming (SBP) via the LSC language and the object-oriented, visual Statecharts formalism, for the development of reactive systems. LSC targets creation of models and systems directly from requirement specifications, and Statecharts is used mainly for specifying final component behavior.…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
