Browsing Waterloo Research by Subject "statecharts"
Now showing items 1-3 of 3
-
Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems
(IEEE, 2021-09)Modelling systems abstractly shows great promise to uncover bugs early in system development. The formal language Alloy provides the means of writing constraints abstractly, but lacks explicit constructs for describing ... -
DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy
(IEEE, 2017-09-04)We present DASH, a new language for describing formal behavioural models of requirements. DASH combines the ability to write abstract, declarative transitions (as in Z or Alloy) with a labelled control state hierarchy (as ... -
Dash: declarative behavioural modelling in Alloy with control state hierarchy
(Springer Nature, 2023-04)We present Dash, an extension to the Alloy language to model dynamic behaviour using the labelled control state hierarchy of Statecharts. From Statecharts, Dash borrows the concepts to specify hierarchy, concurrency, and ...