基于多元Pi-演算的Web服务组合描述与验证

验证问题是Web服务发展中亟待解决的关键问题之一,类型系统的加入以及Web服务动态的体系结构给问题的解决增添了很多难度。针对上述问题,在多元Pi-演算的基础上给出Web服务的描述模型和子类型关系定义,并对Web服务的相客性进行细化,给出Web服务可替换性定义;基于这些模型和定义,给出Web服务构造时类型正确性的判定规则和运行时可替换性的判定方法;最后用1个例子说明上述规则和方法的可行性结果表明上述模型、定义和方法为解决动态的、类型化的Web服务验证问题提供了理论依据和基础。     

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

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

Web服务事务的动态补偿模型

对π-演算进行扩展,提出了作为Web服务事务动态补偿模型的Exπ-演算.该演算的补偿可随着Web服务的交互动态地建立起来,同时给出了结构同余关系和操作语义.为了保证事务的唯一性,定义了一个简单的类型系统.最后,将该简化的Exπ模型与静态补偿模型和并行动态补偿模型进行比较,结果表明:本演算比其他演算更灵活,表达能力更强.     

基于扩展Pi演算的SaaS流程演化

针对软件即服务(SaaS)流程的个性化配置需求,引入特征元代数结构来描述软件的非功能特性,通过把Pi演算进行语法扩展(EPi),对软件的功能属性和非功能属性进行形式化描述,由用户需求驱动软件服务流程演化.基于EPi提出SaaS的流程形式化描述和转换方法,建立了SaaS流程演化模型(SSFM)及服务流程演化操作规则,并用量化互模拟理论对流程演化响应需求的情况进行分析,通过建立互模拟程度空间关系量化服务流程演化前后的近似程度.     

基于Pi-演算的集成P2P模式的网格形式化建模

为了改进传统网格的可扩展性和动态性,提出了一种集成P2P模式的网格资源管理模型,该模型融合了网格计算和对等计算的优点.基于该模型,文中分析了一种集成P2P模式的网格体系结构,并利用Pi-演算可用于对并发和动态变化的系统进行建模的特性,对该体系结构进行描述和建模,分析了有关性能,验证了模型的有效性.结果表明,基于Pi-演算的集成P2P模式的网格形式化系统能够有效地满足网格节点的服务需求.     

基于二部图的服务推荐算法研究

通过考虑Web服务的兼容性,提出了一个基于二部图的服务推荐方法(BIGSIR).BIGSIR方法将Web服务及服务之间的关系抽象成一个二部图,并基于二部图为用户推荐合适的Web服务;使用myExperiment上的工作流服务和Web服务的真实数据来验证方法的有效性.实验结果表明:除了一些孤立Web服务结点和工作流结点,执行BIGSIR方法的平均排名都在0.184~0.281之间,与GRM方法相比具有更好的推荐性能,同时还揭示了影响算法性能的因素;针对当历史使用信息不充分时算法的推荐效果不佳的情况,也提出了相应的拟解决方案.     

运用SOA理念构建面向服务的Web GIS

为了解决当前Web GIS并发访问能力和系统异构兼容性不足等问题,运用理论分析的方法,介绍了面向服务构架模型的基本原理和具体实现,分析了当今主流Web GIS局限性,提出了将SOA理念应用于Web GIS,运用开放的Web Services技术较好地解决了诸如系统异构兼容性、系统集成、互操作等方面存在的问题,并提出了实施构架的具体方案.结论对于Web GIS的高质构建,高效运行具有一定的指导意义.     

基于扩展投影时序逻辑的组合Web服务描述与验证

针对编制方式生成的组合Web服务需要用一个工作流引擎执行这个特征,对投影时序逻辑进行了扩展,并用扩展投影时序逻辑描述和验证组合Web服务.将组合Web服务视为一个基于过程的工作流,将工作流引擎与组合Web服务组成部分的一次不可分割的消息交互抽象为一个原子过程.用扩展投影时序逻辑公式描述原子过程,用扩展投影时序逻辑操作符定义过程组合规则、连接过程描述公式,得到组合Web服务描述公式.通过模拟组合Web执行,可验证组合Web服务满足系统的需求和性质,为提高组合Web服务设计的可靠性提供了依据.     

用WSE实现Web服务的签名和加密

介绍了一种实现Web服务安全通信的方法,叙述了消息的签名和加密的实现过程.介绍了使用WSE来对Web服务的SOAP消息进行基于消息的签名和加密的实现方法;并给出了一个利用WSE实现Web服务签名和加密的说明性实例.     

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

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

基于复杂网络的服务链推荐方法

