| 一种基于Petri网的面向方面的用例建模方法 |
| |
| 引用本文： | 孙晓星,虞慧群,范贵生.一种基于Petri网的面向方面的用例建模方法[J].医学教育探索,2010(2):248-254. |
| |
| 作者姓名： | 孙晓星 虞慧群 范贵生 |
| |
| 作者单位： | 华东理工大学计算机科学与工程系;上海市计算机软件评测重点实验室;华东理工大学计算机科学与工程系;上海市计算机软件评测重点实验室;华东理工大学计算机科学与工程系 |
| |
| 基金项目： | 国家自然科学基金(60473055，60773094)；上海市曙光计划(07SG32) |
| |
| 摘 要： | 对传统的用例建模方法进行扩展，并针对用例描述的文本语言中经常出现的二义性、冲突以及遗漏信息的问题，提出一种基于Petri网的面向方面的用例建模方法。构建了从面向方面用例模型到面向方面Petri网模型的映射规则，引入面向方面的形式化的建模与分析技术，并利用时态逻辑检验织入时机的正确性。最后给出实例和分析，验证了该方法的有效性。
|
| 关 键 词： | 面向方面 用例 Petri网 时态逻辑 |
A Petri Net-Based Approach to Aspect Oriented Use Case Modeling |
| |
| Abstract: | |
| |
| Keywords: | aspect-oriented use case Petri net temporal logic |
|
| 点击此处可从《医学教育探索》浏览原始摘要信息 |
| 点击此处可从《医学教育探索》下载免费的PDF全文 |
