【摘 要】
：
该文首先提出了提高组件可靠性要解决的具体问题,参考了Meyer[1]的"按契约设计"(Design By Contract)的思想来提高组件的实现及设计上的正确性.但这一思想只适用于Eiffel语言
论文部分内容阅读
该文首先提出了提高组件可靠性要解决的具体问题,参考了Meyer[1]的"按契约设计"(Design By Contract)的思想来提高组件的实现及设计上的正确性.但这一思想只适用于Eiffel语言,而目前市场上流行是诸如Java、C++等一些其它面向对象语言,有时各软件企业由于其服务领域的不同,会采用某种特殊但应用范围比较少的语言.为提高它们所构造组件的可靠性,因此很有必要让这一思想变得通用起来.当为程序制定契约之后,就应该有契约监控器来保障其实施.目前虽有许多不同语言的契约监控器,但它们也并没有给出制定适应于该语言良好契约一些设计规则,也没有给出与组件的具体的对应关系.而且其中0-0契约检查器并不提供层次上考虑,Findler[2]提出了检查的思路,但并没有给出通用的算法.所以该文提出了将"按契约设计"(Design By Contract)的思想与契约监控器整合的思想的一整套方案,并给出了用Java语言实现"契约翻译"的通用算法,希望对大多数希望运用"按契约设计"的企业与个人有良好的借鉴作用.通过研究,作者总结出上述方法与组件的中具体联系及对应情况.例如组件中核心的概念接口与ADT有直接的对应关系.而提供完整功能的组件通常会具有层次结构,这与公有继承相对应.类与组件中一组接口的一种具体实现相对应.也就是说组件编程只不过是在面向对象系统设计与实现上添加了一些限制,它实际上已经覆盖了后者的主要部分,因此研究后者的可靠性会有殊途同归的效果.该文涉及到Eiffel、Java、C++几种具代表性的面向对象语言,旨在展示出用0-0语言实现带契约组件时出现的种种问题.总之,作者的研究成果是将契约理论与契约检查器思想的思想加以整合,为企业提供一套切实可行的方案.
其他文献
近年来,网络攻击变得越来越普遍,也越来越难于防范,传统的技术如防火墙难于满足目前网络安全的需要,一项新的网络安全技术——入侵检测技术很好地解决其他技术的不足.它不仅
定理机器证明是许多基于逻辑的推理系统的核心,因此提高自动定理证明系统的效率具有重要的意义.表方法由于其适用于非经典逻辑的推理而受到重视,结合了其它推理方法中的剪枝
该文首先介绍了移动IP出现的背景,分析了传统路由协议在解决节点移动性问题方面的不足,指出了移动IP技术出现的必要性和设计移动IP应达到的要求.接着,简要介绍了移动IP协议的
近年来，云计算技术快速发展，其安全问题也日益突出并得到了越来越多的关注。云计算将存储能力、计算能力等资源以类似水电的方式、按用户的需求提供给用户。在这一过程中虚拟化
逻辑程序设计作为一种描述性的程序设计范例，目前已经成为人工智能领域中进行知识表达和推理的一个有力工具。回答集语义在非单调的逻辑程序语言中占有重要地位。作为一种处理
在加权关联规则挖掘的研究中,主要的工作是从事务数据库中产生加权频繁项目集.由于加权频繁项目集不具有向下封闭性,也就是,加权频繁项目集的子集不一定加权频繁.因此,不能用
论文结合智能代理的特点和典型的商务交易模型,设计了以智能代理为基础的分布式电子交易市场及其系统的结构.提出了基于多智能代理的撮合交易思想,设计了市场撮合代理动态匹
我们在开发吉林省自然科学基金项目《移动IP关键技术的研究与软件实现》的过程中,利用Linux内核代码的开放性,在网络层嵌入操作系统内核编码,给出了移动IP中移动节点的注册应
该文研究目的是面向对象的动态辅助测试工具(OODT,Object-Oriented Dynamic Testing Tool).OODT是我们小组针对C源程序研制的动态辅助测试工具系统,该文的重点是根据源程序生
该文主要论述了开发PDM系统中系统管理的主要方法,并基于J2EE平台,参考国外先进软件经验,采用UML设计,开发了启明星PDM系统中的系统管理部分.该文共分7章,第一章介绍了产品数