modelverse_GUI/models/FSA_MM.mvc

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 {}
}