一种自动的软件体系结构规约重写方法及工具支持

来源 :江西师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:lszh123321
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在软件体系结构层次实施重构,能更好地提高软件的易维护性.该文提出了一种体系结构规约重写的策略描述方法,将体系结构重构转换为接口重构和实现体重构两部分,给出了接口规约重写的基本操作,以及实现体规约重写的操作,并用策略描述语言对这些规则进行了描述和代码实现.
其他文献
白石水库始建于1964年12月,1966年5月完工,经多次加固扩建后达现有规模。水库建成运行后为当地工农业生产和人民群众生活发挥了较大的经济效益和社会效益。但因历史的原因和投
该文从节点能量、数据延迟和链路负载等方面,分析了无线自组网中PEGASIS和ECMR这两种典型的路由算法各自的优缺点,提出了一种分布式的高效节能的多跳分簇算法.通过实验证明,该算
对色散位移光纤中交叉相位调制效应(XPM)导致连续波产生频移进行了实验研究,并用光纤光栅滤波实现了波长转换.结果表明基于色散位移光纤中交叉相位调制效应的波长转换具有宽的