DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy
Loading...
Date
2017-09-04
Authors
Serna, Jose
Day, Nancy A.
Farheen, Sabria
Journal Title
Journal ISSN
Volume Title
Publisher
IEEE
Abstract
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-level abstractions that create and factor sets of transitions, such as state hierarchy, and the use of full first-order logic to describe the transitions.
Description
Keywords
metals, heating systems, model checking, analytical models, syntactics, tools, systematics, formal specification, formal verification, specification languages, DASH language, Statechart language family, first-order logic, labelled control state hierarchy, declarative transitions, abstract transitions, declarative behavioural requirements, user-level abstractions, transition system, behavioural models, statecharts, model-driven engineering