并发软件的图形化设计方法研究

并发软件的设计要抓住任务之间的通信和诸通信之间的关系这个关键因素。本项目的研究成果，就是在这个思想指导下给出了一个图形化的并发软件设计语言CONDL和相应的支持工具CONDLAS，使用户能用以方便地描述应用系统中任务（进程）之间的通信和诸通信之间的关系，工具能及时自动生成对应的Ada并发程序框架。CONDL有正文和图形两种表示形式。图形表示采用类似UML的泳道方式表示并发程序设计处理单元（有些语言称为进程或任务），通信则表示为两个相关任务之间的一个矩形。这种表示直观，又能方便表示通信的接续关系、嵌套关系和通信的不确定选择。