Syntax of unification meta-model for procedure blueprint
Jianbin Liu · Jisuanji gongcheng yu sheji · 2010
To define the modeling language in a rigorous and readable way,a semi-formal meta model definition technology and unified construction approach using the combination of the nature language and the mathematics language based on the set,function and first order predicate logic is used for defining the abstract syntax and well-formedness rules of the meta model of the procedure blueprint,on the basis of analyzing meta model definition methods and defining fundamental sets and functions.The meta modeling result show the formal specification for the language architecture,syntax and static semantics of the modeling notations,and derivation ways of the outer views from the unified inner structure,which serves as the unified formal framework for the further research and application of the blueprint programming technologies.