Dataset supporting the publication "Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling"
Dataset supporting the publication "Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling"
This dataset is supporting the paper titled "Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling" in Proceedings of the 20th International Colloquium on Theoretical Aspects of Computing (ICTAC2023).
The data includes the Rodin Archive which can be imported into the Rodin Platform. It was developed using Rodin 3.6. The bundle (RL2112) can be downloaded from the following link
https://github.com/eventB-Soton/Rodin-Bundles/releases/tag/v3.6.0-2112
Users need to install Atelier-B prover additionally. The instructions can be found on this page
https://www.uml-b.org/Downloads.html
The archive contains one project called "triggered_statechart". The readers are recommended to browse the model in Rodin together with the accompanying PDF. The PDF contains the listing of the model in the ordered of development. In Rodin, one can also browse to see the proof.
The data is under the CC-BY-SA license
Run-to-Completion, Statecharts, Formal Semantics, SCXML, Event-B
University of Southampton
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Morris, Karla
b1823b83-c626-4ce2-aa5b-3a5fc8f0e1c2
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hoang, Thai Son
dcc0431d-2847-4e1d-9a85-54e4d6bab43f
Morris, Karla
b1823b83-c626-4ce2-aa5b-3a5fc8f0e1c2
Snook, Colin
b2055316-9f7a-4b31-8aa1-be0710046af2
Butler, Michael
54b9c2c7-2574-438e-9a36-6842a3d53ed0
Hoang, Thai Son, Morris, Karla, Snook, Colin and Butler, Michael
(2023)
Dataset supporting the publication "Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling".
University of Southampton
doi:10.5258/SOTON/D2791
[Dataset]
Abstract
This dataset is supporting the paper titled "Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling" in Proceedings of the 20th International Colloquium on Theoretical Aspects of Computing (ICTAC2023).
The data includes the Rodin Archive which can be imported into the Rodin Platform. It was developed using Rodin 3.6. The bundle (RL2112) can be downloaded from the following link
https://github.com/eventB-Soton/Rodin-Bundles/releases/tag/v3.6.0-2112
Users need to install Atelier-B prover additionally. The instructions can be found on this page
https://www.uml-b.org/Downloads.html
The archive contains one project called "triggered_statechart". The readers are recommended to browse the model in Rodin together with the accompanying PDF. The PDF contains the listing of the model in the ordered of development. In Rodin, one can also browse to see the proof.
The data is under the CC-BY-SA license
Text
DescriptionsOfModels.pdf
- Dataset
Archive
ICTAC2023_RodinArchive.zip
- Dataset
More information
Published date: 25 September 2023
Keywords:
Run-to-Completion, Statecharts, Formal Semantics, SCXML, Event-B
Identifiers
Local EPrints ID: 482486
URI: http://eprints.soton.ac.uk/id/eprint/482486
PURE UUID: 93afead4-8622-42cf-8ded-5c71a8d0b7b7
Catalogue record
Date deposited: 09 Oct 2023 16:42
Last modified: 10 Oct 2023 01:46
Export record
Altmetrics
Download statistics
Downloads from ePrints over the past year. Other digital versions may also be available to download e.g. from the publisher's website.
View more statistics
