Die Klassenbibliothek Machine Objects unterstützt eine Untermenge der UML-Zustandsdiagramm-Notation zur Implementierung von hierarchischen Zustandsautomaten in einfachem C++, ähnlich dem GoF-Design-Pattern »State«. Features sind hierarchische Zustände, Entry- und Exit-Aktionen, Zustandshistorien und Zustandsvariablen.