基于事件序列的用例描述形式化及分析 |
| |
引用本文: | 任胜兵,陈松乔,喻寿益.基于事件序列的用例描述形式化及分析[J].计算机工程与应用,2004,40(23):12-14,64. |
| |
作者姓名: | 任胜兵 陈松乔 喻寿益 |
| |
作者单位: | 中南大学信息科学与工程学院,长沙,410083 |
| |
基金项目: | 国家自然科学基金项目(编号:50275150),教育部博士点基金项目(编号:20030533011)资助 |
| |
摘 要: | 针对用例描述,提出了基于事件序列的轻量形式化定义。对于由包含、扩展或泛化关系构成的复合用例,构造了相应的算法确定其对应的事件序列,并证明了任意一个无关联环的复合用例均可通过这些算法确定对应的事件序列表达式。在形式化定义基础上,可进行用例描述间关联的正确性分析及语义等价分析。
|
关 键 词: | 用例描述 事件序列 形式分析 |
文章编号: | 1002-8331-(2004)23-0012-03 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |
|