a method of semantic translation of a class of diagrams to input / output - extended finite automata is provided . the method includes receiving a data representation of a diagram , said diagram comprising a plurality of blocks and said diagram being associated with a graphical modeling environment which defines semantics for executing the diagram , and processing , using a computing device , the data representation of the diagram to translate the diagram to an input / output - extended finite automata model .