University of Minnesota
Software Engineering Center
/

You are here

A Parametric Structural Operational Semantics for Stateflow, UML Statecharts, and Rhapsody

Date of Publication: 
August 2010
Associated Research Groups: 
Publication Files: 
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.
Publisher: 
UMSEC Technical Report 2010-1
Venue: 
Department of Computer Science and Engineering University of Minnesota 200 Union St. Minneapolis, MN 55455
bibtex: 
@techreport {Whalen10:stateflow-semantics, Author = {M. W. Whalen}, Title = {A Parametric Structural Operational Semantics for Stateflow, UML Statecharts, and Rhapsody}, Institution = {University of Minnesota Software Engineering Center}, Address = {200 Union St., Minneapolis, MN 55455}, Number = {2010-1}, Year = {2010}, Month = {August}, }