Browsing University of Waterloo by Subject "transition systems"
Now showing items 1-2 of 2
-
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: 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 ...