基于时序逻辑的软件行业需求描述
计算机软件的运行,归根到底是一个动态的过程,可以看作是由多个运行场景所组成的.传统的软件需求建模过程,包括面向对象建模,都是通过从需求规约中提取系统参与者,即角色,然后建立它们之间的联系以及它们的动作.而软件行为学,则是通过提取需求规约中的场景,来建立行为模型,继而确定参与角色.通过时序逻辑的方法来描述软件需求中的行为,并给出行为精化的过程,为软件行为学的研究奠定了基础.
时序逻辑 软件行业 需求描述 软件需求
陈曙 毋国庆 肖晶
武汉大学计算机学院,武汉,430072
国内会议
西安
中文
97-101
2008-09-19（万方平台首次上网日期，不代表论文的发表时间）