Embedding Scenario-based Modeling in Statecharts

Scenario-basedmodeling (SBM) is an approach for creating executable models for reactive systems where each artifact specifies a separate aspect of overall system behavior. SBM has many advantages, including structural alignment with requirements, intuitiveness and incrementality, and it is available in visual languages (e.g., LSC), textual languages (e.g., Java, C++) and DSLs (e.g., SML). In this position paper, we argue that endowing the Statecharts visual formalism with SBM capabilities can significantly benefit software and system engineering, enhancing intuitive visualization of specifications and designs, and their scalability and amenability to formal verification. We demonstrate the position by amalgamating Statecharts and SBM within the YAKINDU Statechart Tools.