期刊文献+

基于企业流程的需求形式化说明语言

The Requirements Formal Specification Language Based on Business Process
下载PDF
导出
摘要 需求说明是对需求分析结果所进行的文档化工作,其工作结果—需求规格说明在系统开发、测试、质量保证、项目管理中起着重要的作用。现有的需求规格说明绝大多数是采用自然语言来编写,由于自然语言在严密性上的缺陷,从而导致需求规格说明普通存在着三个严重的问题:模糊性、不准确性和不一致性。该文提出的基于企业流程的需求形式化说明语言,是以四元组作为描述机制,不仅能描述各活动之间的逻辑关系,而且能表达活动对信息流的操作形式,即将控制流和数据流合为一体。 Requirements specification is a documentation work for requirements analysis.Software requirements specification is very important in software system development ,test,quality guarantee,and project management.Existing software requirements specification is written with natural languages.Since natural languages are not rigorous,there are three serious problems in software specification:fuzziness,inaccuracy,and variance.This paper presents a requirements formal specification language based on business process.This formal language can not only describe the logic relationship between business activities,but also represent how business activities operate data flow.That is,it combines control flow with data flow.
作者 郑跃斌
出处 《计算机工程与应用》 CSCD 北大核心 2003年第27期227-229,232,共4页 Computer Engineering and Applications
关键词 企业流程 需求说明 形式化语言 Business process,Requirements specification,Formal specification language
  • 引文网络
  • 相关文献

参考文献10

  • 1中华人民共和国科学技术部火炬中心.软件企业ISO 9000质量体系的建立和认证[M].北京:清华大学出版社,1999..
  • 2中华人民共和国科学技术部火炬中心.软件企业ISO 9000质量体系232 2003.27计算机工程与应用的建立和认证[M].清华大学出版社,1999..
  • 3Chung L,Nixon B,Yu E.Dealing with Change:An Approach Using Non-Functional Requirements[J].Requirements Engineering, 1996;l(4): 238-260.
  • 4J Mylopoulos,L Chung,B Nixon.Representing and Using Nonfunctional Requirements:A Process-Oriented approach[J].IEEE Trans Software Eng, 1992; 18(6) :483-497.
  • 5John Mylopoulos,Lawrence Chung,Eric Yu.Requirements Analysis[J]. Communications of the ACM, 1999 ;42( 1 ) : 31-37.
  • 6B Meyer.On Formalism in Specifications[J].IEEE Software, 1985-01: 6-26.
  • 7J Mylopoulos,A Borgida,M Jarke et a.Telos:Representing Knowledge about Information systems[J].ACM Trans Office Information Systems, 1990;18(4).
  • 8J M Spivey.Understanding Z:A Specification Language and its Forreal Semantics[M].Cambridge,UK:Camgridge University Press,1988.
  • 9J B Wordsworth.Software Development with Z[M].Addison-Wesley, Workingham, England, 1992.
  • 10Diller Z.An introduction to Formal Methods[M].London:John Wiley & Sons, 1990.

共引文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部