基于时间自动机的动态服务组合方法研究

动态网络环境下,Web服务资源具有高度自治性和动态性,如何根据运行时具体的用户需求完成动态的服务组合是一个重要问题.时间自动机是一种形式化的实时并发系统模型,它为实时系统的行为描述提供了较好的分析方法.本文通过引入基于时间自动机的二部图表示可以实现对动态服务组合的建模与控制.     

基于Agent的Web服务组合研究

提出了一个基于移动Agent的服务组合框架（MAWSCF）。引入计划（P）,用于描述Agent的逻辑行为,同时给出了过程匹配规则,将组合规范转换为P。在运行过程中,行为匹配算法将P解释为Agent的物理行为,从而实现组合服务任务。MAWSCF使用对等计算（P2P）的模式克服了传统服务组合系统中心控制的性能瓶颈,Agent通过克隆能够并行的执行目标组合任务中的多个分支,大大提高了效率,也有效地降低了网络的负荷。     

基于服务质量的Web服务组合模型

分析了Web服务主要的非功能属性因素,探讨了这些因素对Web服务的服务质量所产生的影响.提出了Web服务的QoS评价方法,并将Web服务的QoS作为Web服务选择的条件之一.构建基于QoS的Web服务组合模型,利用查找后继Web服务的选择方法,实现Web服务的有效组合,使得组合Web服务既能满足用户的功能需求,又达到用户个性化服务的目的.     

基于移动代理的Web服务组合

为了解决基于移动代理的服务组合,首先划分了服务提供者、服务代理商、服务消费者3个主体角色,以3个角色及其相互关系、交互内容来模拟实现现实世界的服务.在此基础上,解决了代理中间件中的服务发现和组合服务的执行问题.最后从实现角度给出了代理平台中间件的功能,实验结果表明:通过代理平台中间件可以完成对基本服务的工作状态以及其他组合所需信息的获取,并保证移动代理的协同工作.     

基于服务元组链的Web服务组合方法

提出一种描述Web服务的关系模型, 通过引入空服务和 服务元组的概念, 采用基于服务元组链的Web服务组合方法, 解决了基于服务链的Web服务组合方法只能处理顺序关系的组合问题, 应用该方法既能处理顺序关系的组合问题, 又能处理多个后继服务或前驱服务都需要被组合的并发关系组合问题.     

基于消息关联关系的Web服务组合模型

分析了Web服务之间存在的语义关联关系,给出了Web服务之间关联关系映射为消息传递关系的相关定义及消息处理规则,提出了基于消息关联关系的语义Web服务组合模型,阐述了组合服务生成时消息处理过程.该模型为用户提供了一种简单、通用的服务组合机制,降低了语义Web服务组合的复杂性.     

Web服务组合中基于服务质量的服务选择算法

为了提供满足客户服务质量（QoS）需求的组合Web服务，提出了一种支持QoS属性描述的Web服务描述模型．通过在原有的Web服务描述语言的tport元素中添加operationInst属性来描述QoS属性，从而获得了一种可扩展的Web服务描述语言．在此基础上给出了基于多目标决策理论和分形理论的服务选择算法，该算法考虑了QoS属性之间的不可公度性和独立性，同时给出了QoS驱动的服务组合框架（E-WsFrames）和具体实现方法．实验结果分析表明，E-WsFrame可以综合考虑服务组合的功能和QoS的要求，并可根据服务请求自动地实现组合服务．     

基于Petri网的语义Web服务组合模型

针对现有的语义Web服务组合的描述语言本身缺乏明确的操作语义,无法准确的描述其组合流程的问题,就此提出了一种基于Petri网的语义对Web服务组合流程进行形式化建模的方法,并通过实例验证了该方法的有效性和可行性.     

基于流演算的语义Web服务组合研究

针对现有语义Web服务组合方法未考虑到互联网环境的动态性及Web服务的随机性问题,提出采用流演算理论对语义Web服务组合进行研究.首先将Web服务的输入、输出、前提和效应映射为基于流演算的动作形式化描述; 然后定义将OWL-S中的原子过程和复合过程向流演算转换的规则; 再根据提供的Web服务组合目标,利用形式化地推理来得出Web服务的组合序列,从而能动态地形成正确有效的Web服务组合方案.最后,通过一个会议安排实例验证上述理论,结果表明该方法是可行的.     

基于事件本体的Web服务动态组合

提出了一种基于事件本体的Web服务动态组合方法.将服务与事件本体中的事件类进行映射,组合服务即是本体中的复杂事件类,服务请求即是一个事件的实例化.用户输入服务请求以后,可以通过事件本体的推理,找到用户请求对应的事件类;再根据事件本体中的事件间关系进行推理,找到它的组成事件类或者后继事件类,从而得出服务和服务之间的关系和交互;最后根据组合规则执行服务.实例验证该方法是有效的和可行的.     

