形式化

formalization

暂无补充释义。

在深入分析业务流程模型和合理的抽象业务活动基础上,提出了一种基于产生式的流程模型形式化分析方法,并提供了一种从一般流程描述到该模型的转换方法;在此基础上,推导了一系列行之有效的流程属性验证规则,并通过应用实际例子证明了所提出方法的有效性。

要真正解决民营企业融资难问题，必须向非国有金融产权开放金融市场，放宽民营金融机构的市场准入，促使非正规金融正规化。

设在lrmp的开发和管理的全谱指挥及控制系统.分权和知名度高的决策制度和程序,客观的资源管理制度,确立队伍的要求,采购与物流系统,并适度规模的军事结构和成分组合.

龙是中华民族的图腾，自黄帝授命于天，威泽四方，龙就成为中华民族乃至整个中国的象征，而比较明确的定形是在汉代，从大汉朝开始，龙就被确定为皇帝的象征与代表。

相关例句