RESEARCH INITIATION AWARD: Executable Specifications for the Design of Object-Oriented Systems

研究启动奖：面向对象系统设计的可执行规范

• 批准号: 9308473
• 负责人: Yi Deng
• 金额: --
• 依托单位: Florida International University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-07-15 至 1997-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9308473&HistoricalAwards=false
• 关键词: RESEARCH; INITIATION; AWARD; Executable; Specifications

Executable specification is regarded as an important supporting tool for software system design, because it integrates the method of formal analysis, and the more experimental approach of prototyping and testing to analyze and to verify the design of a system at early stage of the software life cycle. However, executable specification is still a virgin area in OO research. The motivation of this research is to bridge this important technological gap in the current OO research. An executable design specification language for OO systems will be studied. The language is called extended G-Nets (eG-Nets), which is based on the theory of Petri nets, and the PI's previous work on the G- Net framework. The design of eG-Nets represents a modular approach for software specifications in the sense that an eG- Net specification not only specifies the behavior of an OO system, but also the structure of the design. EG-Net specifications are directly executable in distributed environment.

可执行规格说明被认为是软件系统设计的重要支持工具，因为它集成了形式化分析的方法，以及更多的原型和测试方法，在软件生命周期的早期阶段分析和验证系统的设计。然而，可执行规范在OO研究中仍然是一个空白领域。本研究的动机是弥合这一重要的技术差距，在目前的面向对象的研究。本文将研究面向对象系统的可执行设计规范语言。该语言被称为扩展的G-Nets（eG-Nets），它基于Petri网理论，以及PI以前在G-Net框架上的工作。eG-Net的设计代表了软件规范的模块化方法，因为eG-Net规范不仅指定了OO系统的行为，而且还指定了设计的结构。EG-Net规范可在分布式环境中直接执行。