include "primitives.alh" Class String {} Class Boolean {} Class State { name = "State" name : String initial : Boolean } Association Transition (State, State) { trigger? : String {} raise? : String {} }