VPML-OOPN集成建模方法的设计与实现 免费.docVIP

VPML-OOPN集成建模方法的设计与实现 　1．1可视化过程建模语言 　　可视化过程建模语言是北京航空航天大学软件工程研究所和美国Funsoft公司合作开发的，是针对企业过程的建模语言，用图形与文本相结合的方式描述企业过程的不同方面的内容，具有高度的可视性和形式化程度。VPML能从活动、后勤、数据、协同以及活动中的行为等五个模型来刻画一个企业的过程[1], 如图1所示。 　　VPML定义了四组对象原语：一组连接原语和三组连接符原语。每个对象原语对应于企业模型中的一个概念，每个连接和连接符原语定义对象原语间的一种关系。对象原语包含活动、产品、资源和其他概念，它定义了在VPML中合法的对象集合。 　　 　　1．2Petri网 　　Petri网是Carl Adam Petri博士在1962年提出的，它是一种形式化的建模方法。Petri网作为一种图形工具，可以使用标记（Token）来模拟系统的动态行为和并发活动；作为一种数学工具，它可以建立状态方程、数学方程以及系统行为的其他数学模型[2]。 　　 　　其中，P和T分别称为N的place（库所）集和transition（变迁）集，F为流关系。若用圆圈表示库所，用矩形框表示变迁，用有向弧来表示库所与变迁的有序偶，则构成了Petri网的图形表示。 　　对Petri网表示的系统，可以进行活性、可达性、冲突