Boost LicenceVersionBuild StatusBuild StatusCodecovGithub Issues

Introduction

[Boost::ext].SML (State Machine Language/Lite/Library)
Your scalable C++14 one header only State Machine Library with no dependencies (Try it online!)GitHub

UML State Machine

Do I need a State Machine?

State Machine design pattern prevents you from creating and maintaining spaghetti code.

void some_function() {    ...    if ((is_running && !is_jumping) || just_started) {        ...    } else if (is_boss_level && extra_feature_enabled && !ab_test) {        ...    } else {        ...    }}

If above code looks somewhat similar to your code base or if you liketo avoid it[Boost].SML may suit you!

Real Life examples?

CPP(BTN)CPP(BTN)CPP(BTN)CPP(BTN)

 

Why [Boost].SML?

  • Boost.MSM - eUML is awesome, however it has a few huge limitations making it unusable on a large scale projects; [Boost].SML, therefore, is trying to address those issues.

Problems with Boost.MSM - eUML

  • Long compilation times (seePerformance)
  • Huge resulting binaries (seePerformance)
  • Based on too many macros
  • Long error messages (seeError Messages)
  • Sometimes hard to follow as not all actions might be seen on transition table (ex. initial states, state entry/exit actions)
  • A lot of boilerplate code with actions/guards (requires fsm, event, source state, target state)
  • Data in states makes it harder to share/encapsulate (UML compliant though)
  • Loosely coupled design is hard to achieve
  • Functional programming emulation
  • Huge complexity may overwhelm in the beginning
  • A lot of Boost dependencies

[Boost].SML design goals

  • Keep the Boost.MSM - eUML 'goodies'
    • Performance (seePerformance)
    • Memory usage (seePerformance)
    • eUML DSL (src_state + event [ guard ] / action -> dst_state)
    • UML standard compliant (As much as possible)
  • Eliminate Boost.MSM - eUML problems
    • Compilation times (seePerformance)
    • Binary size (seePerformance)
    • Reduce complexity by eliminating less used features
    • Short and informative error messages (seeError Messages)
    • Less boilerplate / no macros (seeHello World)
    • Improve visibility by having all actions on transition table (seeStates)
    • Allows loosely coupled design (seeDependency Injection)
    • Functional programming support using lamda expressions (seeAction/Guards)
    • No dependencies / one header (2k LOC)

What 'lite' implies?

  • Guaranteed quick compilation times
  • Maximized performance
  • No dependencies
  • Easy/Intuitive to use

Supported UML features

Additional features

Related materials

Acknowledgements