基于时序逻辑的软件行为需求描述 |
| |
作者姓名: | 陈曙 毋国庆 肖晶 |
| |
作者单位: | 武汉大学计算机学院,武汉430072 |
| |
摘 要: | 计算机软件的运行,归根到底是一个动态的过程,可以看作是由多个运行场景所组成的。传统的软件需求建模过程,包括面向对象建模,都是通过从需求规约中提取系统参与者,即角色,然后建立它们之间的联系以及它们的动作。而软件行为学,则是通过提取需求规约中的场景,来建立行为模型,继而确定参与角色。通过时序逻辑的方法来描述软件需求中的行为,并给出行为精化的过程,为软件行为学的研究奠定了基础。
|
关 键 词: | 场景 行为 精化 |
本文献已被 维普 等数据库收录! |
|