一种基于Petri网的面向方面的用例建模方法 |
| |
引用本文: | 孙晓星,虞慧群,范贵生. 一种基于Petri网的面向方面的用例建模方法[J]. 华东理工大学学报(自然科学版), 2010, 36(2) |
| |
作者姓名: | 孙晓星 虞慧群 范贵生 |
| |
作者单位: | 1. 华东理工大学计算机科学与工程系,上海,200237;上海市计算机软件评测重点实验室,上海,201112 2. 华东理工大学计算机科学与工程系,上海,200237 |
| |
基金项目: | 国家自然科学基金,上海市曙光计划 |
| |
摘 要: | 对传统的用例建模方法进行扩展,并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题,提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则,引入面向方面的形式化的建模与分析技术,并利用时态逻辑检验织入时机的正确性。最后给出实例和分析,验证了该方法的有效性。
|
关 键 词: | 面向方面 用例 Petri网 时态逻辑 |
A Petri Net-Based Approach to Aspect-Oriented Use Case Modeling |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 万方数据 等数据库收录! |
|