虽然在单机时代已经提出了并发性的概念,但在分布式系统日益广泛应用的今天,并发性的重要性无疑是更大了。然而,可靠而高效的并发软件比顺序程序更难以开发。并发软件的设计容易出错,主要在于其并发性。这已经成为并行、分布式系统的瓶颈问题。 “一图胜百言”。在顺序程序设计中起着重要作用的图形表示对于并发软件的开发就显得有些无能为力。为应对这种挑战,人们又努力去探求新的描述工具。并发软件的图形化设计方法研究与实现对改善并发软件的质量,提高并发软件的开发效率具有十分重要的意义。 另一方面,用图形表达并发软件有着实际的困难。由于并发软件必然是多任务的,而且这些任务之间要经常发生同步、互斥或通信。所以,多任务和通信是并发软件的显著特征。要在一张图上,既表达多个任务的详细流程,又表达它们之间的通信,会使图形变得过于复杂,难于描绘,也难于读和理解。这也是目前并发软件图形化设计方法研究中的薄弱环节。 针对目前的这种现状,我们对Ada程序的会合次序图,基于Ada的消息通信机制的并发软件设计语言CONDL及其图形化表示——泳道进行了学习与研究,在此基础上提出了并发软件设计图元和判定树的概念,利用图元、判定树相关规则和算法实现CONDL或泳道到Ada并发软件框架的生成过程。并发软件图形化设计方法的研究与实现提高了并发软件的设计与开发的效率,改善了并发软件的质量。 本文在对Ada程序会合次序图、并发软件设计语言CONDL及其图形化表示等主要理论进行整体介绍后,详细探讨了CONDL到并发软件设计语言分析系统CONDLAS实现中的一些关键技术,最后对系统的设计原理与主要模块的实现方法进行讨论。