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

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

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. ***