UWSpace will be migrating to a new version of its software from July 29th to August 1st. UWSpace will be offline for all UW community members during this time.

Show simple item record

dc.contributor.authorAbbassi, Ali
dc.contributor.authorBandali, Amin
dc.contributor.authorDay, Nancy
dc.contributor.authorSerna, Jose
dc.date.accessioned2020-06-16 19:56:48 (GMT)
dc.date.available2020-06-16 19:56:48 (GMT)
dc.description.abstractDeclarative behavioural modelling is a powerful modelling paradigm that enables users to model system func- tionality abstractly and concisely. We compare two well-used formal declarative modelling languages, B and TLA+, with a new modelling language called Dash. Dash is an extension of Alloy with explicit syntactic constructs for modelling transition systems, and it includes control state hierarchy and events. Particular topics that we cover in our comparison are: differences in the datatypes and type systems; how the transitions/operations can be described; how the transition relation is a combination of the transitions; and the default choice each language makes regarding permitted variable changes in a transition. Our goal is to discuss the interesting differentiating characteristics of each language to aid users in determining which language is the most suitable for their system.en
dc.subjectformal specificationen
dc.subjectformal verificationen
dc.subjectsoftware engineeringen
dc.subjectsoftware qualityen
dc.subjectsystems analysisen
dc.subjectobject-oriented programmingen
dc.subjectsoftware architectureen
dc.subjectpublic domain softwareen
dc.subjectdeclarative modellingen
dc.subjecttransition systemen
dc.titleA Comparison of the Declarative Modelling Languages B, Dash, and TLA+en
dc.typeConference Paperen
dcterms.bibliographicCitationA. Abbassi, A. Bandali, N. Day and J. Serna, "A Comparison of the Declarative Modelling Languages B, Dash, and TLA+," 2018 IEEE 8th International Model-Driven Requirements Engineering Workshop (MoDRE), Banff, AB, 2018, pp. 11-20, doi: 10.1109/MoDRE.2018.00008.en
uws.contributor.affiliation1Faculty of Mathematicsen
uws.contributor.affiliation2David R. Cheriton School of Computer Scienceen

Files in this item


This item appears in the following Collection(s)

Show simple item record


University of Waterloo Library
200 University Avenue West
Waterloo, Ontario, Canada N2L 3G1
519 888 4883

All items in UWSpace are protected by copyright, with all rights reserved.

DSpace software

Service outages