基于Web服务之间的可调用关系构建一个网络模型并分析了模型的特性.在这个模型上给出了一个服务链推荐方法.在确定可输出满足用户需求参数的Web服务之后,根据从网络模型中提取出的驱动服务集合信息逆向查找可以调用该服务的其他Web服务,以达到为用户推荐组合服务的目的.实验结果证明,本文提出的构建网络模型的方法可行,网络模型符合复杂网络的特性;采用服务链推荐方法可以在网络模型中得到符合用户需求的组合服务链.     

拟协调元的弱连续条件及其变分解释

简述有限元的发展过程 ,从广义平衡方程、广义协调方程和拟协调元弱连续条件等方面分析了拟协调元的理论基础 ,说明了拟协调元是有限元发展的必然趋势 ,其做法就是广义协调方程的直接解 ,自然满足平衡对弱连续条件的要求。拟协调元不需要应力满足平衡条件 ,简化了矩阵求逆计算 ,容易得出应变的离散精度 ,因此可以解决常规有限元难以适应的领域 ,对计算力学发展起着重要的作用     

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

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

弹性力学弱形式广义基本方程的建立和应用

建立了弹性力学中的弱形式广义基本方程,并以此为基础,检验和简单综述了第一作者以前的有关离散算子、广义差分、拟协调元和弹性力学的哈密顿正则方程的工作。广义方程包括经典微分方程和边界条件在一起,如此不仅有限元法,而且差分法都具有自然边界条件,若干不同变分原理可以从弱形式方程导出,而且是它的特殊情况,给出了它们的限制范围,并给出在弱连续条件下的势能原理,而它是协调元和非协调元的共同基础。从弱形式方程运用局部函数可以导出离散算子方程,它包括有限元方程和差分方程同在一体,拟协调元法是广义协调方程的解,自然满足平衡对弱连续条件的要求,叙述了弱形式的弹性力学哈密顿正则方程,边界条件作为非齐次项,以便于采用数值、半解析和解析计算方法。     

基于协同网和任务情景的服务组合方法

介绍了服务映射库、协同网和任务情景的基本概念,提出了基于协同网和任务情景的服务组合方法.对用户查询请求的每一个输出对象单独生成完备协同网集,将输出的各协同网组合成组合服务以满足用户的需求,通过基于综合任务情景相似度的方法选取最佳组合服务并返回用户.结果表明,所提出的方法能够提高服务组合的成功率和效率.     

基于服务簇的Web服务绑定方法

针对较大粒度服务簇的服务绑定效率优化问题,提出了一种Web服务绑定方法。通过改进服务簇的逻辑Petri网模型,量化服务参数集,缩小相似度计算总量,只需对用户需求参数和服务参数进行运算,计算复杂度为O(km),提高了服务发现效率;给出服务绑定的动态替换方法,匹配服务过程无需查找本体树,能够提高运算效率;解决了网络环境的变化造成的服务响应失效问题,提高服务响应的自适应性。     

一种基于关联匹配度计算的语义Web服务匹配方法

在现有的语义Web服务匹配方法基础上加入服务语义关联匹配度计算,从而提出一种改进的语义服务匹配方法。该方法通过语义关联将一对一匹配淘汰的服务进行组合来实现一对多的服务匹配,在得到的候选服务和候选服务集中进一步计算Web服务的匹配度,经过匹配度的排序,得到最佳匹配度的服务。该方法避免了仅从单一接口参数上进行语义服务匹配,能在一定程度上提高匹配的效率,实现查准率、查全率和查询效率之间的有效平衡。     

图书馆泛在服务模式初探——以移动图书馆为例

随着泛在网络的发展,泛在图书馆及图书馆泛在服务概念也随之产生,“泛在图书馆”是基于网络传递信息和服务的,它是未来发展的趋势.泛在图书馆的基本理念是读者可在任何时间任何地点通过网络通信设备获取自己想要的信息,如何利用泛在图书馆的6个基本特点为读者带来完美的服务是泛在服务的关键,文章以超星公司推出的超星移动图书馆为例探讨了移动图书馆是图书馆泛在服务模式之一.     

统一信息互动平台的研究与实现

分析统一信息服务的应用基础,提出统一信息平台体系结构、技术实现和模块建立的方法,为企业和用户打破人力、空间、时间限制实现对网络与信息资源的融合统一应用,把单一的、单向的主动服务型提升为在线式互动型服务,建立企业统一信息服务体系。     

给定环境下服务接口交互的强弱相容性及可达性检测

组合服务的接口交互行为的分析和检测是服务计算领域的一个重要课题。本文以接口自动机为组合服务接口模型,引入组合环境的因素,提出了在给定的组合环境下服务接口交互强弱相容性的概念,并给出了相容性判定的判据表达式。通过遍历组合服务接口模型进行可达性分析,并通过检测判据表达式是否满足来判定服务接口交互的相容性,同时实现了服务与环境交互相容性的判定。