Formal semantics for Stateflow, by Mike Whalen
University of Minnesota
| Date | Contributor | Description | Rating |
|---|---|---|---|
| 18 Jun 2013 | Nadia |
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. We believe that 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.
|
| Tag | Applied By | Date/Time |
|---|---|---|
| academic | Nadia | 18 Jun 2013 at 4:47am |
| state diagrams | Nadia | 18 Jun 2013 at 4:47am |
| statecharts | Nadia | 18 Jun 2013 at 4:47am |
| theory | Nadia | 18 Jun 2013 at 4:47am |
| semantic | Nadia | 18 Jun 2013 at 4:47am |
| stateflow | Nadia | 18 Jun 2013 at 4:47am |
| country fr | Nadia | 18 Jun 2013 at 4:47am |
| language english | Nadia | 18 Jun 2013 at 4:47am |
| technical literature | Nadia | 18 Jun 2013 at 4:47am |
| course materials | Nadia | 18 Jun 2013 at 4:47am |
| other | Nadia | 18 Jun 2013 at 4:47am |
| control systems | Nadia | 18 Jun 2013 at 4:47am |