A Multi-Layered Approach to the Development of Concurrent Object-Oriented Systems

并发面向对象系统开发的多层方法

• 批准号: 9307917
• 负责人: Doris Carver
• 金额: $ 1.8万
• 依托单位: Louisiana State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1993
• 资助国家: 美国
• 起止时间: 1993-08-15 至 1995-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9307917&HistoricalAwards=false
• 关键词: Multi; Layered; Approach; Development; Concurrent

9307917 Carver Concurrent software systems will be specified using an object- oriented formal specification language. The long-term objective of the research is to define a hierarchy of formal specification languages that address, in increasing specificity, the requirements of concurrent systems. This family of languages is based on the concept of a base language that serves as the parent class and subclasses that represent increasingly specify features of concurrent systems. The preliminary approach is to first develop a hierarchical description of the classes and their relationships and then to formally define the base class, both syntactically and semantically. Using inheritance, subclasses will then be defined for categories of programming languages that support specific language features. This approach to the specification of concurrent object-oriented systems promotes the use of abstraction and assists the specifier with the transformation of a problem to a language-specific form. The hierarchy of specifications also has potential for specification reuse. The planning activities include comprehensive study of research in areas that are fundamental to the proposed research, including formal specification languages, concurrent object- oriented languages, and algebraic specifications. The planning activities also include the development of a mini-language to provide a mechanism for experimentation and for expansion of the proposed research. ***

9307917 Carver并行软件系统将使用面向对象的形式规范语言进行说明。 研究的长期目标是定义一个层次结构的正式规格说明语言，地址，在日益增加的特异性，并发系统的要求。 这个语言家族是基于一个基本语言的概念，作为父类和子类，代表越来越多的并发系统的指定功能。 初步的方法是首先开发类及其关系的层次化描述，然后从语法和语义上正式定义基类。 使用继承，然后将为支持特定语言功能的编程语言类别定义子类。 这种并发面向对象系统规范的方法促进了抽象的使用，并帮助规范将问题转换为特定语言的形式。 规范的层次结构也具有规范重用的潜力。 规划活动包括对拟议研究的基础领域进行全面研究，包括形式规范语言、并发面向对象语言和代数规范。 规划活动还包括开发一种微型语言，为试验和扩大拟议的研究提供一种机制。 ***