A Comparison of the Declarative Modelling Languages B, Dash, and TLA+
| dc.contributor.author | Abbassi, Ali | |
| dc.contributor.author | Bandali, Amin | |
| dc.contributor.author | Day, Nancy | |
| dc.contributor.author | Serna, Jose | |
| dc.date.accessioned | 2020-06-16T19:56:48Z | |
| dc.date.available | 2020-06-16T19:56:48Z | |
| dc.date.issued | 2019-08 | |
| dc.description.abstract | Declarative 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.identifier.uri | https://doi.org/10.1109/MoDRE.2018.00008 | |
| dc.identifier.uri | http://hdl.handle.net/10012/15995 | |
| dc.language.iso | en | en |
| dc.publisher | IEEE | en |
| dc.subject | formal specification | en |
| dc.subject | formal verification | en |
| dc.subject | software engineering | en |
| dc.subject | software quality | en |
| dc.subject | systems analysis | en |
| dc.subject | object-oriented programming | en |
| dc.subject | software architecture | en |
| dc.subject | grammars | en |
| dc.subject | learning | en |
| dc.subject | public domain software | en |
| dc.subject | declarative modelling | en |
| dc.subject | comparison | en |
| dc.subject | transition system | en |
| dc.title | A Comparison of the Declarative Modelling Languages B, Dash, and TLA+ | en |
| dc.type | Conference Paper | en |
| dcterms.bibliographicCitation | A. 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.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 |