DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy
| dc.contributor.author | Serna, Jose | |
| dc.contributor.author | Day, Nancy A. | |
| dc.contributor.author | Farheen, Sabria | |
| dc.date.accessioned | 2020-07-02T16:33:16Z | |
| dc.date.available | 2020-07-02T16:33:16Z | |
| dc.date.issued | 2017-09-04 | |
| dc.description.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. | en |
| dc.identifier.uri | https://doi.org/10.1109/REW.2017.70 | |
| dc.identifier.uri | http://hdl.handle.net/10012/16024 | |
| dc.language.iso | en | en |
| dc.publisher | IEEE | en |
| dc.relation.uri | https://cs.uwaterloo.ca/∼nday/2017-modre | en |
| dc.subject | metals | en |
| dc.subject | heating systems | en |
| dc.subject | model checking | en |
| dc.subject | analytical models | en |
| dc.subject | syntactics | en |
| dc.subject | tools | en |
| dc.subject | systematics | en |
| dc.subject | formal specification | en |
| dc.subject | formal verification | en |
| dc.subject | specification languages | en |
| dc.subject | DASH language | en |
| dc.subject | Statechart language family | en |
| dc.subject | first-order logic | en |
| dc.subject | labelled control state hierarchy | en |
| dc.subject | declarative transitions | en |
| dc.subject | abstract transitions | en |
| dc.subject | declarative behavioural requirements | en |
| dc.subject | user-level abstractions | en |
| dc.subject | transition system | en |
| dc.subject | behavioural models | en |
| dc.subject | statecharts | en |
| dc.subject | model-driven engineering | en |
| dc.title | DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy | en |
| dc.type | Conference Paper | en |
| dcterms.bibliographicCitation | J. Serna, N. A. Day and S. Farheen, "DASH: A New Language for Declarative Behavioural Requirements with Control State Hierarchy," 2017 IEEE 25th International Requirements Engineering Conference Workshops (REW), Lisbon, 2017, pp. 64-68, doi: 10.1109/REW.2017.70. | en |
| uws.contributor.affiliation1 | Faculty of Mathematics | en |
| uws.contributor.affiliation2 | David R. Cheriton School of Computer Science | en |
| uws.peerReviewStatus | Reviewed | en |
| uws.scholarLevel | Faculty | en |
| uws.scholarLevel | Graduate | en |
| uws.typeOfResource | Text | en |