Petri网和UML在建模过程中的转换机制案例.pptVIP

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网模型的有界性、安全性、可达性、活性、公平性等一系列性质，可得到对被模拟系统性能的正确评价，并提出系统改进建议。 Petri网和UML在建模过程中的转换机制研究 2、 统一建模语言UML简介 作为一种通用的建模语言，UML适用于系统开发过程中从需求规约描述到系统完成后测试的不同阶段。目前，UML已经成为建模语言事实上的工业标准。 Petri网和UML在建模过程中的转换机制研究 2.1 UML的优势 UML是一种定义良好的、易于表达的、功能较强的且普遍适用的建模语言。它吸收了软件工程领域的新思想、新方法和新技术。UML的应用领域相当广泛，它不仅可用于建立软件系统的模型，同样也可用于描述非软件领域内的系统模型以及处理复杂数据的信息系统、具有实时要求的工业系统或工业过程等。 Petri网和UML在建模过程中的转换机制研究 概括而言，UML具有如下几个方面的特点： （1）统一的、表达能力强的可视化建模语言，它在分析和设计中同样有效； （2）适用于任何产业和应用类型的可扩展语言，用户可加入核心概念中没有的概念和符号，如可为特定的应用领域提出具体的概念、符号表示和约束等； （3）独立于编程语言的软件描述方法，但支持所有的方法学； Petri网和UML在建模过程中的转换机制研究 （5）增强面向对象工具之间的互操作性，便于不同系统间的集成； （6）支持较高抽象层次开发所需的各种概念，如协作、框架、模式和构件等，便于系统的重用； （7）用以描述软件结构和行为从而生成代码，甚至是完整应用程序的严格方法，因此可称为可执行UML； Petri网和UML在建模过程中的转换机制研究 （8）UML不是一门程序设计语言，但可以使用代码生成器工具将UML模型转换为多种程序设计语言代码，或使用反向生成器工具将程序源代码转换为UML； （9）UML不是一种可用于定理证明的高度形式化的语言。高度形式化的语言有很多种，但它们通常通用性较差、不易理解和使用，而UML却具有很好的通用性且便于理解与使用。 Petri网和UML在建模过程中的转换机制研究 2.2 UML基本模型图 UML是为人们提供了从不同的角度去观察和展示系统的各种特征的一种标准方法。在UML中，从任何一个角度对系统所