文件名称：一种基于Petri网的面向方面的用例建模方法 (2010年)
文件大小：385KB
文件格式：PDF
更新时间：2024-06-09 14:14:27
工程技术 论文
对传统的用例建模方法进行扩展,并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题,提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则,引入面向方面的形式化的建模与分析技术,并利用时态逻辑检验织入时机的正确性。最后给出实例和分析,验证了该方法的有效性。