Refinement of Statecharts with Run-to-completion Semantics.

Morris, Karla Vanessa; Snook, Colin; Hoang, Thai Son; Armstrong, Robert C.; Butler, Michael

doi:10.1007/978-3-030-12988-0_8

Refinement of Statecharts with Run-to-completion Semantics.

Conference · Mon Oct 01 00:00:00 EDT 2018

DOI:https://doi.org/10.1007/978-3-030-12988-0_8· OSTI ID:1889614

Morris, Karla Vanessa; Snook, Colin; Hoang, Thai Son; Armstrong, Robert C.; Butler, Michael

Abstract not provided.

Research Organization:: Sandia National Laboratories (SNL-NM), Albuquerque, NM (United States); Sandia National Laboratories, SNL California

Sponsoring Organization:: ASC

DOE Contract Number:: NA0003525

OSTI ID:: 1889614

Report Number(s):: SAND2018-11952C; 700283

Country of Publication:: United States

Language:: English

References (12)

Formal Verification of UML Statecharts with Real-Time Extensions David, Alexandre; Möller, M. Oliver; Yi, Wang Fundamental Approaches to Software Engineering https://doi.org/10.1007/3-540-45923-5_15	book	January 2002
Modeling in Event-B Abrial, Jean-Raymond https://doi.org/10.1017/CBO9781139195881		January 2010
Reconciling statechart semantics Eshuis, Rik Science of Computer Programming, Vol. 74, Issue 3 https://doi.org/10.1016/j.scico.2008.09.001	journal	January 2009
An integrated semantics for reasoning about SysML design models using refinement Lima, Lucas; Miyazawa, Alvaro; Cavalcanti, Ana Software & Systems Modeling, Vol. 16, Issue 3 https://doi.org/10.1007/s10270-015-0492-y	journal	September 2015
Formal Refinement in SysML Miyazawa, Alvaro; Cavalcanti, Ana Lecture Notes in Computer Science https://doi.org/10.1007/978-3-319-10181-1_10	book	January 2014
The Hybrid ERTMS/ETCS Level 3 Case Study Hoang, Thai Son; Butler, Michael; Reichl, Klaus https://doi.org/10.1007/978-3-319-91271-4_17	book	January 2018
The Hemodialysis Machine Case Study Mashkoor, Atif Lecture Notes in Computer Science https://doi.org/10.1007/978-3-319-33600-8_29	book	January 2016
Verification of UML Models by Translation to UML-B Snook, Colin; Savicks, Vitaly; Butler, Michael Formal Methods for Components and Objects https://doi.org/10.1007/978-3-642-25271-6_13	book	January 2011
Statecharts: a visual formalism for complex systems Harel, David Science of Computer Programming, Vol. 8, Issue 3 https://doi.org/10.1016/0167-6423(87)90035-9	journal	June 1987
Uml-B Snook, Colin; Butler, Michael ACM Transactions on Software Engineering and Methodology, Vol. 15, Issue 1 https://doi.org/10.1145/1125808.1125811	journal	January 2006
Validating the Requirements and Design of a Hemodialysis Machine Using iUML-B, BMotion Studio, and Co-Simulation Hoang, Thai Son; Snook, Colin; Ladenberger, Lukas Lecture Notes in Computer Science https://doi.org/10.1007/978-3-319-33600-8_31	book	January 2016
Rodin: an open toolset for modelling and reasoning in Event-B Abrial, Jean-Raymond; Butler, Michael; Hallerstede, Stefan International Journal on Software Tools for Technology Transfer, Vol. 12, Issue 6 https://doi.org/10.1007/s10009-010-0145-y	journal	April 2010

Similar Records

Formal Language Semantics for Triggered Enable Statecharts with a Run-to-Completion Scheduling

Conference · Thu Nov 30 23:00:00 EST 2023 · OSTI ID:2584855

Formal verification of run-to-completion style statecharts using Event-B.

Conference · Wed Jul 01 00:00:00 EDT 2020 · OSTI ID:1811615

Reconciling SCXML Statechart Representations and Event-B Lower Level Semantics.

Conference · Fri Jul 01 00:00:00 EDT 2016 · OSTI ID:1371817

Refinement of Statecharts with Run-to-completion Semantics.

Citation Formats

References (12)

Similar Records

Related Subjects