CAP -- A CASE System for Concurrent Ada Programs

CAP——并发 Ada 程序的 CASE 系统

• 批准号: 8822839
• 负责人: Philip Lewis
• 金额: $ 11.93万
• 依托单位: SUNY at Stony Brook
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1989
• 资助国家: 美国
• 起止时间: 1989-05-01 至 1992-04-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8822839&HistoricalAwards=false
• 关键词: CAP; CASE; System; Concurrent; 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.

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