基于用例的层次Petri网建模.pdfVIP

第 23 卷第 1 期 佳木斯大学学报(自然科学版) Vo1. 23 No.1 2∞5 年 01 月 Journal of Jiamusi Universi可 (Natural Science Edition) Jan. 2∞5 文章编号: 1 ∞8 -14但 (2朋 )01- ∞ 18 -ω 基于用例的层次 Petri 网建模 星 陈 黄昌海， 刁永锋 (茵华师范大学微机应用研究所，四川南充 637002) 摘 要: 利用用例解决了层次 Petri 网建模中问题界定和问题细化的两个难点，同时也利用层次 Pet- d 网表现了用例中文本形式事件流所无法表现出事件自身的并发关系，由此建立的模型具有粒度可控和 模块化良好的优点. 关键词: 用例;层次 Petri 网;建模 中图分类号: 1到93 文献标识码: A 。 引 需求分析是软件工程学中的经典术语之一，意思是对用户需求进行分析，生成一份明确、规范的需求 定义 [1] 建模方法(包括一种表示法和相应的建模过程指导)是需求分析中的一个重要步骤，它告诉分析人 员如何建立一个能够满足(需求定义中所定义的)用户需求的系统模型.用例和 Petri 网都是形式化方法. 因为形式化方法是基于严密的、数学上的形式机制的系统研究方法，故由此生成的模型更完整、一致和无 二义性.层次 Petri 网具可以把一个复杂问题按功能进行分解并可逐层细化，但是在问题界定和问题细化 上尚无具体的理论指导，而用例的特征之一就是清晰表达和理解问题的数据域和功能域，因此将用例引人 层次 Petri 网建摸，充分结合二者的优点，在用例理论的指导下开始层次 Petri 网建模，使传统的需求分析更 形象、更直观、更准确. 问题的提出 在层次 Petri 网中，有宏库所(在现有的图标中加一小圆圈表示)和宏变迁(在现有图标中加一竖线表 示) .任何一个宏节点通过细化，都可以得到一个新的网，该网就是该宏节点的扩展 [2] 层次 Pe时网解决了 其他 Petri 网对复杂系统描述具有一定困难的缺点，不仅可以使复杂系统对应的 Petri 网系统简洁明了，还 能描述系统的层次结构. 一般认为问题的求解是从某个已知状态到未来状态的路 径，图 1 就是问题求解的 Petri 网模板.将问题地解决不断地细 ( !胁~ 争机、‘ 化为一系列子问题的解决，就得到了具有嵌套结构的层次 Petri 网，从而形成一个关于问题的概念网络模型.这既符合人们对事 ‘ 物的分析习惯，又有助于对事物进行系统化的认识. 图 1 问题求解的 Pe创网模板 当我们开始确定每一个问题求解模板的时候，就必然牵涉到的就是问题界定，即如何确定该问题的已 知状态和未来状态，从而可以相对稳定地确定二者之