-
题名基于企业流程的需求分析方法的图形描述机制
被引量：1
- 1
-
-
作者
郑跃斌
-
机构
北京华夏新达软件股份有限公司
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第26期215-217,共3页
-
文摘
企业流程是指为完成企业战略目标而进行的一系列逻辑相关的活动的有序集合,是企业经营活动的表现形式,也是现代信息系统建立的基础。然而传统的需求分析技术并没有体现出企业流程这一概念。论文在分析企业流程特点的基础上,建立了基于企业流程的需求分析方法的图形描述机制,重点叙述了企业流程建模的方法。
-
关键词
企业流程
软件工程
需求分析
-
Keywords
business process,software engineering,requirements analysis
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于企业流程的需求形式化验证技术
被引量：1
- 2
-
-
作者
郑跃斌
-
机构
北京华夏新达软件股份有限公司
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第28期216-220,共5页
-
文摘
需求验证是为了确保需求规格说明具有良好特性(完整性、一致性、无二义性)而对需求规格说明进行的一种审查活动。目前广泛使用的需求验证技术存在着两个问题:难以处理大型、复杂的需求文档;审查过程需要相当长的时间。该文所研究的基于企业流程的需求形式化验证技术,通过对需求文档中企业流程各活动之间的逻辑关系进行验证,从而发现其中的不一致性和二义性。
-
关键词
企业流程
需求验证
软件工程
-
Keywords
Business process,Requirements specification,Software Engineering
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
-
-
题名基于企业流程的需求形式化说明语言
- 3
-
-
作者
郑跃斌
-
机构
北京华夏新达软件股份有限公司
-
出处
《计算机工程与应用》
CSCD
北大核心
2003年第27期227-229,232,共4页
-
文摘
需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。
-
关键词
企业流程
需求说明
形式化语言
-
Keywords
Business process,Requirements specification,Formal specification language
-
分类号
TP391
[自动化与计算机技术—计算机应用技术]
TP311
[自动化与计算机技术—计算机软件与理论]
-
