engleski

Generic parser for (CO)4PE metamodel framework

Optiman usage of model sheckers requires additional modelling efforts especially for large specifications. In this paper the generic parser is introduced as a part of metamodel framework. Parser is realized through the algorithm allowing direct translation of LALR grammar into the output suitable for semantic actions analysis and development. Results are applicable for rapid system development.

concurrent systems; parsing; rapid prototype development; (CO)4PE model checking

nije evidentirano