元数据驱动的多样化服务的混合编排方法*

服务协议的多样性带来了消息结构的多样性,而BPEL不支持多样化的服务消息结构,因此在多样化的服务组合存在服务交互不匹配的问题。对此该文提出元数据驱动的多样化服务的混合编排方法,对多样化服务进行元数据建模,描述服务消息结构,服务适配器利用元数据转换多样化的服务消息,在统一的消息结构上定义流程中服务间的数据交互,总体结合了基于元数据的数据依赖定义和BPMN定义完整地描述一个流程。通过案例测试以及可用性评估,结果验证了方法的可行性。该方法在一定程度上解决了多样化服务编排的问题,对多样化的服务协议类型可扩展。     

基于发布订阅的分布式监控主动消息交互研究

针对分布式调度监控系统的客户服务器处理效率不高的问题,利用发布订阅消息通信技术,结合公共信息模型,提出了一种分布式监控主动消息交互的新方法;对量测类信息流和控制类信息流进行了实时交互接口设计,融入JMS消息服务器消息主题和发布订阅传输交互模式;该方法在工程中进行了应用,以石德线为算例,进行模拟量和状态量信息的交互实验,完成了单点和多点信息的交互传输,实现了实时变位信息向监控画面的主动即时传输,为分布式调度监控处理提供了一种新的高效实现方法.     

描述逻辑在基于语义的服务消息交互中的应用*

提出了一个基于描述逻辑规则的自动服务交互的模型框架,将服务抽象成基于消息的服务模型。该服务模型将在服务之间传递的面向对象的服务消息作为服务交互的主要手段,使用描述逻辑的概念对服务之间传递的消息数据进行语义分析,在服务内部数据模式与描述逻辑知识库间建立对应关系。在交互规则方面,使用基于描述逻辑和Horn子句进行描述;在描述逻辑的Tableau算法的支持下,对知识库概念和规则进行有效性、一致性和可满足性的验证,实现数据异构模式下服务间基于语义的自动交互。     

描述逻辑在基于语义的服务消息交互中的应用*

提出了一个基于描述逻辑规则的自动服务交互的模型框架,将服务抽象成基于消息的服务模型。该服务模型将在服务之间传递的面向对象的服务消息作为服务交互的主要手段,使用描述逻辑的概念对服务之间传递的消息数据进行语义分析,在服务内部数据模式与描述逻辑知识库间建立对应关系。在交互规则方面,使用基于描述逻辑和Horn子句进行描述;在描述逻辑的Tableau算法的支持下,对知识库概念和规则进行有效性、一致性和可满足性的验证,实现数据异构模式下服务间基于语义的自动交互。     

基于BPMN的Web服务并发交互机制

如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可有效支持Web服务并发交互抽象建模。     

基于Object-Z的Web组件形式化建模

Web组件技术是一种解决Web服务再利用和扩展问题的方法。Objcct Z是Z语言的面向对象补充,它们是基于一阶谓词逻辑和集合论的形式规格说明语言。用形式规格说明语言Object Z对Web组件建模,能够保证Web组件在异构平台、松散藕合、封装等特性下的一致性和精确性。以Web组件为研究对象,以Object Z为形式规格说明语言建立模型,提出了Web组件及其组合的建模方法。该方法对包括接口、组件操作在内的Wcb组件静态行为进行了建模,定义了接口、消息的匹配方法。构造了基本组合结构的形式化框架,利用组件的逻辑分解方法将该框架应用于复杂的组件组合过程,并提出了需求驱动的组件组合方法。在此基础上,结合实例对组件的交互、组合进行了建模分析。     

基于Web的装备保障跨级别信息交互实现

实现现行装备三级保障维护系统的跨级别信息交互能够有效的提高故障定位能力、进行动态测试、满足战时保障的新要求.据此文章建立了基于Web Service的跨级别信息交互平台,构造了各级别的信息交互服务,并依据WSDL对信息交互服务的接口提供统一的描述.构建了基于UDDI的信息交互服务注册中心,最终实现通过SOAP消息实现跨级别测试、诊断和维修信息的交互.     

基于DDS的民机机电系统分布式建模与仿真研究

针对复杂民机机电系统仿真效率低的问题,提出一种基于数据分发服务的分布式并行建模与仿真方法.分析数据分发服务的通信特点;利用数据分发服务的API函数和AMESim应用程序编程接口,在现有分布式互联架构平台的基础上,设计AMESim与分布式互联架构平台的数据交互接口,实现了民机升降舵系统与液压能源系统的分布式并行建模与仿真...     

Web服务编排中信息对齐交互建模方法研究

针对Web服务编排标准WS-CDL中信息对齐交互模式的异步特性,提出了一种基于进程代数的Web服务编排方法（PA4WS）,该方法新增WS-CDL工作单元描述算子,通过设置工作单元算子的卫式条件和循环条件来描述异步交互,进而完成对信息对齐交互的建模。     

