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

(整期优先)网络出版时间:2009-05-15
/ 1
在给出用例及其相关概念的形式化定义的基础上,构建了从用例到具有优先级策略的时间Petri网模型映射的实施方法;提出了一种基于用例和Petri网的建模方法.它先以用例来捕获需求,再用具有优先级策略的时间Petri网来图形化用例,以此来实现它们各自优势的互补。