(2) 考虑过程所采用的形式化方法的分类方法 ��① 过程程序设计方法 ��② 功能分解方法 ��③ 基于Petri的建模方法 ��④ 基于规则的建模方法 ��⑤ 基于知识的建模方法 ��一般来讲，建模是否成功，要看所建立的模型是否达到了建模目的。为了使建模方法具有通用性和适应能力，可以采用混合风格的建模方法，将多种风格形式化于一身。但这种方法要很好地处理各个模型成分之间的转换、通信、协调和相互作用等问题。 ��