基于细胞膜演算的Web服务事务处理形式化描述与验证

采用细胞膜演算具体分析了当前比较主流的Web服务中原子事务协调协议WS-AT．针对WS-AT协议采用简单的状态转换表和转换图,无法描述协调者和多个参与者的复杂协调活动,采用细胞膜演算给出了其形式化描述,用于规范协调者和参与者的活动,并分析了该协议的活性和安全性,得到了38187个状态．模型检验的实验结果表明,该协议满足稳定性、一致性和非平凡性,而不满足非阻塞性．进而,分析出注册和协调协议混在一起是其不满足非阻塞性的原因．     

基于重写逻辑的Web服务事务处理形式化描述

Web服务的事务处理研究越来越活跃,对于Web服务中的长、短事务进行形式化描述与验证是很重要的,但目前还没有成熟的方法．该文提出了一种基于重写逻辑的Web服务事务处理形式化描述方法,采用重写逻辑工具Maude,对于描述Web事务的细胞膜演算,给出一个事务处理的通用框架,采用重写逻辑中的规则描述事务的具体活动,并且引入事务补偿机制刻画长事务的运行;并应用该模型形式化描述文中的Web事务经典例子,得到一个可执行的重写逻辑模型,便于以后采用Maude线性时序逻辑分析器进行形式化分析．     

基于Pi-演算的服务组合正确性验证

对于Web服务及其组合而言,保证其正确性并实现增值服务是十分必要的。Pi-演算是一种移动进程代数,可用于对并发和动态变化的系统进行建模。通过建立一个实际的模型,用Pi-演算对Web服务及其组合进行建模,并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。     

基于类型化Pi-演算的Web服务组合相容性检测

定义了一个Pi-演算的类型系统,然后利用扩充后的类型化Pi-演算建模BPEIAWS描述的Web服务组合系统。提出了基于类型化Pi-演算的服务组合相容性检测算法。并给出了一个银行贷款审批系统检测实例的片段,说明利用该算法检测服务组合系统相容性的可行性。     

Web服务组合中商业事务处理的研究

Web服务组合已经成为业界的研发热点．在Web服务组合中，不同的成员Web服务之间存在着操作一致性和可靠性的处理要求，需要在Web服务组合中提供对于事务处理的支持．尽管目前业界已经存在许多的Web服务组合模型和描述语言，但是都没有提供对于事务处理的支持．本文分析了Web服务组合中的事务处理需求，通过扩展在Web服务组合描述语言中已经占据主导地住的BPEL4WS规范，在BPEL4WS中引入了对于主流的Web服务事务协议的支持，并在此基础上实现了一个原型系统TAWSCRS．     

基于Pi-演算的信任Web服务组合建模

为了提高Web服务组合的可信性,利用Pi-演算刻画信任Web服务组合的结构及信任实体间的交互.首先,给出信任Web服务组合的抽象定义;然后,建立信任实体与Pi-演算的对应关系.借助Pi-演算的支持工具MWB对信任Web服务组合系统进行分析和推演,旨在Web服务组合信任认证实施之前发现并改正错误,以有效满足用户在信任方面的服务质量需求.     

基于流演算的Web服务自动组合方法

近年来,基于语义的Web服务组合,尤其是Web服务的自动组合方法已成为服务计算领域的一个研究热点.实现了从一个OWL-S过程模型到流演算概念的映射,并给出了相应的转换算法.在此基础上,提出了一个新颖的、基于流演算形式化体系的Web服务自动组合方法.该方法采用前推推理机制对状态和动作进行推理,有效地克服了以传统的情景演算为代表的人工智能规划算法执行效率较低的问题.设计实现了一个实验性的原型系统,结合一个旅游行程规划的实例说明了本文提出的方法的有效性.对提出的BCABFC(Backward-Chaining Algorithm Based On Fluent Calculus)算法与基于情景演算的同类算法进行性能比较,实验结果表明该算法具有较好的性能.     

基于自治服务协调的长事务处理框架

针对Web服务应用中大量的长事务处理请求,基于自治服务协调的长事务处理框架实现统一的信息资源管理和协调调度.框架通过将协调上下文广播到各个参与者,并协调参与者各自的操作,从而完成业务事务的处理.在多方参与的复杂业务规则下,框架能保证聚合事务处理过程中事务状态的一致性.     

基于Pi演算的Web服务组合过程框架

文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架,说明了这个框架中每一步骤涉及的理论和工具应用。并在现有研究的基础上,针对框架中人工参与较多形式化验证环节提出了其向自动化、可视化方向发展的改进方法。     

基于Web服务的分布式应用事务处理探讨

