收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

基于组件的逐步求精程序设计方法

郑建丹  
【摘要】:软件体系结构是近年来软件工程界的热门研究领域之一。在软件体系结构 设计过程中,经常要碰到的问题是如何从抽象的高层体系结构逐步过渡到底层 的体系结构直到最后的实现。这个过渡过程要保证每层过渡的正确性,否则最 后得到的可执行程序可能不是最初所想要的目标程序,因此如何对体系结构求 精显得尤其重要。这也是本文要致力解决的问题。 基于组件的由静态语义向动态语义逐步过渡的程序设计方法从体系结构的 基本元素──组件入手,用XYZ/E形式化体系结构,每次的求精都是对组件的求 精,而不是整个体系结构,组件的求精就是用组件的动态语义代替组件的静态 语义,由于XYZ/E具有可以在统一的框架下描述静态语义和动态语义的特点, 从而使系统能够从最初的体系结构设计平滑的过渡到最后的可执行程序。求精 一致性的验证可以借助于基于Hoare逻辑规则的验证工具XYZ/VERI以及 XYZ/E作为时序逻辑语言所具有的对一些程序性质的证明方法。 本文首先用时序逻辑语言XYZ/E用形式化描述体系结构中的基本组件和连接 件以及体系结构风格,说明如何用XYZ/E描述软件体系结构然后在此基础上提 出基于组件的由静态语义向动态语义逐步过渡的程序设计方法,将软件体系结 构与XYZ系统有机的结合起来。 这种方法的优点是在统一的框架下描述不同抽象程度的体系结构,使体系 结构的每一步求精能够平滑的过渡,检查每步求精的一致性,尽可能早的找出 程序的错误,从而降低程序开发成本。缺点是目前还没有很好的自动化验证工 具用于验证求精中的每一步。


知网文化
【相似文献】
中国重要会议论文全文数据库 前1条
1 蒋泉;成建波;李军建;;YAG投影管光谱测试系统[A];中国仪器仪表学会学术论文集[C];2004年
中国博士学位论文全文数据库 前1条
1 王小兵;面向对象MSVL语言及其在组合Web服务验证中的应用[D];西安电子科技大学;2009年
中国硕士学位论文全文数据库 前6条
1 郑建丹;基于组件的逐步求精程序设计方法[D];中国科学院软件研究所;2001年
2 舒明;基于XYZ/E的软件体系结构描述及求精实例研究[D];中国科学院软件研究所;2001年
3 李静;基于UML行为模型的软件漏洞检测形式方法研究[D];青岛大学;2010年
4 何亚丽;基于XYZ/ADL的Web服务组合验证研究[D];苏州大学;2010年
5 韩宝梅;基于动态QoS优化的脑卒中预防与急救服务系统[D];哈尔滨工业大学;2011年
6 费丽娟;构件组装中“特征干扰问题”的时序逻辑检测方法研究[D];华中师范大学;2004年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978