检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

软件组件组装行为兼容性检查研究

计算机工程与应用 2016年第11期52卷 30-33页

作者：张驰褚楚江西财经大学软件与通信工程学院南昌330013

在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS... 详细信息

在开放环境下,仅包含了语法层信息的组件接口不足以刻画组件交互的行为信息,从而不能对组装后的系统进行兼容性验证。提出了既包含组件接口调用方法又包含内部逻辑行为的组件视图,采用LTS表示组件行为协议,将组件交互过程表示为多个LTS之间的同步变迁;借助LTS操作语义,通过LTS同步积模拟组合系统交互的动态行为,以此为基础,检查同步积中是否出现死锁状态来进行兼容性判定,并设计了判定算法以实现兼容性的自动判定,通过一个典型的电子商务应用检验该方法的有效性。

关键词：接口组件视图行为兼容性标签转换系统(LTS)

在线全文

学校读者我要写书评

暂无评论

基于LTS的Web服务组合行为兼容性分析

计算机工程与设计 2016年第5期37卷 1280-1284页

作者：张驰江西财经大学软件与通信工程学院江西南昌330013

Web服务描述语言仅包含语法层信息,不能刻画服务交互的行为信息,不能对组装后的系统进行兼容性验证,为此提出既包含服务接口调用方法又包含内部逻辑行为的服务视图,采用标签转换系统(LTS)表示服务行为协议。根据服务组合的消息收发关系... 详细信息

Web服务描述语言仅包含语法层信息,不能刻画服务交互的行为信息,不能对组装后的系统进行兼容性验证,为此提出既包含服务接口调用方法又包含内部逻辑行为的服务视图,采用标签转换系统(LTS)表示服务行为协议。根据服务组合的消息收发关系,将组合交互过程表示为多个LTS之间动作的同步变迁,通过LTS同步积模拟组合系统交互的动态行为;通过检查同步积中是否存在死锁状态,进行行为兼容性判定,设计判定算法以实现兼容性的自动分析,通过一个典型的电子商务应用系统分析验证了该方法的有效性。

关键词： Web服务服务视图行为兼容性同步矢量标签转换系统

在线全文

学校读者我要写书评

暂无评论

多Web服务组合兼容性的自动化验证

计算机工程与应用 2016年第7期52卷 67-73页

作者：贾志淳邢星渤海大学信息科学与技术学院辽宁锦州121013 哈尔滨工业大学航天学院哈尔滨150001

Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论... 详细信息

Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论的基础上,给出基于Pi演算的多Web服务组合行为兼容性的自动化验证算法,通过将多Web服务组合自动转化为Pi演算中的组合进程,实现多Web服务组合的自动化验证。

关键词： Pi演算 Web服务组合行为兼容性 Web服务行为自动化验证

面向自适应中间件的语义构件动态组合研究与应用

在线全文

学校读者我要写书评

暂无评论

面向自适应中间件的语义构件动态组合研究与应用

作者：赵春波杭州电子科技大学

学位级别：硕士

随着普适计算的提出,以及构件化软件开发模式的兴起,基于构件的自适应中间件研究越来越受到人们的关注。然而,传统构件仍缺乏对于构件行为与交互的描述,导致构件组合不可预见,难以满足一些具有复杂需求的服务。在进行构件组合时,对于新... 详细信息

随着普适计算的提出,以及构件化软件开发模式的兴起,基于构件的自适应中间件研究越来越受到人们的关注。然而,传统构件仍缺乏对于构件行为与交互的描述,导致构件组合不可预见,难以满足一些具有复杂需求的服务。在进行构件组合时,对于新旧构件行为的等价性判定,以及新构件在系统中运行的兼容性分析仍存在判定结果不够精确、缺乏判定标准等问题。同时,在构件动态组合过程中未对各种组合行为的自适应能力进行分析,也未对各种自适应行为进行对比与选择,从而使得系统整体的可靠性、稳定性与高效性大打折扣。本文着重针对以上这些问题展开研究与实践工作,在自适应中间件中引入语义构件,使系统具备自我调整能力以适应外部环境的变化。同时,在进行构件的动态调整之前,基于π演算对新旧构件间的行为等价性进行分析,并要求新构件在原系统中运行时具备一定的兼容性,同时对每种可能的调整动作进行分析比对并选择,尽可能保证系统的可靠性、稳定性与高效性,满足用户的服务需求。以下是本文的主要工作: 首先,基于π演算的相关语法与操作语义,对构件行为进行形式化建模,之后着重分析并判定构件行为的等价性与兼容性。在研究构件行为等价性时,首先给出等价性判定相关理论,之后通过具体案例分析构件行为等价性,最后运用MWB工具建模并验证行为等价性;在研究构件行为兼容性时,首先给出兼容性验证的方法,之后通过具体案例分析构件行为之间的兼容性。构件行为的等价性保证了进行构件替换操作时构件功能性行为的一致性,以及构件接口的匹配性;构件行为的兼容性保证了构件组合内部流程结构正确性,避免构件交互过程中的死锁或不可达状态出现,确保系统正常稳定可靠运行。其次,基于前几章的研究工作提出构件动态自适应组合方法。我们在该组合方法中加入了自适应因子的概念,用于衡量各组合行为的自适应能力,并对自适应因子进行分类与计算。之后,我们给出了构件动态组合的流程,可根据自适应因子大小对组合行为进行对比并选择。最后,将基于语义构件的动态自适应组合方法应用到移动音乐系统中,并给出具体的系统设计以及构件开发与实现方法,最终使得系统能感知上下文的变化并进行构件的动态自适应重组,并验证了系统具有自适应能力强的特点,满足较高的QoS需求。

关键词：自适应中间件语义构件行为等价性行为兼容性构件组合