进程网及其自顶向下建模技术研究.docVIP

进程网及其自顶向下建模技术研究 　　摘要：提出一种新的融合进程代数特征的Petri网模型—进程网。进程网既具有传统Petri网的图形化表示方式，又具有进程代数的语法形式。介绍了进程网的四种组合算子，复杂进程网可由简单进程网通过组合算子组合而成。给出了进程网细化的规则及基于进程网的字顶向下建模步骤。 　　关键词：Petri网 进程代数 结构化操作语义 　　中图分类号：TP311.52 文献标识码：A 文章编号：1007-9416（2013）11-0044-02 　　1 引言 　　Petri网和进程代数是描述并发系统的两种主要模型，进程代数和Petri网具有明显的优缺点，关于进程代数与petri网的争论非常激烈。Petri网的主要缺点是缺乏可组合性以及建模复杂系统时的节点爆炸问题。为克服这些问题，研究人员提出了各种高级petri网模型，如层次petri网、着色网、模块网等，论文[1，2]对此领域的研究成果做了综述性介绍。进程代数天然具有可组合性，但缺乏真并发语义，缺乏图形表达方式。Petri网和进程代数相结合是研究人员非常感兴趣的一个研究领域。在petri网和进程代数相结合主要有三个方面的研究，包括用petri网描述进程代数的语义[3，4，5]；用进程代数表达petri网[6]；结合Petri网和进程代数描述软件系统[7]。 　　论文[8]在WF_Net[9]和Opennet[10]以及进程代数相关理论研究的基础上，提出一种具有进程代数特征的Petri网模型—进程网（ProcessNet，简称为PrN）。进程网兼具Petri网和进程代数的特点，用基本petri网组件作为代数表达式的构造成分，复杂的Petri网可以通过各种操作符组合而成，组合后的Petri网具有一般petri网的运行规则，同时又具有类似进程代数的结构化操作语义。 　　2 进程网 　　本文用图1表示了一个PrN。在PrN的图形表示中，接口用黑色的矩形表示，内部变迁用白色矩形表示。进程网在组合时不必考虑内部的细节，只要根据接口变迁的标记就可以实现两个或多个进程网的组合。进程网和工作流网一样，有一个起始库所和终止库所，两个进程网组合之后仍然保持这一特性，组合之后，两个PrN变成一个PrN，没有处理过的接口变迁作为组合后的PrN的接口变迁。 　　下面以两个PrN的组合为例，说明进程网的四种组合方式是如何实现的。这两个PrN分别为PrN1和PrN2，i1，o1是PrN1的起始库所和终止库所，i2，o2是PrN2的起始库所和终止库所。PrN0是组合后的PrN。在上述完全并发、顺序、选择组合中，PrN1和PrN2的接口变为PrN0的接口，在循环组合中，PrN1的接口变为PrN0的接口。 　　3 自顶向下建模方法 　　PrN可用于服务组合、工作流、软件分析与设计、协议工程、柔性制造等众多领域。在这些领域的建模过程中，自顶向下是常用的方法，也就是首先给出描述系统主要特征的具有较高抽象层次的模型，然后将高层模型中的成分细化，直至具有可实施性为止。为支持自顶向下建模方法，需要设计PrN的细化操作。PrN的细化可视为一种替换操作，即将一个变迁替换为一个PrN。由于PrN具有三种基本动作，对PrN细化的关键问题就是对三种基本动作的细化。PrN的细化应该遵守下面的规则： 　　对于基本动作Ea：可直接用一个PrN替换Ea。 　　对于基本动作E！a：如果有同步或者异步的消息接收方，要成对进行细化，细化后的通信动作如果需要同步或异步，加入到接口变迁集合，如果与环境交互，无需处理。 　　对于基本动作E？a：如果有同步或者异步的消息发送发，也要成对进行细化，细化后的通信动作如果需要同步或异步，加入到接口变迁集合，如果与环境交互，无需处理。 　　采用PrN进行自顶向下建模遵循如下步骤： 　　1）分析待构造系统的功能，用PrN描述系统的整体流程。 　　2）对系统流程中的动作进行逐层进行细化分解，上一层的动作可以细化为多个动作。 　　3）对系统进行仿真模拟或进行验证。 　　4）修正错误，调整修改各层次的PrN模型。 　　4 结语 　　进程网是Petri网，工作流网，开放网等基础上，结合进程代数的特点提出的，复杂PrN通过基本PrN组件经四种组合算子组合而成。PrN同时具有图形表示和进程代数表示方法，实现了Petri网和进程代数的有机结合。在系统建模过程中，自顶向下是一种常见的方法，PrN比较容易实现对自顶向下建模方法的支持，本文探讨了采用PrN进行自顶向下建模的变迁细化规则和细化的步骤。 　　参考文献 　　[1]Gomes L，Barros J.P.Structuring and Compensability Issues in Petri Nets Mo