A Parametric Structural Operational Semantics for Stateflow, UML Statecharts, and Rhapsody
2010
Loading...
View/Download File
Persistent link to this item
Statistics
View StatisticsJournal Title
Journal ISSN
Volume Title
Title
A Parametric Structural Operational Semantics for Stateflow, UML Statecharts, and Rhapsody
Authors
Published Date
2010
Publisher
UMSEC Technical Report 2010-1
Type
Report
Abstract
In this report, we define a parametric structural operational semantics that can be used to define the behavior of three Statecharts variants: Stateflow from the Mathworks, Inc., UML Statecharts from the Object Management Group, and Rhapsody from Rational/IBM Corporation. These dialects are the most commonly used variants of Statecharts in industrial applications, and are increasingly used to construct safety-critical applications. We believe that our semantics for each dialect is more complete than prior research and matches the informal documentation of each notation more closely than other approaches. In the formalization process, we have discovered deep similarities between the semantics, and we are able to create a parametric operational semantics that factors out the variabilities between the dialects in a modular way.
Keywords
Description
Associated research group: Critical Systems Research Group
Related to
Replaces
License
Series/Report Number
Funding information
Isbn identifier
Doi identifier
Previously Published Citation
Department of Computer Science and Engineering
University of Minnesota
200 Union St.
Minneapolis, MN 55455
Other identifiers
Suggested citation
Whalen, Michael. (2010). A Parametric Structural Operational Semantics for Stateflow, UML Statecharts, and Rhapsody. Retrieved from the University Digital Conservancy, https://hdl.handle.net/11299/217419.
Content distributed via the University Digital Conservancy may be subject to additional license and use restrictions applied by the depositor. By using these files, users agree to the Terms of Use. Materials in the UDC may contain content that is disturbing and/or harmful. For more information, please see our statement on harmful content in digital repositories.