C++ StateChart Library

StateCharts (Harel, 1987) is a visual formalism for declarative description of complex interactive systems. It extends the conventional state machine formalism with Hierarchy, Concurrency and Communication.

SCXML is a W3C standard based on StateCharts. This is a C++ library that implements the SCXML specification. Instead of XML, a StateChart is represented as a StateChart protobuf.

Features

Many features from the SCXML standard have been implemented.

• Composite State
• Parallel State
• Datamodel
• Transitions (Conditional, Eventless)
• Executable Statements (Raise, Log, Assign, If, ForEach, Send)
• Serialize/Deserialize the state machine

TODO

• History

Example

Here's an example of a StateChart that describes a Microwave.

You can see //statechart/example/microwave_example_main.cc for details on how to specify such a StateChart as a StateChart proto and how to use it in code.

Usage

To build the library you'll need bazel. You can download and install it from here.

# Download/Clone the repo.
git clone https://github.com/google/statechart.git
cd statechart

# Build the library
bazel build //statechart/...

# Run unit tests
bazel test //statechart/...

# Run the Microwave example
bazel run //statechart/example:microwave_example_main -- --alsologtostderr

Disclaimer

This is not an officially supported Google product.

References

• David Harel, 1987, Statecharts: a visual formalism for complex systems, Science of Computer Programming. Link
• State Chart XML (SCXML): State Machine Notation for Control Abstraction. Link