UWSpace is currently experiencing technical difficulties resulting from its recent migration to a new version of its software. These technical issues are not affecting the submission and browse features of the site. UWaterloo community members may continue submitting items to UWSpace. We apologize for the inconvenience, and are actively working to resolve these technical issues.
 

Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems

Simple item page
dc.contributor.authorHossain, Tamjid
dc.contributor.authorDay, Nancy A.
dc.date.accessioned2022-04-01T18:45:07Z
dc.date.available2022-04-01T18:45:07Z
dc.date.issued2021-09
dc.description© 2021 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works.en
dc.description.abstractModelling systems abstractly shows great promise to uncover bugs early in system development. The formal language Alloy provides the means of writing constraints abstractly, but lacks explicit constructs for describing transition systems. Extensions to Alloy, such as Electrum, DynAlloy, and Dash, provide such constructs. However, still missing are language constructs to describe easily multiple processes with the same behaviour (replicated processes) running in parallel as is found in languages such as PlusCal and PROMELA. In this paper, we describe our proposal for adding explicit constructs to Dash for replicated processes. The result is Dash+: an Alloy language extension for describing transition systems that include both concurrent and hierarchical states and parametrized concurrent processes.en
dc.description.sponsorshipNatural Sciences and Engineering Research Council of Canada (NSERC).en
dc.identifier.urihttps://doi.org/10.1109/REW53955.2021.00010
dc.identifier.urihttp://hdl.handle.net/10012/18127
dc.language.isoenen
dc.publisherIEEEen
dc.relation.ispartofseriesIEEE 29th International Requirements Engineering Conference Workshops;;
dc.subjectalloyen
dc.subjectstatechartsen
dc.subjectdeclarative modellingen
dc.subjecttransition systemsen
dc.subjectreplicated processesen
dc.titleDash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systemsen
dc.typeConference Paperen
dcterms.bibliographicCitationHossain, T., & Day, N. A. (2021). Dash+: Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems. 2021 IEEE 29th International Requirements Engineering Conference Workshops (REW), 21–29. https://doi.org/10.1109/REW53955.2021.00010en
uws.contributor.affiliation1Faculty of Mathematicsen
uws.contributor.affiliation2David R. Cheriton School of Computer Scienceen
uws.peerReviewStatusRevieweden
uws.scholarLevelFacultyen
uws.scholarLevelGraduateen
uws.typeOfResourceTexten

Files

Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
Name:
Dash+ Extending Alloy with Hierarchical States and Replicated Processes for Modelling Transition Systems (1).pdf
Size:
241.52 KB
Format:
Adobe Portable Document Format
Description:
Download
License bundle
Now showing 1 - 1 of 1
No Thumbnail Available
Name:
license.txt
Size:
4.47 KB
Format:
Item-specific license agreed upon to submission
Description:
Download

Collections

Waterloo Research
Computer Science