首页> 外文会议>Engineering 21st century systems: problem solving through structured thinking >Formalizing a Structured Natural Language Requirements Specification Notation
【24h】

Formalizing a Structured Natural Language Requirements Specification Notation

机译:形式化结构化自然语言需求规范表示法

获取原文
获取原文并翻译 | 示例

摘要

Requirements specification notations arerndeveloped by organizations in order to meet theirrnspecific needs. For example, the Threads-Capabilitiesrnnotation, an in house notation at Raytheon SystemsrnCanada, Ltd., has been developed and used forrnspecifying their complex, large scale, air traffic controlrnsystems. It is a semi-formal, structured, naturalrnlanguage notation. In this work, we investigate how tornmake this semi-formal notation more rigorous (i.e.,rnformal) by developing and applying a newrnformalization process to it. By doing this, we can obtainrnthe advantages of formal methods (precise,rnunambiguous, automatic generation of testrnspecifications, automated typechecking, etc.) whilernretaining the style and readability of the originalrnnotation. We call the formalized notation the StimulusrnResponse Requirements Specification (SRRS) notation.rnOur results have been successful for the specificrnnotation. The formalized notation has beenrndemonstrated to reduce the time and improve thernquality of the requirements specifications. There isrnadditional training time, however, needed to learn tornuse the notation and tools.
机译:需求规格说明由组织开发,以满足其特定需求。例如,Raytheon SystemsrnCanada,Ltd。的内部标记“ Threads-Capabilities”已被开发出来,并用于指定其复杂,大规模的空中交通管制系统。它是一种半正式的,结构化的自然语言表示法。在这项工作中,我们研究了如何通过开发和应用新的形式化过程来使其更严格(即形式化)。通过这样做,我们可以获得正式方法(精确,明确,自动生成测试规范,自动类型检查等)的优点,同时保留了原始注释的样式和可读性。我们将形式化的符号称为“刺激响应需求规范”(SRRS)符号。我们的结果已成功用于特定的符号。已经演示了正式的表示法,以减少时间并提高需求规范的质量。但是,要学习使用符号和工具的时间,则需要额外的培训时间。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号