基于面向方面的S1AP协议切换过程中的时间方面分析

简介LTE系统结构和S1接口上的S1AP协议,利用面向方面的分析设计思想,对S1AP协议中网络切换过程的消息交互中的时间方面建模分析．从而将混杂的时间非系统功能性关注有效地模块化,为S1AP协议中时间等横切关注建模分析提供一种有效的手段。     

基于扩展接口语义的Web服务匹配模型研究

分析了Web服务组合的类型以及其中的接口匹配关系,通过对WSDL标准接口描述语言进行语义扩展,提出了一种轻量级的Web服务语义描述模型。该模型从服务接口的消息参数层、消息层和操作层分别扩展语义描述,将服务接口的描述从语法层提升到语义层,从而能够全方位地描述Web服务的功能、行为约束等属性。在此基础上,从这三个层次计算Web服务接口的语义匹配度,提出了多层次Web服务接口语义匹配模型。     

面向普适计算环境的嵌入式系统研究

服务提供与用户界面自适应问题是普适计算中的重要研究课题。嵌入式系统提供的服务对普适计算的服务起到了重要的支持作用;普适计算任务要获取用户的服务也需要自适应的用户界面来显示服务项目,嵌入式系统的自适应界面是合适的选择。但是,传统的嵌入式系统服务软件不能很好地实现上述目标。针对传统嵌入式系统服务模型的不足,首先总结了面向普适计算的嵌入式系统硬件结构,并将这种结构命名为计算元。随后提出了一种新的嵌入式系统服务提供模型,统一了用户上下文交互的标准信息格式。最后研究了该服务模型的实现。     

基于动态代理的BPEL恢复机制*

提出了一种基于动态代理的方法来提高流程的可靠性。该方法使用面向方面技术扩展BPEL引擎来拦截调用伙伴服务,并由动态代理与伙伴服务交互。如果伙伴服务失败,则动态代理动态地发现并调用等价服务。动态等价服务发现结合了传统的基于关键字的服务发现和基于本体的服务发现两种技术。采用消息转换机制来解决失败服务与替换服务之间接口不匹配的问题。此外,还提供了基于浏览器的管理界面来帮助设计人员管理替换服务和消息转换规则。最后,通过实验分析表明该方法是一种可行的方案。     

基于多协议网关的短信增值业务系统的研究与设计

在竞争激烈的移动增值业务领域中，业务提供商为了快速占领市场，一套稳定的和有效的业务运行系统是不可缺少的。根据国内各大电信运营商的短信网关接口协议的特点，设计出一套能够支持不同短信网关接口协议的短消息增值业务系统模型，并对该模型的系统架构和优越性进行分析。     

基于.NET的异构系统短信息解决方案

利用．NET开发平台,提出了一套异构系统集成短信息的方案。该方案包括用户注册、登录、公共调用接口、短信息发送、用户和短信息管理等5个模块。针对短信息发送的特点,在公共调用接口部分提出了一种有别于HTTP GET、HTTPPOST协议和web Service的思路,即利用URL解析的方法传递待发短信息的各种参数。实践表明,该方案具有实现简洁、二次开发方便、安全高效等特点。     

一种基于分布式结构的雷达系统仿真引擎机制研究*

随着系统规模的不断扩大,系统复杂度大大提高,采用单一的仿真程序已不能满足大规模复杂系统仿真的需求,采用分布式结构进行雷达系统仿真逐渐成为一种解决复杂系统仿真的主要方法。仿真引擎机制的研究是雷达仿真系统设计的关键,有利于深化和提升雷达仿真的效率。阐述了雷达仿真系统模型,采用分布式结构,提出了基于消息服务中心MSC和运行监控中心SC两层控制结构的仿真引擎机制,将用户接口服务与消息传递服务分离开来,增强了雷达仿真软件的灵活性和易操作性。在这种机制下,进一步提出了消息传递算法MPA并进行了系统性能测试和验证,仿真实验结果表明,MPA算法可以快速、可靠地实现雷达系统内部各执程体间的互连互通,准确地完成雷达仿真过程的控制与监视。     

服务组合中基于线性逻辑的消息语义匹配

介绍一种自动服务组合模型服务消息语义化匹配验证的方法。该方法先从服务描述中提取服务消息模型和服务行为模型,后将服务行为模型转换为形式化的有限状态自动机。根据有限状态自动机中的服务接口可以转化为本体概念,服务行为可以转换为线性逻辑表达式描述,使用线性逻辑的演绎方法对服务消息的匹配性和可满足性进行验证。同时,对线性逻辑的演绎定理进行适当扩展以适应服务组合的需要。