| 基于设计演算的形式化用例分析建模框架 |
| |
| 引用本文： | 陈 鑫,李宣东.基于设计演算的形式化用例分析建模框架[J].软件学报,2008,19(10):2539-2549. |
| |
| 作者姓名： | 陈 鑫 李宣东 |
| |
| 作者单位： | 南京大学,计算机科学与技术系,江苏,南京,210093;计算机软件新技术国家重点实验室(南京大学),江苏,南京,210093 |
| |
| 基金项目： | 国家自然科学基金，国家重点基础研究发展计划(973计划)，国家高技术研究发展计划(863计划)，江苏省自然科学基金 |
| |
| 摘 要： | 提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性质,并通过设计演算中的证明来分析验证这些性质.作为应用,研究了检查用例模型一致性的规则.给出一个实例说明建模框架的可行性.
|
| 关 键 词： | 用例模型 语义 多视图 一致性检验 最弱前提条件 |
| 收稿时间： | 2007/6/26 0:00:00 |
| 修稿时间： | 2007/12/24 0:00:00 |
Design Calculus Based Approach to Modeling Use Case |
| |
| CHEN Xin and LI Xuan-Dong.Design Calculus Based Approach to Modeling Use Case[J].Journal of Software,2008,19(10):2539-2549. |
| |
| Authors: | CHEN Xin and LI Xuan-Dong |
| |
| Abstract: | |
| |
| Keywords: | use case model semantics multi-view consistency checking weakest precondition |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
|
