语义Web服务自动组合的有色网验证模型

Web服务组合是面向服务的计算模式下应用构造的主要方式,而现有的组合方法与实施框架缺乏有效的验证机制,从而产生大量无效的组合结果.针对这一问题,提出一种具有正确性分析与验证功能的Web服务自动组合系统框架.其核心是利用有色Petri网对基于OWL-S的服务组合系统进行形式化建模,通过对组合模型的模拟执行及对其动态性能的全面分析,预测组合服务的执行结果,从而提高组合的可靠性.另外,该框架采用智能Agent技术,可有效实现组合过程的自动化.     

基于角色的主体服务动态协调机制研究

面向服务体系结构（Service—Oriented Architecture，SOA）下的协同应用越来越趋向高度异构、动态和不断重新配置的情形，要求参与主体能够动态调整它们的服务，以适应协作环境和系统需求的变化。利用角色思想将主体的业务服务以一种粗粒度方式进行组合，提出一种快速、方便的角色近似匹配方法，重点研究了通过转换主体的扮演角色未实现服务动态调整的机制，并给出一个应用实例，仿真实验和定性分析表明基于角色方法大幅度提升了服务的质量和复用度，改善了主体对环境的适应能力，提高了协同活动的执行效率。     

一种基于语义本体的Web服务自动组合算法

服务组合是Web服务应用的一个重要研究方向。提出了一种基于语义本体的Web服务自动组合算法,该算法用Web服务本体OWL-S和领域本体描述Web服务,将两个服务之间关联度的计算转化为加权二部图的最优匹配问题,然后利用改进的Kuhn-Munkres算法计算服务关联度;最后,在此关联度的基础上提出一种服务自动组合算法。实验结果表明,论文提出的服务组合算法可以根据用户请求动态的生成服务组合,并通过域值控制保证了服务组合的质量和效率。     

基于区分服务的云提供商效用最大化方法

当前云计算发展面临如何增加服务收益的重要挑战.经济学领域中多通过区分服务来划分市场以提高收益.由于云服务存在服务质量建模复杂、用户服务质量需 求灵活多变等特性,区分提供云服务非常困难.基于队列模型和优化算法,本文提出一种通过区分服务供应来最大化云提供商收益的方法.本文采用队列模型分析来确定为实 现特定服务质量水平需供应给单个服务的资源数量,然后通过优化算法决定准入服务的组合并确定其服务质量水平及价格,以实现云提供商的效用最大化.分析表明该 优化问题是NP完全的,本文提出基于遗传算法的元启发算法来得到最优效用.实验结果表明,在不同工作负载情况下,算法可行且具有良好的收敛性,保证了云计算的实时性.     

多服务器系统中负载平衡与容错

高速网络互连的多服务器系统已经成为当今分布计算的主流。采用分布式构件技术实现高复用度、支持异构环境的分布式应用系统已成为新的发展方向。本文致力于二者结合,基于分布式构件（DCOM）标准设计了一个多服务器原型系统。文中提出了由单机同时为多台服务器备份的容错策略;提出了参数化加权负载分配算法实现系统的负载动态分配,并利用容错信息方便地实现负载平衡中的任务迁移。最后,基于DCOM规范实现了具有容错和负载平衡能力的专用服务构件,为快速构筑实际的多服务器应用系统提供了基础。     

基于信任和推荐关系的可信服务发现

随着基于开放Web的服务网络中服务数量的急剧增长, 快速、准确地发现可信服务是面向服务计算的一个关键问题. 针对开放网络环境下可信服务发现工作量大、效率低等问题, 基于模拟现实世界的网络小世界特性, 设计了基于信任和推荐关系的可信服务发现方法. 首先, 提出一种开放的具有信任和推荐关系的服务网络模型, 给出该模型的形式化定义和两种关系的计算策略; 接着, 在具有信任和推荐关系的服务网络模型之上, 给出一种动态的可信服务发现算法, 该算法能有效减少服务的搜索路径, 在较短的时间搜索到可信服务; 最后, 仿真实验表明, 该方法能快速返回可信服务, 具有较高的效率和满意度.     

基于XYZPADL 的Web 服务体系结构形式描述

