基于面向对象Petri网的UML建模技术.pdfVIP

基于面向对象 Petri 网的UML 建模技术 1 2 折建峰 ，简炜 1 武汉科技大学计算机科学技术系，武汉（430081 ） 2 湖北汽车工业学院计算机科学技术系，十堰（442002 ） E-mail ：jf_she@163.com 摘 要：UML 作为通用面向对象建模语言缺乏形式化的模型验证和分析工具，Petri 网有严 格的数学定义和多种模型的验证方法。本文提出一种从UML 的状态图获取单个的对象网模 型（ONM ）算法，依据UML 的协作图将单个ONM 整合为一个系统层面的有色Petri 网。 关键词：面向对象，有色Petri 网，状态图，协作图 中图分类号：TP31 1. 引言 面向对象的建模技术是将建模系统的属性映射为一组数据结构，系统与其环境的交互映 射为一组操作，环境对系统的访问只能通过这组特定操作来进行。它是从组织结构上模拟客 观世界，通过对构成客观世界的对象的抽象，给不同的对象赋予不同的属性和操作,为复杂 的并发系统的建模提供了新的思考问题的角度[1] 。由于它缺乏严密有效的分析和验证方法, 本文提出了一种映射算法将UML模型转换为对象Petri 网模型, 从而可以利用Petri 网的分析 方法来实现系统模型的验证。在对象Petri 网模型中，对象的状态可由Petri 网中库所中的托肯 分布来表示，而对象的行为可由相应的Petri 网中的变迁序列来模拟。从实质上讲，Petri 网的 托肯驱动机制与面向对象的消息驱动机制都是基于事件的驱动方式。 2. Petri 网和UML 建模技术分析 UML作为一种可视化、通用的离散型面向对象建模语言，主要采用图形符号表示系统 中的对象以及对象之间的关系，并能够从不同的角度描述所建模系统。UML具有面向对象 方法的封装和继承等特点，因此，有利于实现系统的模块化和模型重用。但是，它的不足之 处是没有能够形式化的分析和验证所建立的系统模型的方法和相应的工具，因而难以对系统 模型进行分析验证。 而Petri 网建模技术是以图形化的数学工具库所和变迁来描述具有并发、冲突、分布式、 非确定性等特性的复杂系统[2] 。Petri 网建模技术有严格的数学基础并有多种形式化的分析和 验证的方法和工具。但是，它主要的不足表现在复杂系统的状态空间“爆炸” 问题没有很好的 解决和没有模块化封装的思想。 3. 对象Petri 网模型形式化描述 基于以上简单讨论的两种建模技术，可以看出单一的建模技术存在局限性，无法很好地 完成从系统建模、分析到验证的全部任务。改进和扩展单一的建模技术，将面向对象建模技 术与Petri 网建模技术相结合的面向对象Petri 网，综合两种建模技术的优势，为解决大规模复 杂系统建模问题提供了有效途径。 定义：一个对象Petri 网的模型可表示为一个三元组：（LM,EGM,IA ）LM是一个对象在 其生命周期内状态转移的模型（通常由有色Petri 网来描述）可以抽象为一个更高层次的变迁 元素[3] 。EGM是一个事件触发和管理机制。IA是一个接口弧集合包含了对象于其他对象的交 互，IA=ITA ∪OTA ITA为输入弧集，OTA为输出弧集。 -1- EGM机制定义了三种库所分别为：输入库所（IP ）、输出库所（OP ）和事件分发库所 （ED ）。其中输入库所（IP ）存放发往对象网ONM本身的事件托肯，输出库所（OP ）存放 发给其他ONM 的事件托肯，事件分发库所（ED ）有两个功能：1）生成内部事件托肯；2 ） 分发不同颜色的事件托肯。 定义：对象Petri 网的事件托肯的结构用type,flag表示。其中type表示事件的类型，flag 为事件的标志表示该事件是内部事件还是外部事件，flag ∈{in,ex}其中in表示是内部事件； ex则表示是外部事