基于接口自动机的构件行为获取

来源 :南京大学 | 被引量 : 0次 | 上传用户:quangang770
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
如何高效、低成本地开发高质量软件一直是计算机软件领域重点研究的问题。软件复用被认为是解决该问题的既实用又有效的方法。构件技术作为支持软件复用的核心技术也因此备受关注。在基于构件的软件开发中,如何提高构件的可复用性是决定软件复用能否真正发挥作用的关键。 本文提出了根据用户需求获取构件中特定行为的方法,以此来提高构件的可复用性,并对这一方法进行了研究。构件行为获取方法的基本思想是:利用环境与构件的交互—主要是环境为构件提供的输入来影响构件的行为,从而完成根据需要对构件行为的获取。本文用接口自动机为构件建立行为模型,在此基础上先后研究: 1.如何从行为不兼容的构件组合中抽取最大可用行为。本文通过构造最大合法环境的方法来解决该问题。行为不兼容的构件组合可以在最大合法环境中被正常使用,即它们与最大合法环境的组合是行为兼容的。同时,原组合中的可用行为被最大程度地保留在它们与最大合法环境的组合中。 2.如何从构件中抽取场景规约中描述的用户想要的行为,即基于场景的构件行为抽取问题。本文通过构造极大包含环境的方法来解决该问题。由场景规约所描述的原构件中的行为可全部保留在构件与极大包含环境的组合中。而不在场景规约描述范围内的原构件中的其它行为则最大程度地不被保留在构件与极大包含环境的组合中。 3.如何从构件中剔除场景规约中描述的用户不想要的行为,同时还要对构件中用户想要的行为予以保留,即基于场景的构件行为过滤问题。本文通过构造条件排斥环境的方法来解决该问题。由场景规约描述的原构件中的用户不想要行为均不保留在构件与条件排斥环境的组合中。同时,由场景规约描述的原构件中的用户想要行为则均被保留在构件与条件排斥环境的组合中。文中对最大合法环境、极大包含环境和条件排斥环境的存在性给予了证明:给出了构造上述三种环境的算法;分析了算法的正确性和复杂度。对于文中给出的构件行为获取方法均进行了相应的实例研究。 本文还将上述研究结果应用于Web Services。文中给出了Web Services的业务流程可执行语言BPEL到接口自动机的转换方法。基于这种转换方法,实现了基于接口自动机的构件行为获取方法在Web Services中的应用,并得到了一种可对服务行为进行分析和获取的途径。此外,本文还给出了构件行为获取支撑工具,即构件行为获取系统的原型设计。该工具可以对本文给出的基于接口自动机的构件行为获取方法提供支持。
其他文献
随着计算机仿真技术和高精度传感仪器的发展,科学研究各领域的数据量呈现爆炸式增长。与此同时,数据类型多样化和处理速度难以匹配生产速度等问题也对科学数据管理提出了挑战。
隐蔽通道包括所有可以绕过系统强制访问控制机制的通信机制,隐蔽通道分析是高安全级信息系统设计开发过程中必不可少的组成部分。本文研究了隐蔽通道的标识、带宽计算模型和隐
海洋环流模式被广泛应用于海洋环境和气候预测研究。随着研究不断深入,海洋环流模式向着高分辨率的方向发展。分辨率的提高会导致模式的计算量和模式对计算资源的需求呈几何级
门户提供了对信息资源的单一访问入口。随着信息化建设的深入,门户已经成为企业新型办公环境的重要组成部分,并在消除信息孤岛等方面发挥了关键的作用。   集成企业内部和外
编译器是软件开发的基础支撑性工具,它的正确性直接影响到应用软件的可靠性,保证其质量的有效手段之一是软件测试。优化是编译过程中的重要阶段,它主要通过对程序进行等价性变换
人体目标是视频监视场景中最为重要的—类目标,其数量指标在许多实际应用中都具有十分重要的作用。因此,基于视频监视的人数统计技术研究能产生直接的经济效益和社会效益,尤其是
1895年伦琴发现X射线,并将其应用于医学成像领域,揭开了医学检测手段的新篇章。自此以后,医学成像技术的发展经历了两个阶段:结构成像、功能成像。大量现代医学成像设备(如:计算机
随着计算机软硬件技术、网络通讯技术和现代制造技术的飞速发展,数控系统正在朝着开放式、网络化和智能化方向发展,这对开放式控制器系统提出了越来越高的要求。与此同时,嵌
本文就如何建设企业配送中心信息系统进行了讨论,提出了一种适合一般企业配送中心信息系统的构建思路。并在此基础上设计实现了一个基于J2EE的从事货物运输、仓储、配送等业务
医学图像分割技术能够自动或半自动描绘出医学图像中的解剖结构和其它感兴趣的区域,从而有助于诊断,所以它在生物医学图像的应用中起着非常重要的作用。虽然己研究出不少边缘提