一种基于Z规范的信息系统业务需求获取方法

摘要：

需求获取是信息系统开发的关键问题之一,清晰的业务需求描述有助于准确地获取信息系统需求.文中为一种业务需求获取方法引入形式化的语义描述,提高了其语义的精确性、无二义性和一致性,以利于进行形式化推理和精化,从而更好地描述和规范需求以指导信息系统分析和设计.

关键词： Z规范 业务建模 需求获取 语义形式化 信息系统

作者: 曾广军 王智学

作者单位: 解放军理工大学指挥自动化学院,江苏南京,210007

会议类型: 国内会议

会议名称: 第二届江苏计算机大会

会议地点: 南京

会议语种:中文

页码: 81-86

在线出版日期: 2006-11-17（万方平台首次上网日期，不代表论文的发表时间）