在对时序逻辑语言XYZ/E进行扩展的基础上,对服务、合成服务、面向服务的体系结构以及系统的活性、正确性以及安全性等核心概念进行了形式定义,并对整个Web服务体系结构进行了形式化的描述与实现过程的分解与逐步求精,指出了在该体系结构框架下,系统的活性、正确性以及安全性存在的与服务求精过程中所具有的语义的可组合特性,这一组合特性在服务的状态转换变迁模型下得到了证明,从而为服务的合成与重用机制提供了形式化的理论指导.     

基于Web Services的服务合成技术研究综述

从分布式发展的角度分析了基于Web服务的新一代分布式计算范式特征以及生命周期模型,指出了Web服务合成的概念、特点和目标。对服务合成的方式与分类以及Web服务合成逻辑与结构类型进行了分析,同时将常用的Web服务合成方式划分为4种策略,即:基于系统架构(framework)的静态合成策略;基于工作流(workflow)的动态合成策略;基于语义网络(semantic web)的自动服务匹配与合成策略以及基于软件体系结构生命周期的综合式服务合成策略。在此基础上,对目前Web服务合成技术的主要研究领域与发展趋势以及服务合成过程中存在的主要问题与挑战进行了分析与综述。     

制造企业衍生服务运营模式决策：自营与外包的权衡

随着服务在制造企业创收中占比的不断增加，服务衍生已成为实现服务型制造的有效手段，但产品制造的相对集中与服务提供的绝对分散困扰着制造企业衍生服务的自营/外包决策。针对1家制造企业和1家服务承包商出售一类实物产品及一项衍生服务的情形，构建了衍生服务自营与外包两类模式下的博弈模型。结果表明：衍生服务自营/外包的决策受服务水平、产品服务相关性、服务提供优势系数及收益共享系数等多因素影响；自营或外包模式下，衍生服务水平及服务提供优势系数对双方利润的促进作用存在边界，且产品服务相关性对衍生服务水平以及双方利润存在促进作用；外包模式下，收益共享系数的制定应以实现外包双方价值更大创造为目的。     

基于能力的C~4ISR通信领域上下文本体建模方法

上下文信息建模及推理是业务智能化的关键.针对C~4ISR通信领域的智能化,研究了军事通信领域上下文本体建模及推理问题.在基于C~4ISR能力需求分析的基础上提出了一种通信领域上下文本体构建方法.该方法首先给出C~4ISR通信领域元本体的概念、关联、规则等,然后通过对完成使命任务相关的活动分析来驱动C~4ISR通信领域上下文本体的建模,并利用本体自动推理工具完成了上下文推理,最后以一个案例说明该方法的可行性.     

QoS动态变化的服务选择算法

由于现代战争的快节奏和异常激烈,在面向服务的军事综合电子信息系统中候选服务的服务质量往往随时间快速变化,有时还有服务的加入和退出,现有组合服务选择方法很难应对这种场景. 提出了一种基于危险理论的动态约束多目标免疫克隆算法（DCMOICADT）用于QoS动态变化的服务选择. 首先将基于QoS的军事信息服务选择问题建模为带QoS约束的动态多目标组合优化问题,接着采用基于危险理论的动态约束多目标免疫克隆算法同时优化多个目标函数,最终产生一组满足约束条件的Pareto最优解服务组合集. 对比实验结果表明,DCMOICADT设计了环境感知因式用于描述QoS动态变化,使用Pareto-占优集和有益不可行解协同的免疫进化方案,能根据当前环境的变化快速且自适应地调整各免疫操作,所得最优解集具有较好的多样性和较强的逼近性,能有效解决QoS 动态变化的军事信息服务选择问题.     

A situation calculus based approach to dynamic management of e-business services

In the era of e-businesses, the traditional business services are greatly challenged by the ever-increasing demands from customers with various backgrounds and personalities. Large numbers of new e-businesses are driven by the needs of customers. The existing dynamics inherent in the customer needs require the corresponding dynamic management of services. Attempting to respond to customers in a rapid and intelligent way, this paper proposes a situation calculus based approach for dynamically managing e-Business services in the ubiquitous environment. By employing the formalism of the situation calculus to enable intelligence and automation, the approach can implement. the functions of service automatic composition and model verification. These functions will improve the degree of customer-orientation and enable fast responsiveness in the emerging e-service systems.     