基于XYZ/ADL描述的选修课管理系统体系结构

XYZ／ADL是一种基于时序逻辑语言XYZ／E的可视化体系结构描述语言。文章使用XYZ／ADL对高校选修课管理系统的体系结构、客户端组件及服务器端组件进行了抽象描述，并对服务器组件中选课这一事件进行了详细描述。     

XYZ/ADL到UML的一种映射方法

分析了软件体系结构描述语言XYZ／ADL的体系结构设计元素和UML中的建模元素的语义相似性，并对UML的建模元素经过一定的扩展和约束，实现了从XYZ／ADL到UML的映射．     

UML与ADL在软件体系结构建模中的应用研究

通过软件体系结构理论在实践中的应用,探讨了统一建模语言UML与体系结构描述语言ADL在软件体系结构建模中结合使用的方法和途径.着重研究了UML与XYZ/ADL在电梯控制系统体系结构建模中的应用问题,并运用基于构件的求精方法对该系统的主要组件进行了求精.     

基于时序逻辑语言XYZ/E的实时系统应用研究

针对实时系统在计算机系统应用中的重要性,采用形式化方法是保证实时系统软件开发正确性的一种重要途径,而时序逻辑这种形式化方法是研究实时系统的一个重要的理论基础。本文给出了时序逻辑语言XYZ/E的相关介绍,并利用XYZ/E的子语言XYZ/RBE与XYZ图描述了煤气炉实时控制问题。     

基于XYZ/E的CA系统体系结构描述

XYZ/E是一种面向软件工程的时序逻辑语言,它在统一的逻辑框架下既能表示静态语义又能表示动态语义,在很多领域得到了广泛应用,但是能够同时结合XYZ/E的静态语义和动态语义在网络领域具体系统中的应用还不多见.本文用XYZ/E对CA系统的CA组件和RA组件之间的体系结构关系进行了抽象描述,并对CA和RA组件中的部分子组件进行了详细描述,从而为XYZ/E在CA系统中的应用提供了一个范例.     

UML 2．0状态图的XYZ/E时序逻辑语义研究

UML2.0状态图适合于描述软件体系结构中组件内部的动态行为及组件端口的行为,但UML2.0状态图的语义不够精确,使得它的描述结果不利于进行进一步的分析和验证。基于此,本文在定义UML 2.0状态图的语法的基础上,给出了UML 2.0状态图的XYZ/E时序逻辑语义,为使用UML 2.0状态图与XYZ/E相结合的方式来描述软件体系结构中组件内部的动态行为及组件端口的行为奠定了基础。     

基于顺序图的Web组合服务属性验证

为了更好地理解和分析Web组合服务的过程及其相关属性,针对个体服务的WSDL文档和服务组合规约BPEL,提出了基于UML的Web组合服务建模和验证方法.从服务的WSDL中提取消息、操作等基本元素,用类图构建静态模型,以便考虑Web组合服务数据相关属性;用顺序图对业务流程构建动态模型,以形象易理解的方式刻画组合服务的行为...     

基于时序逻辑语言XYZ/E的软件体系结构描述方法

XYZ/E是世界上第一个可执行的时序逻辑语言,它既能描述抽象静态语义,又能表示程序的动态语义,这一特征恰好适合分层描述软件体系结构,本文采用XYZ/E语言刻画了软件体系结构的基本组件与连接件,并通过对这些组件及连接件进行特定的组合,来表示几种重要的软件体系结构风格.     

XYZ空间与小波能量特征融合的车牌定位

针对复杂背景情况下的车牌定位问题,给出了一种融合了小波高频能量的方法。首先利用CIE-xy色品图进行颜色分割,找到符合车牌底色的候选区域。然后对候选区域进行数学形态学滤波,消除不必要的干扰。接着利用车牌特有的结构特征剔除明显不符合车牌特征的候选区域,提取符合条件的候选区域进行小波变换,由于车牌区域有着丰富的垂直方向纹理信息,因此比较候选区域的垂直高频能量,能量最高者即为初步选定的车牌区域。最后利用区域选择时的垂直方向小波变换系数对选择区域进行重构,并验证选择结果的正确性,如果为非车牌,则进行二次定位。该方法有效的解决了车身颜色与车牌底色相近时定位困难的问题。对各种条件下拍摄的225幅含有车牌的图像应用该算法,定位准确率达到98.2%。     

一种基于构件的软件体系结构求精方法及其应用

软件体系结构是软件工程学科中一个较新的研究领域,目前对软件体系结构的形式化描述及求精方法的研究仍处于探索阶段。本文首先分析了基于行为替代、基于风格的体系结构求精方法的特点和不足,然后提出一种基于构件的体系结构求精方法,并以时序逻辑语言XYZ/E作为软件体系结构的形式化描述语言,通过一个具体开发实例对基于构件的体系结构求精方法及过程作了进一步论述。