A Formal Basis for Object-Oriented Modeling Techniques

面向对象建模技术的形式基础

• 批准号: 9803491
• 负责人: Robert France
• 金额: $ 17.52万
• 依托单位: Colorado State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1998
• 资助国家: 美国
• 起止时间: 1998-09-01 至 2002-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9803491&HistoricalAwards=false
• 关键词: Formal; Basis; Object; Oriented; Modeling

9803491 The proposed project is concerned with developing a formal basis for object-oriented (OO) analysis and design modeling. There are two major components to the research: OO concept formalization and method development. In the concept formalization phase, core OO modeling concepts and their compositions are identified and precisely characterized, and rigorous techniques for analyzing and refining/elaborating OO models are developed. The focus of the method development phase is on the creation of a rigorous software development method, based on the standard Unified Modeling Language (UML), that utilizes the formalized concepts produced in the previous phase. The proposed research will deepen understanding of OO modeling and analysis concepts, and pave the way for the development of rigorous development methods based on OO modeling techniques. The research is also intended to produce results that can be used as part of the foundation for ongoing efforts at standardizing OO modeling language semantics.***

9803491提议的项目涉及开发面向对象（OO）分析和设计建模的正式基础。该研究有两个主要组成部分：面向对象概念形式化和方法开发。在概念形式化阶段，确定并精确地描述核心OO建模概念及其组成，并开发用于分析和精炼/精化OO模型的严格技术。方法开发阶段的重点是基于标准的统一建模语言（UML）创建严格的软件开发方法，该方法利用了前一阶段中产生的形式化概念。提出的研究将加深对OO建模和分析概念的理解，并为基于OO建模技术的严格开发方法的开发铺平道路。这项研究还旨在产生一些结果，这些结果可以作为正在进行的标准化OO建模语言语义工作的基础的一部分