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

来源 :江西师范大学学报:自然科学版 | 被引量 : 0次 | 上传用户:lszh123321
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在软件体系结构层次实施重构,能更好地提高软件的易维护性.该文提出了一种体系结构规约重写的策略描述方法,将体系结构重构转换为接口重构和实现体重构两部分,给出了接口规约重写的基本操作,以及实现体规约重写的操作,并用策略描述语言对这些规则进行了描述和代码实现.
其他文献
白石水库始建于1964年12月,1966年5月完工,经多次加固扩建后达现有规模。水库建成运行后为当地工农业生产和人民群众生活发挥了较大的经济效益和社会效益。但因历史的原因和投
一、社会主义市场经济与地方政府职能转变 1、发展中国家和地区的经济是政府"主导型"的市场经济。发展中国家和地区的实践表明,在现代化的进程中政府起强有力的推动作用。原
期刊
一、建立与市场经济相适应的农业经营体制。1、充分认识继续稳定完善家庭联产承包制和双层经营体制的意义。家庭联产承包制是我国农村社区合作组织内部的一种责任制形式,是农
目的 :探讨联用推拿疗法和中药熏蒸疗法治疗腰椎间盘突出症合并2型糖尿病的临床效果。方法 :选取2015年5月至2017年5月期间扬州市江都中医院收治的60例腰椎间盘突出症合并2型糖
该文从节点能量、数据延迟和链路负载等方面,分析了无线自组网中PEGASIS和ECMR这两种典型的路由算法各自的优缺点,提出了一种分布式的高效节能的多跳分簇算法.通过实验证明,该算
【正】 一九八五年上海市大专院校毕业生一万六千五百十六人,分配工作与往年相比,进展比较顺利。毕业生普遍反映,分配得合理,做到专业对口,量才录用。绝大部分毕业生在学校宣
近年来,理论界、企业界就工人阶级地位的变化有许多分析研究文章。这个问题关系到现代化建设的主体——广大的工人群众对自身利益的理解和认识,继而关系到人们对现代企业制度
近期,杭州市贸易办公室会同市计委、市经委、市外经贸委、杭州人民广播电台等单位,联合对我市贸易系统"三资"企业进行了调查。通过调查表明:自邓小平同志南巡讲话以来,商业招
对色散位移光纤中交叉相位调制效应(XPM)导致连续波产生频移进行了实验研究,并用光纤光栅滤波实现了波长转换.结果表明基于色散位移光纤中交叉相位调制效应的波长转换具有宽的
消费合作社是消费者为维护自身经济利益,通过互助合作,进行自我服务的流通合作经济组织。消费合作社在西方国家十分普遍,发展历史悠久。近几年来随着社会主义市场经济的发展,