• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >AN APPROACH FOR SUPPORTING SYSTEM DEVELOPMENT METHODOLOGIES FOR DEVELOPING A COMPLETE AND CONSISTENT SYSTEM SPECIFICATION.
【24h】

AN APPROACH FOR SUPPORTING SYSTEM DEVELOPMENT METHODOLOGIES FOR DEVELOPING A COMPLETE AND CONSISTENT SYSTEM SPECIFICATION.

机译：支持开发完整而一致的系统规格的系统开发方法的方法。

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

摘要

The variety and complexity of application areas resulting from the ever increasing capabilities and functions of computer hardware demand technically advanced methodologies for application system development. It has also become evident that the conventional manual methodologies are no longer adequate and that the help of computers is needed.; A logical framework of the Methodology Development System (MDS), which generates a Methodology Support tool System (MSS) given a system development methodology, is developed. Tools and models required by MDS for the development of MSS are developed.; The Entity-Relationship model, that has been shown to be appropriate for general information system modelling, is extended, and provided with a schema language, as a data model for the conceptual modelling. The extensions are made so that a conceptual schema includes specifications of integrity constraints. Consistency constraints are used to specify the integrity of a target system description and may also be used to coordinate system development activities so that the activities confirm the specified rules and procedures of the methodology.; For completeness verification, the content of a target data base (abstract model) is modelled as a directed, recursive, edge-labelled hyper-graph. A predicate based graph traversal scheme, and a language to describe the completeness verification algorithm based on the scheme is proposed. Completeness criteria of a particular methodology may be described using the predicates which are derived from the conceptual model.; The MDS/MSS, if implemented, will provide a software engineering laboratory in which methodologies are developed, implemented, and tested. The MDS/MSS concept is illustrated by demonstrating the applications to two state-of-the-art software development methodologies.
机译：由于计算机硬件功能和功能的不断提高，导致应用程序领域的多样性和复杂性，要​​求技术上先进的方法用于应用程序系统开发。显然，传统的手动方法已不再足够，需要计算机的帮助。开发了方法学开发系统（MDS）的逻辑框架，该逻辑框架在给定系统开发方法学的情况下生成了方法学支持工具系统（MSS）。开发了MDS开发MSS所需的工具和模型。实体关系模型（已被证明适用于一般信息系统建模）已得到扩展，并提供了模式语言，作为概念建模的数据模型。进行扩展，以便概念性方案包括完整性约束的规范。一致性约束用于指定目标系统描述的完整性，也可以用于协调系统开发活动，以使活动确认方法论的指定规则和程序。为了完整性验证，将目标数据库（抽象模型）的内容建模为有向，递归，边缘标记的超图。提出了一种基于谓词的图遍历方案，以及一种描述该方案的完整性验证算法的语言。可以使用从概念模型中得出的谓词来描述特定方法论的完整性标准。 MDS / MSS（如果实施）将提供一个软件工程实验室，在其中开发，实施和测试方法。通过向两种最先进的软件开发方法论证应用程序，来说明MDS / MSS概念。

著录项

  • 作者

    KANG, KYO CHUL.;

  • 作者单位

    University of Michigan.;

  • 授予单位 University of Michigan.;
  • 学科 Engineering Industrial.
  • 学位 Ph.D.
  • 年度 1982
  • 页码 345 p.
  • 总页数 345
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类 一般工业技术;
  • 关键词

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号