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

VPML-OOPN集成建模方法的设计与实现 　　摘要： 为了支持对企业业务流程进行建模和分析，辅助过程改进，提出了VPML－OOPN集成建模方法。该建模方法是利用可视化过程建模语言VPML建立企业过程模型，然后将该过程模型映射为面向对象Petri网模型。通过Petri网模型的分析和仿真，其结果可用于修正和改进模型设计。 　　关键词：可视化过程建模语言；面向对象Petri网；可视化过程建模语言—面向对象Petri网集成建模方法；企业过程建模 　 　　在激烈的市场竞争中，所有企业都希望及时而高效地开发出高质量、高性能的产品。这一切在很大程度上取决于开发产品的过程和对过程的管理。过程建模是过程管理和并行工程的基础和核心技术。通过过程建模，进行并行性分析，提高并行度；通过仿真分析，过程改进，缩短研制周期，提高资源利用率。本文针对企业过程分布、并行的特点，提出了集成可视化过程建模语言(Visual Process Modeling Language，VPML)和面向对象Petri网（Object－Oriented Petri Nets, OOPN）的企业过程建模方法。 　　 　　1VPML－OOPN集成建模方法的技术基础 　　 　　1．1可视化过程建模语言 　　可视化过程建模语言是北京航空航天大学软件工程研究所和美国Funsoft公司合作开发的，是针对企业过程的建模语言，用图形与文本相结合的方式描述企业过程的不同方面的内容，具有高度的可视性和形式化程度。VPML能从活动、后勤、数据、协同以及活动中的行为等五个模型来刻画一个企业的过程, 如图1所示。 　　VPML定义了四组对象原语：一组连接原语和三组连接符原语。每个对象原语对应于企业模型中的一个概念，每个连接和连接符原语定义对象原语间的一种关系。对象原语包含活动、产品、资源和其他概念，它定义了在VPML中合法的对象集合。 　　 　　1．2Petri网 　　Petri网是Carl Adam Petri博士在1962年提出的，它是一种形式化的建模方法。Petri网作为一种图形工具，可以使用标记（Token）来模拟系统的动态行为和并发活动；作为一种数学工具，它可以建立状态方程、数学方程以及系统行为的其他数学模型[2]。 　　 　　其中，P和T分别称为N的place（库所）集和transition（变迁）集，F为流关系。若用圆圈表示库所，用矩形框表示变迁，用有向弧来表示库所与变迁的有序偶，则构成了Petri网的图形表示。 　　对Petri网表示的系统，可以进行活性、可达性、冲突、死锁等分析。分析方法有可达树方法、关联矩阵方法、不变量分析方法等。 　　 　　1．3面向对象Petri网 　　本文采用的面向对象Petri网OOPN是对韩国KAIST的Yang Kyu Lee等人提出的OPNets模型的扩展。在OPNets中，如图2、3所示，用高级网子网描述每个对象的行为以及对象之间的关系，通过用方形框把子网括起来表示封装与抽象。为了信息隐藏，每个对象清晰地表示为外部结构和内部结构两部分。外部结构描述对象之间的信息通信，而内部结构描述每个对象的内部控制流。对象的外部接口由消息队列（message queue，mesQueue，用椭圆表示，类似于用圆表示的库所）、门（gate，用粗线表示，类似于用方形框表示的变迁）以及它们之间的流关系（arc，用弧线表示）给出。每个对象表示为一个子网，库所中令牌的变化代表了对象的不同状态（用黑点表示令牌token），故这些库所特别地称为state。 　　 　　对象的内部行为用谓词网描述。在弧上不加谓词，在变迁中定义发生条件和发生时要执行的动作。当变迁的所有前驱中都有令牌，并且存在某一令牌的组合使变迁的发生条件为真时，变迁就可以发生。不同对象之间可以用 gate把输入mesQueue与输出mesQueue 连接起来，以此表示相互的消息传递关系。 　　 对象有复合对象（图2中的A）和简单对象（图3中的AA和AB）之分。在简单对象中，不包含并发部分，只表示顺序行为；而在复合对象中则允许并发，因为复合对象定义了简单对象之间的连接关系，其控制分布在这些聚合的简单对象之间。为了依照系统要求来同步基本对象的顺序行为，在复合对象中定义了对象间的消息通信。这种构造可使同步约束从每个对象内部分离出来，更便于对象的重用，也为系统死锁分析方法奠定了基础。 　　 　　1．4VPML与OOPN的共同之处和差异  　　VPML与OOPN的共同之处是两者均为面向对象的建模语言，都能够对现实的过程进行建模，两者都有相应的形式化定义。 　　两者的差异是Petri网的形式化程度更高，能够对系统的结构和动态行为进行