一种基于用例及优先级策略时间Petri网的建模方法  

A Modeling Method Based on Use Case and Priority Timed Petri Nets

作　　者：范国华[1] 杜哲明[2] 

机构地区：[1]安徽农业大学信息与计算机学院,合肥230036 [2]安徽省电力设计院信息部,合肥230022

出　　处：《红河学院学报》2009年第5期40-43,共4页Journal of Honghe University

基　　金：安徽农业大学2008年校长青年科学基金项目

摘　　要：在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间Petri网模型映射的实施方法;提出了一种基于用例和Petri网的建模方法.它先以用例来捕获需求,再用具有优先级策略的时间Petri网来图形化用例,以此来实现它们各自优势的互补。Following the definition of Use Case description formalization,a mapping method is constructed from the Use Case to Priority Timed Petri nets model.A modeling method is proposed based on Use Case and Priority Timed Petri nets.This method gets requirement from Use Case,graphs Use Case with Priority Timed Petri nets,so as to get advantage from both modeling tools.

关 键 词：用例 优先级策略 时间PETRI网 映射方法 建模方法 

分 类 号：O174.52[理学—数学]