面向对象并行应用框架及其形式化方法的研究.pdfVIP

摘要 目前在并行应用领域软件的设计、开发和维护中存在着一些问题:并行开发环境层 次较低，导致并行程序的正确性难以保障，并行程序调试和测试困难:系统开发周期 长，开发效率低，可维护性和可移植性差;对软件的复用仅停留在较低的水平之上。对 以上问题，我们认为应使用软件复用技术加以解决。 面向对象的应用框架技术是一种重要的软件复用技术。使用框架开发的应用程序具 有模块化程度较高，可复用性、可扩展性及可移植性好等优点，因而应用框架技术是一 种降低软件开发费用和提高软件开发质量的有效手段之一。面向对象的应用框架技术在 一些应用领域己经得到了广泛的应用，但在一些比较复杂的应用领域，如油气勘探、分 布式医疗图像处理和实时航空控制系统等领域，目前还缺乏相应的领域应用框架.少 抵’吸们的工作包括两个主要方面，一是对_9L1-nAlff架彗主应用方面的研究，主要是 提出了一个迪气勘探颇域的新型框架系统。二是对应用枢架的形式化理论方面的研究。 理论研究包括两个层次，一是在较高层次如何对框架进行精确的形式化描述，一是在较 低层次对框架中关键部分代码进行正确性验证。慎体为以下一些工作: (1)一个油气勘探领域的新型井行应用框架HOOPE。我们以油气勘探为应用背 景，研制开发了一个新型的并行应用框架:层次式面向对象并行开发环境 HOOPE(HierarchicalObject-OrientedParallelEnvironment)。由于目前在这一领域中缺 乏并行应用框架，因而我们的工作在面向对象框架的应用方面具有一定的创新性。 HOOPE框架包括专业应用框架层、应用组件层、抽象数据层和并行支撑层等四层。由 于使用了层次式结构，一方面开发人员可以根据应用领域的需要直接使用专业应用框架 层、应用组件层和抽象数据层的原语来开发并行应用程序而无需涉及底层的并行细节; 另一方面专业人员可直接使用并行支撑层进行应用开发，或基于底层原语增加新的面向 领域的高层原语，从而使得该框架具有较好的灵活性和易扩充性。总的来说，HOOPE 框架为油气勘探领域的并行科学计算应用程序开发人员提供了一个具有易使用性、易复 用性和易扩展性的新型并行应用开发环境。 (2)框架描述的形式化方法研究。目前尚没有一个广泛接受的对框架统一而精确 的描述方法。对框架用自然语言描述容易产生歧义和模糊，影响对框架的正确使用。我 们用形式化方法对框架进行精确的描述，避免了以上的问题。同时形式化描述方法也对 框架的设计和使用具有重要的指导意义。我们以较为常用的层次式框架为例，给出了它 的形式化描述。这一描述方法可以推广到对其他类型框架的描述。 (3)框架中核心部分代码正确性验证。框架中核心部分代码正确与否对开发出的 应用程序的质量具有非常重要的影响。我们用公理化方法对框架中部分关键代码进行了 形式化验证。这也是形式化方法与实际软件工程结合的一个重要途径。 本文在框架技术与实际应用领域的结合，以及框架的形式化方法方面都做了一些探 讨。在研究过程中，我们发现框架技术还存在着一些问题需要解决，本文最后对框架今 后的发展和研究方向做了一些展望。产一 关键字:面向对象的应用框架技术，并行开发环}f形式化方法，验证 Abstract Currently,therearemanyproblemsinthedevelopmentandmaintenanceofdomain-oriented parallelapplications:theabstractlevelofcommonparalleldevelopingenvironmentsissolow thatitisverydifficulttoensurethecorrectnessofparallelprogramsandtodebugandtestthe parallelapplications;thedevelopingcycleofparallelsystemsistoolongwhilethe maintainability,portabilityandscalabilityofthesystemsarenotdesirable;softwarereuse staysinrelativelylowlevels.Therefore,Softwarereusetechnologiesarecriticaltosolvethe problemsmentionedabove. O