[面向对象并行应用框架及其形式化方法的研究]刘建中

【面向对象并行应用框架及其形式化方法的研究】刘建中.pdf

学 号:MG9833050 论文答辩日期:200/年 6月9日 指导教师:(签字)摘要 目前在并行应用领域软件的设计、开发和维护中存在着一些问题:并行开发环境层 次较低,导致并行程序的正确性难以保障,并行程序调试和测试困难.系统开发周期 长,开发效率低,可维护性和可移植性差.对软件的复用仅停留在较低的水平之上。对 以上问题,我们认为应使用软件复用技术加以解决.面向对象的应用框架技术是一种重要的软件复用技术。使用框架开发的应用程序具 有模块化程度较高,可复用性、可扩展性及可移植性好等优点,因而应用框架技术是一 种降低软件开发费用和提高软件开发质量的有效手段之一。Wehavediscussedtheapplicationof theapplicationframeworktechniqueinthedomainfields andsomeresearch onframeworksusingformal methods.During thestudy offrameworks,we found that there aresomeproblemswaitingforsolutions.At thelastpart of thethesis,wegive anoverviewofthefuturetrendsoftheframeworktechnology