一种基于HLA的弹性软件框架及其应用

基于框架的联邦开发工具是快速开发HLA仿真应用系统的重要方式。HDOSE是一个基于HLA的支持软件重配置和模型动态表示的分布式交互仿真框架，其可伸缩的基于元模型的软件体系结构和高效的底层服务为应用系统的构建和演化提供了有力的支持。通过将仿真系统中对象的交互、对象的结构、对象的行为进行分离，并应用设计模式的原理提供通用的机制解决系统中的共性问题，使HDOSE具有最大程度的可复用性；简单易用的接口和实用的概念模型简化和方便了系统的设计和实现。实践表明，HDOSE是开发基于HLA的仿真应用系统的用力工具。     

Re-engineering transformer maintenance processes to improve customized service delivery

The outage of a transformer in a power generation system will generally result in a shutdown of the entire system.Consequentially,large amounts of revenue are lost to the plant owner with a substantial negative impact on the civil community and industrial customers.This paper analyzes the current maintenance practices(i.e.,an as-is process model) of a transformer manufacturing company,which provides maintenance services to power generation plants and reports the major weaknesses in current business pract...     

基于Agent的建模与仿真设计模式及软件框架

提出了一种基于Agent的建模与仿真设计模式——ABMS设计模式，阐述了ABMS设计模式的主要内容。该模式的提出有利于在建模与仿真领域以及软件开发界之间建立关于ABMS的对话联系与交流。然后设计了一种包含仿真服务模型和Agent仿真模型的ABMS分布仿真软件框架，该框架将最大限度实现仿真重用，并将支持大规模的基于Agent的复杂系统的分布仿真，包括军事对抗以及空间作战系统的仿真。该框架部分借鉴了HLA的思想，其中的ServerAgent提供底层的通用仿真服务。     

分布式对象计算环境下系统容错服务的动态行为描述

分布式对象技术是面向对象技术同分布式计算技术的结合产物 .大规模的分布式对象计算系统要成为高可靠性的系统 ,就必须解决对象失效、节点错误、网络隔离和不可预知的通信延迟等问题 .本文中设计了一种名叫对象容错服务 ( OFS)的解决技术 ,并采用一种基于面向对象高阶 Petri网的形式化方法描述系统的动态行为 .形式化描述方法的采用为 OFS的实现提供了有益的帮助 .     

LAYERED ARCHITECTURE FOR ASSEMBLING BUSINESS APPLICATIONS FROM DISTRIBUTED COMPONENTS

Modern business applications are generally characterized as: distributed across many processors and/or sites, access data from multiple sources and have web-based interfaces. These applications may also involve systems or processes from multiple companies or vendor provided services. The changing business environment and technologies requires that the application be agile and adoptable in short period. Component based development has recently attracted increased attention as a preferred technology for developing business applications. However, the tools and techniques for the design, implementation, management and deployment of applications based on these technologies are at a very early stage of development. This paper presents an overview of a distributed architecture for the deployment of applications based on business components. The application of the architecture in an auto insurance claim domain is briefly described. A number of open research issues have been identified.     

基于网格的军事模型服务体系结构

军事模型是实现作战模拟的核心基础,它不但具有描述的静态性,而且还具有计算的动态性。采用面向服务的方式建立的军事模型服务可以有效地实现军事模型计算过程和结果的共享。应用网格技术建立的军事模型服务,其结构在逻辑上区分为服务基础设施层、服务接口描述层、服务存储与管理层和服务应用层。通过一个军事模型实例,说明了建立服务的实际方法。     

面向服务的舰船导弹防御及服务扰动建模

首先分析了Web服务技术的发展现状与军事应用,然后对海上陆基巡航导弹防御采用网络中心企业服务（net-centric enterprise service, NCES）的过程进行了分析。在此基础上,以海军导弹防御为背景,建立了情报处理、舰载雷达跟踪、指挥控制决策和导弹拦截服务等4类Web服务模型,针对Web服务存在的弱点,建立了替换资源发现和分配服务、假冒服务提供者等2类最有可能的有目的的Web服务扰动模型。最后提出了Web服务扰动的效能分析模型。