CAP -- A CASE System for Concurrent Ada Programs

本研究的目标是：开发一种新的设计方法 使用有限状态通信网络的并发程序 机器;建立一个图形导向的计算机辅助软件 基于该技术的工程系统，用于指定和 设计Ada程序的任务方面。 的独特方面 系统的一个特点是它能够自动分解有限状态机 进入通信有限状态机的网络，该通信有限状态机具有相同的 行为 因此，设计者可以利用额外的资源， 在初始有限状态下不明显的并发行为 机器规格，并指导分解，从而获得一个 理想的并行结构。

The goals of this research are to: develop a new approach to designing concurrent programs using networks of communicating finite state machines; build a graphically-oriented computer aided software engineering system, based on this technology, for specifying and designing the tasking aspects of Ada programs. A unique aspect of the system is its ability to automatically decompose a finite state machine into a network of communicating finite state machines having the same behavior. Thus the designer can utilize additional sources of concurrent behavior that are not apparent in the original finite state machine specification, and guide the decomposition so as to obtain a desired concurrent structure.