Petri网和UML在建模过程中的转换机制研究讲解.ppt

（8）包含并行子状态的复合状态 包含并行子状态的复合状态的转换规则与（7）类似。 图4.8 包含并行子状态的复合状态的转换规则 Petri网和UML在建模过程中的转换机制研究 （9）含有静态分支的结构 在静态分支结构中，分支点使用一个结合状态顶点来建模。结合状态可以有一个以上的进入转换片段和一个以上的离开转换片段。所有片段上都可以有监护条件，并且所有的监护条件都在转换激发或动作执行之前被计算。即使动作的执行过程中改变了监护条件的值，对转换的激发也没有影响。 Petri网和UML在建模过程中的转换机制研究 图4.9 含有静态分支结构的转换规则 Petri网和UML在建模过程中的转换机制研究 （10）含有动态分支的结构 在动态结构中，分支点使用一个选择顶点来建模。选择顶点代表一个临时状态，使用菱形表示，一个菱形符号可以有一个或多个离开它的箭头。当执行到选择结点时，输出片段上的监护条件被动态计算，包括第一个片段执行时所引起的改变。选择结点可以视为一个受到限制的真实状态，限制条件是任何输出转换必须被立即激活且只能使用监护条件。 Petri网和UML在建模过程中的转换机制研究 图4.10 含有动态分支结构的转换规则 Petri网和UML在建模过程中的转换机制研究 一个转换的实例 图4.11 ATM的状态图 Petri网和UML在建模过程中的转换机制研究 该系统有3个基本状态，分别是Idle、Active和Maintenance。在Active状态下，ATM的行为沿一条简单路径执行，该路径的顺序为验证顾客、选择事务、处理事务和打印收据。打印数据之后，ATM机返回到Idle状态。显然，可以把ATM行为的各阶段分别表示为Validating、Selecting、Processing和Printing四个状态。依据上述转换规则，可转换得到的Petri网，如图4.12所示。 Petri网和UML在建模过程中的转换机制研究 图4.12 与ATM的状态图相对应的Petri网 Petri网和UML在建模过程中的转换机制研究 Petri网和UML在建模过程中 的转换机制研究 Petri网简介 统一建模语言UML简介 Petri网和UML模型的转换机制 主要内容 Petri网和UML在建模过程中的转换机制研究 1、 Petri网简介 Petri网的概念最早出现在Carl Adam Petri的博士论文“Communication with Automata”中。Petri网作为一种建模工具，既有直观的图形表示，又有严谨的数学分析方法，不仅能描述系统的静态特性，也能描述系统的动态特性，尤其适合于描述含有并发、异步和分布特征的复杂系统。 Petri网和UML在建模过程中的转换机制研究 1 Petri网的图形表示方法 Petri网的结构元素包括库所(Place)、变迁(Transition)和有向弧(Arc)。库所通常用圆圈或椭圆来表示，用于描述可能的系统局部状态；变迁通常用方框或粗杠来表示，用于描述修改系统状态的事件。有向弧可以从库所节点指向变迁节点，或者从变迁节点指向库所节点，表示库所和变迁之间的关系。在Petri网模型中，系统的动态特性使用Token标识，Token表示为包含在库所节点中的圆点，它们在库所中的动态的变化表示了系统的不同状态。 Petri网和UML在建模过程中的转换机制研究 图1一个简单的Petri网例子 Petri网和UML在建模过程中的转换机制研究 2 Petri网的优势 作为一种系统建模工具，Petri网还具有如下的一些优点： （1）Petri网具有极强的描述能力，现已证明，对于加抑制弧的Petri网，其描述能力与图灵机(Turing Machine)是等价的； （2）Petri网是以图形表示的模型，直观性强。特别是目前图形处理软件的出现，使得对Petri网的图形支持工具已成为现实，国外已有这方面的商品化软件，国内也在进行相应的开发； Petri网和UML在建模过程中的转换机制研究 （3）Petri网能准确地刻画系统的一些重要特性，对于系统中的并发、顺序、冲突、同步等关系，都能够建立模型并使之形象化； （4）Petri网还是一种具有严格定义的数学对象，它是建立在代数理论和语言理论等严格的理论基础之上的一种模型，其理论成果十分丰富，具有严格的理论分析工具。借助数学方法开发的Petri网分析方法和技术，既可用于静态的结构分析，又可用于动态的行为分析；既可以分析网的结构性质来反映系统的固有性质，也可以研究网运行的动态行为； Petri网和UML在建模过程中的转换机制研究 （5）用Petri网进行系统建模，通过用代数、形式语言、自动机的方法来定性或定量地分析Petri网模型的有界性、安全性、可达性、活性、公