a effective full UML model support state machine library, with DSL syntax and compile time code generation