A Comparison of the Declarative Modelling Languages B, Dash, and TLA+

Ali Abbassi
Ali Abbassi
Amin Bandali
Amin Bandali
José Serna
José Serna

MoDRE@RE, pp. 11-20, 2018.

Cited by: 1|Bibtex|Views3|DOI:https://doi.org/10.1109/modre.2018.00008
EI
Other Links: dblp.uni-trier.de|academic.microsoft.com

Abstract:

Declarative behavioural modelling is a powerful modelling paradigm that enables users to model system functionality 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...More

Code:

Data:

Your rating :
0

 

Tags
Comments