作为一种新型的网络应用程序,Web服务是模块化、自描述、自适应的应用程序,它的调用、定位和发布都是跨网络进行的。针对企业分布式应用系统,阐述了针对不同的应用需求,在Web服务环境中如何实现数据库同步并进行事务处理。     

Web服务事务的研究综述

Web服务的出现对分布式事务提出了新的需求,为了保证多个Web服务交互获得正确的执行和一致性的结果,有必要为Web服务提供事务机制。但是Web服务具有松散耦合性、运行时间长等特点,这使得传统的事务处理技术在处理Web服务事务时显得力不从心。本文对Web服务事务的关键问题进行了阐述,包括Web复合框架的事务性支持、Web服务事务规范以及扩展事务模型等方面的研究内容,并指出了目前研究的不足以及未来的发展趋势。     

Web服务事务中的补偿机制研究与实现

可靠的web服务事务机制是面向服务的架构（SOA）中不可缺少的要素之一,它本身也需要有一定的恢复机制,其中非常重要的技术就是事务补偿。结合Web服务事务的特点,以及数据库系统中的触发器技术,可以为Web服务的事务处理模型提供一个半自动的事务补偿机制。     

Web 事务的弱原子性与正确性标准

事务处理是现代应用系统的基础支撑部件,也是Web服务能否成功支持商务应用的关键技术.但由于环境的高度分布与自治性,传统的可串行化理论已不能再作为Web事务的正确性标准.本文放松了事务的原子性规定,将事务看作由若干原子单元组成的偏序集,并将可串行性扩展为事务的弱可串行性,作为事务的正确性标准.文章最后给出了一个完全分布式的事务并发控制算法,用以实现弱串行性的判定.     

基于替代和补偿的嵌套Web Service事务模型

作为一种崭新的并行计算模式,Web Service以其平台独立性、松耦合及自治性等优势,在涉及复杂业务流程的事务性服务行业具有极大潜力和需求.考虑到Web Service环境的限制和特征,传统事务模型无法适应.从Web Service事务系统体系结构出发,分析Web Service的特点及Web Service事务性应用在开放的Web环境下的特性,提出了一个基于替代和补偿的嵌套Web Service事务模型,阐述了结合替代和补偿的Web Service事务结构和处理,给出了形式化描述.     

基于语音处理的农村信息Web服务需求分析

以语音服务为主要手段采集农村信息,通过Web后台服务来整理、分类综合和分析审核,利用信息通信技术构建农村信息服务、市场营销平台,解决农村网络发展速度、网上捕捉信息能力的问题,实现跨地区农村综合信息服务和农村资源调度和交流。     

服务网格中的事务服务及基于Petri网的正确性分析

面向服务的架构(SOA)推动着网格技术从科学计算走向商业领域,大部分商业应用需要事务的支持．该文提出了服务网格环境下用于事务管理的网格事务服务,它能够动态地发现执行子事务的网格服务;根据事务类型调用原子事务或聚合事务协调算法以保证这些服务在行动上实现期望的一致性．通过Petri网分析技术,将两种协调算法模型化为Petri网并验证了它们的正确性．网格事务服务可以提供较强的事务管理能力并将复杂的处理过程对用户透明,为网格技术的商业化提供了有效的支持．     

JDBC事务处理在Web信息系统中的应用

事务处理是确保数据库正确并行修改的有效方案。与通过数据库存储过程来实现事务处理相比,JDBC事务处理可实现系统与数据库分离,增强系统的独立性。分析JDBC事务处理应用的关键技术,提出了两种事务处理的应用方式。结合一个具体的B/S三层结构ERP系统实例,给出数据库连接池在事务处理中的应用手段和两种事务处理实现方法。     

基于Web 2.0的信息服务系统

Web 2.0是相对Web 1.0的新的一类互联网应用的统称。基于Web 2.0模式,用户可以主动创造互联网信息,实现互联网的交互、互动、参与的目标。构建一个面向特定的主题的、基于Web 2.0的构件化信息服务平台。它能更好地服务于用户个体的微内容的收集、创建、发布、管理、分享、合作、维护等,对微内容进行表现、聚合、迁移,对社会性关系进行维护。     

Web服务质量建模及其正确性验证

针对现有的Web服务质量模型主要考虑的都是通用的服务质量属性,没有考虑特定的Web服务属性在评价中的作用,提出了一个新的Web服务质量模型,它引入了一个特定领域的服务质量属性,该模型包括三个子模型。模型中建立了相关的服务质量树和目标对象树,通过量化指标子模型对目标对象进行量化,形成相应的服务权重树。该模型既可适应用于单个的Web服务请求,也可以用于多个服务组合而成的请求。通过一个应用实例验证了模型的正确性和可用性。