基于时序逻辑的软件行业需求描述

• 作者: 毋国庆 肖晶 陈曙
• 来源期刊: 计算机与数字工程
• 学科: 工学
• 关键词: 场景 行为 精化
• 年，卷（期）: 2008,（10）
• 所属期刊栏目: 系统结构
• 页码范围: 97-101
• 页数: 5页
• 分类号: TP311.52
• 字数: 3895字
• 语种: 中文
• DOI: 10.3969/j.issn.1672-9722.2008.10.024

摘要

计算机软件的运行,归根到底是一个动态的过程,可以看作是由多个运行场景所组成的.传统的软件需求建模过程,包括面向对象建模,都是通过从需求规约中提取系统参与者,即角色,然后建立它们之间的联系以及它们的动作.而软件行为学,则是通过提取需求规约中的场景,来建立行为模型,继而确定参与角色.通过时序逻辑的方法来描述软件需求中的行为,并给出行为精化的过程,为软件行为学的研究奠定了基础.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	毋国庆	武汉大学计算机学院	72	470	12.0	17.0
2	肖晶	武汉大学计算机学院	11	8	2.0	2.0
3	陈曙	武汉大学计算机学院	9	26	3.0	4.0