一种基于语义消息的Web服务组合方法

在重用现有Web服务的基础上,通过服务组合形成新的、功能增值的服务是语义Web服务领域的一个重要研究内容.本文在Web服务语义描述框架的基础上,提出一种基于语义消息的Web服务组合方法,该方法定义了能够描述不同服务输出、输入消息之间对应关系的语义消息,能够业务逻辑上紧密关联的Web服务有机的组合在一起,从而为Web服务组合者以及面向服务的应用开发人员提供一种简单、直观的组合方法.     

一种提高元建模语义完整性的方法

元建模发生在模型驱动架构中的元元模型、元模型和模型层中,传统的元建模采用统一建模语言UML描述。但是实践证明,UML无法提供与对象有关的所有信息,缺少描述模型中关于对象的附加约束,而且无法描述不同模型之间的转换。针对传统元建模中的语义缺陷,特引入对象约束语言来提高元建模的精确性。文中阐述了如何结合UML和OCL应用于元模型,提高元建模语义完整性,加强元建模的可读性和可执行性,并且使用该方法能够检测出约束冲突。     

一种面向同步交互的软件演化过程建模方法

全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM[10]定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可 形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算(CCS)的软件演化过程活动层的建模方法,然后在Visual Studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可以描述并发、迭代等特点,还可以形式描述同步交互的特性,为模型进行严格的数学方法分析、推理奠定了基础。     

一种Web服务特征交互自动检测方法

模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BPEI、活动执行的形式化模型,给出活动执行语义,进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法,这些七元组包含了智能体执行过程中有关状态变化的有效信息。实验表明,提出的算法可以有效验证Web服务中的特征交互问题,而且支持认知逻辑规范的验证。     

Web服务交互测试中SOAP消息的控制和分析

由于Web服务的平台异构性,Web服务的交互测试是一个重要的测试方面。阐述了一种通过截获和分析通讯消息进行Web服务交互测试的方法。在这种测试模型中,SOAP消息的控制和分析是关键。详细论述了SOAP消息的控制和分析在测试中的作用,并在结尾给出了系统的设计实现。     

一种动态的组合语义Web服务的方法

Web服务是建立在开放标准之上的自包含,模块化的应用程序,这些应用程序能够通过Internet被描述、发布、定位以及调用.但是,单个的、独立的Web服务很难满足人们的实际需求.所以,将已有的单个Web服务进行组合就变得非常必要.文中提出了一种组合Web服务的方法,它能够将Web服务组合成工作流,更重要的是,能够通过Web服务的语义描述来发现和匹配工作流所需的Web服务.     

一种基于UML的实时工作流建模方法研究

实时系统由于其业务对时间要求的特殊性,使得传统工作流技术难以满足其需求.在传统工作流的基础上,针对实时系统提出了实时工作流的概念,并建立了实时工作流元模型.与传统的工作流相比,主要对工作流的时间约束和异常处理进行了考虑.在活动上扩展了启动时间和执行时间,在工作流过程上扩展了执行时间,在并发活动上扩展了并发时间约束等,此外,元模型中还考虑了活动的超时异常以及应用程序和活动之间的执行关系.为了能够利用实时工作流元模型进行实时工作流建模,通过扩展UML定义了一种实时工作流描述语言,并分别从设计要求、定义技术和profile三个方面对实时工作流描述语言进行了阐述,给出了实时工作流的建模规则.最后结合船舶指控系统的具体实例,对建模方法进行了说明.     

基于组件服务的分布式工作流互操作模型

文中给出了一个基于组件技术的分布式的面向对象工作流互操作模型，以实现多个工作流之间的相互操作，并对其接口和工作模式进行了分析，解决了一个商业过程中企业之间的相互协作问题。     

一种基于服务簇网元模型的Web服务发现方法

定义了服务簇的网元模型,提出了一种基于服务簇网元模型的Web服务发现方法.首先,通过计算Web服务的功能描述及参数的语义相似度,对服务库中的服务进行聚类;其次,对服务参数进行统一标注,建立服务簇的网元模型,并对服务簇参数矩阵进行规范化处理;最后,基于服务簇参数矩阵,实现服务快速发现.基于Petri网,首次提出了服务簇的形式化模型,并在此基础上进行了服务快速发现.结果表明,利用网元模型建模服务簇是有效的、合理的,并且与传统的基于参数匹配的服务发现相比,所提方法有效地减少了参数匹配次数,提高了服务发现效率.     

一种用于迁移工作流管理系统的消息服务框架

作为移动计算的一类应用,现有的迁移工作流模型遵守了按照移动agent范型构造迁移实例的方法。由于移动agent继承智能agent的基本属性,因此,上述方法往往导致迁移实例的代码臃肿和移动困难。考虑到实际上的迁移工作流管理系统,一般地都要求迁移实例工作于一个具有信任合约关系的环境中,因此,可以针对这种特定环境,令工作位置为迁移实例提供尽可能多的服务支持,以便减小迁移实例的代码体积,提高其迁移效率,而不必拘泥于移动agent范型。该文给出了一种嵌入工作位置服务器的消息服务框架,该消息服务框架可以有效降低迁移实例代码规模,实现其轻量化移动。     

