基于Petri网和UML的流水作业调度模型设计及实现.pdfVIP

书! ##$ 年 % 月 重庆师范大学学报（自然科学版） ’() ##$ 第 * 卷 第 期 +,-(./0 ,1 23,.456.4 7,(8/0 9.6:;(6=（7/=-(/0 ?@6;.@;） A,0) * 7,) 基于 B;=(6 网和 9CD 的流水作业 调度模型设计及实现 ! 赵国毅，张广泉 （重庆师范大学 数学与计算机科学学院，重庆 %###%E） 摘! 要：为了对流水作业调度的行为提供支持，需要对其进行有效的建模和模型分析。B;=(6 网具有坚实的理论基础 和易于使用的图形表示，是一种理想的建模和分析工具。9CD 是一种易于编程实现的面向对象建模工具。针对 9CD 和 B;=(6 网建模的特点，本文采用 B;=(6 网与 9CD 相结合的建模分析方法，融合了 B;=(6 网精确、严格的形式化描 述和 9CD 友善的用户界面的优点。并提出了将 B;=(6 网转化为一种可以表示对象间的同步、并发的扩展状态图的方 法。利用 B;=(6 网描述系统的动态特性，经过分析、验证或仿真后，通过提供的转化规则将 B;=(6 网模型转化成相应的 9CD 动态图、扩展的状态图，对流水作业调度问题建模。利用动态规划算法解决满足 +,3.,. 法则的最优作业调度 问题，并用 +/:/ 实现。 关键词：B;=(6 网；9CD；流水作业调度；动态规划算法；+,3.,. 法则 中图分类号：FBGHH) HH 文献标识码：! ! ! 文章编号：HIEJ IIKG（##$）#J ##%#J #I ! ! B;=(6 网［HJ%］在离散事件动态系统中是一种逻辑 层次的建模方法，能够对分布、并发过程进行有效形 式的建模，能够对研究对象的系统结构和动态行为 进行有效的分析、验证。9CD［，*JI］是一个通用的可 视化建模语言，可直观地描述用户需求、系统的静态 模型和动态行为，能够从不同的角度考察系统，便于 领域专家和用户与系统开发人员之间的交流。本文 将 B;=(6 网和 9CD 这两种优秀的建模方法结合起 来，优势互补。并提出了将 B;=(6 网转化为一种可以 表示对象间的同步、并发的扩展状态图的方法。对 流水作业调度问题建模。利用动态规划算法解决满 足 +,3.,. 法则的最优作业调度问题，通过 +/:/ 编 程上机实现。 H B;=(6 网与 9CD 结合的建模分析方法 该方法主要思想是利用 B;=(6 网对系统动态、并 发部分建模，直接分析验证。利用相应的转化规则 将其转化为 9CD 行为模型视图。静态部分直接用 9CD 描述。二者集成为完整的系统模型，利用 9CD 建模工具很容易实现程序代码的转换。其核心步骤 是 B;=(6 网向 9CD 的转化。 H) H B;=(6 网建模 针对系统中具有动态、并发特性的部分进行 B;J =(6 网建模。对所建模型进行分析，根据其特征，采 用合适的验证方法［$］（状态空间搜索、模型检验、结 构方法、使用演绎和进程代数的一些高级方法等） 也可将不同方法结合起来，对其不同性质（ 有界性、 活性、可逆性等）进行验证。 H) 将 B;=(6 网转化为 9CD 状态图 首先，遍历 B;=(6 网中所有的库所，将其所描述 的事物归类对应为 9CD 中的对象。对 B;=(6 网中的 所有库所按照它们表示的对象分组，称其为该对象 的库所组。如果是子 B;=(6 网［KJH#］模型向状态图转 化不需要此过程。各对象每一组连通的库所，按照 规则转换：库所转化为 9CD 状态图中的状态；根据 变迁的不同语义，映射成不同类型的事件；与本对象 库所具有同步、并发性质的库所转化为相应转换的 监护条件；资源位置也对应监护条件；弧对应着转 换。 H) ) H 顺序 B;=(6 网向状态图转化 ! 应用上面的规 则，如图 H 所示。B;=(6 网中库所 H 和 表示对象 的两个状态，LH 是对象 L 某一状态。 ! 收稿日期：##EJ #GJ G! ! 修回日期：##EJ HHJ K 资助项目：重庆市自然科学基金（7,) 2?F2，##ILL*K） 作者简介：赵国毅（HK$HJ），男，硕士研究生，研究方向为软件工程与形式化方法。通讯作者：张广泉，M8/60：N45ONP :6’) 6./) @,8 图 ! 顺序 #$%’ 网模型转化为状态图 !( )( ) 具有并发性质的 #$%’ 网向状态图转化 如 图 )［!!］所示。 图 ) 具有并发特性的 #$%’ 网模型转化为状态图 !( * 将 #$%’ 网转化为扩展的状态图 由于 +,- 行为模型视图中，状态图用于对单个 对象的生命期建模，序列图和协作图用于对共同完 成某些动作的对象群体进行建模，而不能体现对象 状态变化，故本文提出一种扩展的状态图，以描述对 象以及对象间状态