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