构件适配技术的形式化分析与实现

来源 :华中师范大学 | 被引量 : 0次 | 上传用户:yangzb5
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
基于构件的开发(Component-Based Development,简称CBD)或基于构件的软件工程(Component-Based Software Engineering,简称CBSE)是一种软件开发新范型,它是在一定构件模型的支持下,复用构件库中的一个或多个软件构件,通过组合手段高效率、高质量地构造应用软件系统的过程。由于以分布式对象为基础的构件实现技术日趋成熟,CBD已经成为现今软件复用实践的研究热点,被认为是最具潜力的软件工程发展方向之一。商业软件构件不断增长的需求引起了消费者需求和构件开发者的矛盾,尤其是构件规范之间差异使得构件组装越来越困难。构件适配是这一问题的一种解决方法。本论文集中于使用Z语言规范的设计方法将适配技术应用到Enterprise JavaBeanTM构件并使用主动接口适配技术对其进行适配。对主动接口(active interface)适配技术的研究发现,构件可以提供一个专为适配而建立的接口,这是适配的关键。主动接口适配技术的开发使得某些任务可以自动执行,减少与用户的交互。主动接口适配技术使得工具的使用变得更简单。本文针对软件复用中构件不符合应用程序需求的问题,使用规范的规则语言对构件适配技术进行形式化分析,研究了适配EJB构件方法。建立了基于EJB构件的主动接口适配模型,研究了设计可适配构件的设计方法,该方法支持可适配软构件的创建。
其他文献
工作流技术是实现业务过程自动化的关键技术,逐渐成为这些年研究热点。作为过程建模和过程管理的核心技术,它可以与其它系统有效地结合,生成符合企业需求的各种业务管理系统。传
随着网络的迅猛发展,网络安全的重要性也日益凸显,对网络内容的检测成为网络安全体系中不可或缺的一部分。海量数据的处理和层出不穷的应用需求使网络内容检测技术面临着严峻的
随着计算机技术的不断发展,特别是互联网技术的广泛应用,提高软件质量的呼声越来越强烈,但同时软件项目的开发周期和开发规模却不断增长,软件开发的风险和管理的难度也在不断
随着计算机技术和Internet的飞速发展,计算机系统已经由独立的单机模式转向开放、互联的网络环境,网络安全和信息安全问题日益突出,网络上各种攻击事件不断发生,相应地,各种安全措
随着网络的迅速普及和网络应用日益深入社会生活各个层面,网络应用的安全性问题成为制约其发展的主要因素之一。在管理大量的网络系统时,安全管理的复杂性是个很具挑战性的问题
Internet技术的迅猛发展和空前普及给人们带来了诸多方便的同时,也带来了很多问题。网络在传播有用知识和信息的同时,也正在被不法分子、反动敌对势力等信息内容的发布者所利用
Packing问题(布局设计问题)来源于许多领域的工程设计,如:印刷电路板(PCB)设计,航天器布局方案设计,钢铁企业的组板组坯及加工业的板材切割等。这些问题要求在满足多个约束条件下
在云计算环境下云服务提供商管理着大量的Web应用,又以购买或租用的方式获取基础设施,通过静态部署与动态资源分配以Web应用的形式为租户提供软件服务。通过合理的对Web应用进
随着工作流技术的发展,业务流程执行语言(BPEL)逐渐成为了工作流领域的一股新兴力量。众多基于BPEL的引擎产品也如雨后春笋般的地出现在市场上。对于工作流来说,BPEL带来的好处
随着云计算技术的不断成熟,云计算已经广泛应用到我们的日常生活以及企业的事务管理中。云计算的普及为企业应用客户关系管理系统提供了机遇,尤其是一些中小企业不需要太多的成