DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy
RE Workshops, pp. 64-68, 2017.
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 in the Statecharts family of languages). The key contribution of DASH is the combination of explicit support for user-...More
Full Text (Upload PDF)
PPT (Upload PPT)