%0 Journal Article
%T 一种基于Petri网的面向方面的用例建模方法
%A 孙晓星
%A 虞慧群
%A 范贵生
%J 华东理工大学学报
%P 248-254
%D 2010
%X 对传统的用例建模方法进行扩展，并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题，提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则，引入面向方面的形式化的建模与分析技术，并利用时态逻辑检验织入时机的正确性。最后给出实例和分析，验证了该方法的有效性。
%K 面向方面
%K 用例
%K Petri网
%K 时态逻辑
%U http://journal.ecust.edu.cn/ch/reader/view_abstract.aspx?file_no=201002016&flag=1