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

研究的目标:为Ada并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架(并发程序单元的划分和它们之间的通信)。这样做的好处在于提高软件的生产率,改善软件质量。在提出用于并发软件理解的会合次序图的基础上,给出了并发设计语言CONDL的语法、语义描述和图形化表示(泳道),并简单介绍了所研制的一个工具CONDLAS(生成Ada代码框架)。

并发软件的图形化设计方法研究(一):并发设计语言CONDL的定义

这项研究的目标是:为并发软件的设计提供一种图形化的方法和支撑工具,以便用图形表达并发软件的设计,并生成并发程序的框架(并发程序单元的划分和它们之间的通信)。这样做的好处在于提高软件的生产率,改善软件质量。在论文的这一部分,给出了并发设计语言CONDL的定义。

并发软件的图形化设计方法研究(二):并发设计语言CONDL的图形化表示

这项研究的目标是 :为并发软件的设计提供一种图形化的方法和支撑工具 ,以便用图形表达并发软件的设计 ,并生成并发程序的框架 (并发程序单元的划分和它们之间的通信 )。这样做的好处在于提高软件的生产率 ,改善软件质量。在论文的这一部分 ,给出了并发设计语言CONDL的一种图形化表示 。