基于JMS体系结构的消息服务技术的应用研究

根据企业应用程序间进行消息服务的实际需要，深入研究Java消息服务(Java Message Service，JMS)技术，结合其中的“发布／订阅式”和“点对点式”两种消息收发模式，提出了一个基于JMS体系结构的全新的消息服务模型，并针对股票交易系统中的报价“发布／订阅”服务功能的具体实现进行了详细的论述。     

一种调制解调器短消息服务控制策略

为保证调制解调器(Modem)长时间稳定运行,提出一种调制解调器短消息服务控制策略。设计基于串口DTR/RTS引脚的Modem断电重启电路,利用先入先出队列对Modem进行有序控制,通过期望应答值和超时策略实现对Modem异常状态的侦测。当Modem出现异常时,能将其断电重启,从而恢复功能。应用结果证明了该策略的有效性。     

Hierarchical aggregation of Service Level Agreements

IT-based Service Economy requires Service Markets to flourish for the trade of services. A market does not represent a simple buyer-seller relationship, rather it is the culmination point of a complex chain of stake-holders with a hierarchical integration of value along each point in the chain. To enable a Service Economy, Service Markets must be practically realized, which in turn requires an enabling infrastructure to support service value chains and service choreographies resulting from service composition scenarios. In such scenarios, services compose together hierarchically in a producer-consumer manner to form service supply-chains of added value. Service Level Agreements (SLAs) are defined at various levels in this hierarchy to ensure the expected quality of service for different stakeholders. Automation of service composition directly implies the aggregation of their corresponding SLAs.In this paper we elaborate on the requirements of hierarchical aggregation of SLAs corresponding to service choreographies leading to business models such as Business Value Networks. During the hierarchical aggregation of SLAs, certain SLA information pertaining to different stakeholders is meant to be restricted and can be only partially revealed to a subset of their business partners. We introduce the concept of SLA-Views to protect such privacy concerns. We then formalize the notion of SLA Choreography and define an aggregation model based on SLA-Views to enable the automation of hierarchical aggregation of Service Level Agreements. The aggregation model has been designed to comply with the WS-Agreement standard.     

基于信息门户的短信平台的方案选择

为了提升管理水平和日常工作效率,许多部门都建立了信息门户进行内部管理和信息发布.本文对实现短信平台的四种方案进行比较,从而选择适合基于信息门户的短信平台方案,探讨了实现部门级的短信沟通管理的方法.     

一种工作流中的服务选择算法

与其他服务发现相比,工作流中的服务选择有着自身的特点。在目前情况下,大多数的服务选择只是从对服务本身需求的角度来考虑,并未涉及到多个服务之间的关联约束和协调性问题。而在工作流中,这些问题同样是影响服务选择的主要因素。本文提出一种服务选择算法,在该算法中,利用规则从多个方面来反映服务之间的约束关系并指导服务选择的方式,进一步对每个候选服务与相关联服务之间的兼容性进行了比较,最后得到一个同时满足自身和流程需求的服务。     

基于消息中间件的短信息服务平台设计与实现

介绍消息中间件在短信息服务平台的设计与实现,系统以开源消息中间件Active MQ为核心平台,使用Java为编程语言,实现系统的高性能、分布式、松耦合性.     

3G移动数据业务平台中短消息增值业务的开发与研究

针对移动数据业务发展和运营过程中出现的问题,给出了一种在3G移动数据业务平台(MDSP)上开发短信增值业务的方法和技术。通过增加短信二次确认流程、黑白名单等功能,解决了短信业务所存在的两个问题;应用Session缓冲机制、多线程技术等提高了系统性能,使流程的设计方法得以改进,在具体的项目开发中起到了很好的效果,从而提高了管理SP的能力,使短信增值业务由对SP的弱管理模式转变到对SP的强管理模式（杜绝和防止了SP欺诈用户的行为）,极大地维护了运营商的品牌形象,维护了用户利益,规范了短信增值市场。     

消息传递在基于Web的工作流系统中应用

针对目前许多工作流产品协作性弱的实际问题,提出了将消息传递应用在基于Web的工作流系统的模型。文中首先介绍了工作流的基本概念,产品分类及发展趋势;然后分析了基于Web的工作流系统的软件体系结构,给出了工作流模型及消息传递的形式化定义;最后通过一个基于该体系结构的应用实例加以说明。该应用以Exchange2000Server作为邮件服务器进行消息传递;利用关系型数据库保存工作流工作过程的业务信息及流程信息,并可对整个流转过程进行跟踪、记录与控制,以提高工作流系统的协作与监控能力。     

基于SOAP的ebXML消息服务研究

首先阐述了ebXML服务的框架结构,指出ebXML消息服务是基于SOAP协议和带附件的SOAP协议,并讨论了ebXML在SOAP协议的基础上进行的扩展。