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

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

在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间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.