• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文会议>The Second International Conference on Information Jul 24-27, 2002 Beijing, China >Formal Engineering Methods for Information Systems Development
【24h】

Formal Engineering Methods for Information Systems Development

机译：信息系统开发的正式工程方法

获取原文
获取原文并翻译 | 示例
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

With the rapid growing of deployment of information systems in almost every domain of our society, their reliability and efficiency have become one of our greatest concerns. Since modern information systems become more and more complex, their developments have become so difficult that the delivery of final products often falls behind the schedule and the cost often exceeds the budget. To tackle these problems effectively, we have been working on the integration of mathematical notation and commonly used comprehensible notation over last ten years to design the SOFL (Structured Object-oriented Formal Language) specification language and method for information systems development. As a specification language, SOFL integrates VDM-SL, Data Flow Diagrams, and Petri nets to provide an intuitive, rigorous, and comprehensible formal notation for specification. As a method, it combines Structured Methods and Object-Oriented Methods, and advocates an evolutionary approach to constructing specifications; it integrates the idea of formal proof and commonly used verification and validation techniques, such as testing and reviews, to offer rigorous but practical verification techniques. In this paper we present a three-step approach to constructing formal specifications for information systems, and demonstrate its effectiveness by a case study.
机译：随着我们社会几乎每个领域中信息系统部署的迅速增长，其可靠性和效率已成为我们最大的关注之一。由于现代信息系统变得越来越复杂，因此它们的发展变得如此困难，以致最终产品的交付常常落后于计划，成本往往超过预算。为了有效地解决这些问题，过去十年来，我们一直致力于将数学符号和常用的可理解符号进行集成，以设计用于信息系统开发的SOFL（结构化面向对象形式语言）规范语言和方法。作为一种规范语言，SOFL集成了VDM-SL，数据流程图和Petri网，从而为规范提供了一种直观，严谨且易于理解的正式表示法。作为一种方法，它结合了结构化方法和面向对象的方法，并提倡采用进化方法来构建规范。它整合了形式证明和常用的验证与确认技术（例如测试和评论）的思想，以提供严格但实用的验证技术。在本文中，我们提出了一种构建信息系统正式规范的三步法，并通过案例研究证明了其有效性。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号