摘要：设计一种基于Agora系统平台的web服务自动组合系统框架。使用主体Agent代表服务请求者和服务提供者,在论证该组合系统的高层模型的基础上,详细定义了不同类别Agent之间的通信和控制原语,并采用IndiGolog解释器和FaCT逻辑推理器等作为主要部件构建出具有逻辑推理能力的辅助Agora节点。实现了采用状态演算作为主要规划技术的服务组合系统。

摘要：由于Internet和web服务的不确定性,web服务组合的性能难以保证。如何建模和预测系统的性能成为web服务组合面临的难题。提出了一种新颖的性能仿真模型STPM+,能够同时支持对时间和非时间度量的建模和仿真。基于随机时间着色Petri网,STPM+模型能够仿真和预测多种服务质量,如成本、可靠性、信誉等。一个可视化的性能仿真工具Visual WSCPE被设计实现用来检验模型的有效性。基于Visual WSCPE的实验验证了此模型的可行性和有效性。

摘要：对web服务组合技术深入分析,从web服务组合的控制执行层面入手,结合移动Agent的优势,提出一种基于移动Agent的web服务组合执行框架。对于复杂web服务组合,框架可将其分解成若干相互依赖的任务片,其中任务片对应一个线性的子web服务组合,然后分配给多个移动Agent进行分布式执行。

摘要：web服务技术日趋成熟,它提供了一种平台独立、自描述、位置透明的软件模块。利用web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。随着web服务组合流程日趋复杂,组合流程设计越来越容易出错。给出了一个描述web服务组合流程的扩展层次颜色Petri网模型,它独立于具体的流程描述语言,支持流程的层次表达且能较全面地刻画web服务组合流程。还给出了模型的控制流网正确性、数据流网正确性、流程实例正确性的验证方法,从3个层面确保了web服务组合流程的正确性。

摘要：应用SOA架构是构建松散耦合web服务组合系统的一个有效途径.本文在深入研究web服务组合系统一般工作流程的基础上,提出了一种基于SOA架构和分层协议栈机制构建web服务组合系统的方法,给出了服务分层模型和分层协议栈,设计并实现了一个基于SOA架构的松耦合原型系统来实现web服务组合,可为web服务组合的研究和企业应用提供灵活的实验及应用开发平台.

摘要：web服务的一个优点就是可以通过基本服务组合形成更为复杂的服务。为了确保web服务组合的可靠性,可以利用N版本程序设计技术来提高服务组合的可靠性。本文在web服务组合的可靠性预测模型的基础上,提出了一种基于N版本程序设计的web服务组合可靠性优化方法。

摘要：为了确保web服务组合的可靠性满足用户需求,该文提出一种可靠性优化方法,利用软件容错技术来提高组合服务的可靠性。在web服务组合的可靠性预测模型的基础上,分别给出两种容错模式下可靠性优化模型的表示,对于web服务组合的优化设计具有一定的理论指导意义。

摘要：web服务兼容性是确保组合系统能够正常运行的前提。首先提出既包含服务接口调用方法又包含逻辑行为的服务视图,根据服务间的连接关系,将服务行为投影到不同的连接件上。其次根据在连接件上的消息收发关系,将两个服务在该连接上的交互过程表示为两个LTS投影间同步变迁,通过同步积模拟在该连接上的交互行为,检查同步积中是否出现死锁状态来进行行为兼容性判定,并设计了判定算法以实现兼容性的自动分析,最后通过一个电子商务应用示例说明该方法有效性。

摘要：为了解决现有web服务组合容错方案中功能性代码与容错处理代码缠绕问题,提出了基于AOP的web服务组合容错模型。对web服务组合执行过程的各阶段失效原因进行了分析和归类,给出了相应的容错处理策略;基于AOP横切关注点分离的思想,构建了web服务组合容错模型,保障执行过程中业务功能和服务质量的同时,实现了容错关注点与功能关注点的分离。通过实例分析,验证了该模型的可行性和有效性。

摘要：随着web服务组合的不断发展,失效检测器成为构建可靠的web服务组合环境所必需的基础组件之一。对基于web服务组合的失效检测机制进行研究,设计了主从式失效检测算法并对其进行理论分析,构造web服务组合失效检测框架,为web服务组合监测提供有效的手段,提高系统可用性。