一种支持流程整合的业务协议组合代数

针对基于Web的业务流程建模问题,将业务流程的参与者抽象为角色,采用基于角色间交互的协议对业务流程进行建模,构造抽象的业务流程模板,提出一个业务协议组合代数,构造一组协议组合算子,即顺序、并发、选择和迭代,并证明该代数的一些相关性质,分析协议的相似性,从而为替换协议提供理论依据。     

一种基于协议的Web服务组合方法研究

本文了提出了一种基于协议的服务组合方法,提高了服务组合的可重用性和开发服务组合的效率:在遵循Bpel标准的服务组合模型存储结构的基础上,定义业务逻辑,协议等概念,并设计了相应的插入、提取算法;进而提出将特定服务组合片断引入待开发服务组合的方法,即基于协议的服务组合方法;最后,通过一个具体的服务组合建模的例子,在原型系统中演示并验证了此方法.     

基于价格进程代数的Web服务组合描述和成本分析

进程代数可有效地用于Web服务组合的描述和验证,然而缺乏对服务组合成本建模和分析的能力.提出一种扩展了价格信息的进程代数PPA, 在CCS基础上为进程动作和状态扩展价格函数, 给进程动作的执行标记价格,给进程的迁移状态标记成本.给出了PPA的语法和语义,定义了PPA成本弱互模拟并分析了其与CCS弱互模拟的关系,证明了PPA在CCS基础上扩展了成本建模能力,给出了成本状态空间构造算法,该算法支持选择成本优化的组合服务.实验分析了PPA用于Web服务组合成本建模和分析的可行性.     

基于Web服务组合的业务流程集成

从分析现代企业面临的动态业务环境入手,提出了Web服务环境下的业务流程集成模型,阐述了基于Web服务组合进行业务流程集成的优点.在分析了Web服务组合关键技术的基础上,分别从业务流程描述语言、基于工作流的Web服务组合和语义Web服务组合三方面,综述了Web服务组合技术的研究现状,并指出了当前研究工作的不足.     

基于时间概率代价进程代数的Web服务组合建模和分析

形式化建模Web服务组合并分析其功能正确性和QoS可满足性,是提高组合服务可信性的重要手段,但目前形式化方法侧重功能正确性建模和分析,对QoS可满足性的建模和分析支持不足.为此提出一种时间概率代价进程代数TPPPA(Timed Probabilistic Priced Process Algebra),给出了TPPPA的语法和语义,并证明其具有功能、时间、概率和代价的统一建模和分析能力.用实例表明了TPPPA可有效支持Web服务组合功能正确性和QoS可满足性的形式化统一建模和分析.     

基于进程代数的Otway-Rees协议的形式化验证

Otway-Rees协议的目的是完成发起者和响应者之间的双向认证,并且分发服务器产生的会话密钥.该协议的特点是简单实用,没有使用复杂的同步时钟机制或双重加密,仅用少量的信息提供了良好的时效性.此协议允许通过一个网络的个别通信认证自己的身份,还可以阻止重放攻击和窃听,允许修改检测.对安全协议的分析是信息时代无法回避的关键...     

基于MaSE方法的业务流程协议分析

介绍了MaSE方法及其开发环境agentTool，在此基础上为一个汽车修理流程的请求服务协议建模，并检验了该模型的有效性。最后在JADE平台上分析了该协议的模拟结果。     

基于进程代数的安全协议分析与验证

Process algebra is the theories for concurrency.Now the methods based on process algebra for the analysis and verification of security protocols becomes one of the important methods for the study of the security protocols.In the paper,we outline these methods,especially the symbolic trace analysis method the bisimulation method.     

基于极大代数的TCP协议分析

TCP协议Internet中的核心协议之一，TCP协议动态运行为对于研究网络的服务质量有重要的意义。本文用离散事件动态系统的方法研究TCP协议的动态行为，将Baccelli等提出的极大代数模型推广到包含有重发机制的一般情况，详细阐述了如何用极大代数系统矩阵的形式描述TCP协议的重发行为；并以此为基础，进一步讨论了TCP协议中发送窗口与TCP链路有效分组传输率之间的关系，理论分析和实验仿真表明：极大代数方法具有描述TCP协议的各种重要动态行为（其中包括具有普遍意义的重发机制）的能力，其中作为例子，基于该方法导出的有效分组传输率与发送窗口之间的显示表达式，证实了即使只考虑单一连接情形下，TCP链路中仍存在最大发送窗口的性，极大代数模型的优点在于对多路由器形成的链路（而不是仅限于单个瓶颈路由器）上的TCP传输进行定量分析，为分析网络环境下的TCP动态为提供了一条新的途径。     

应用组合方法设计安全协议

针对目前安全协议的设计方法存在方法抽象、适用范围小及复杂的特点,提出了一种新的安全协议设计方法。先给出协议中基件与组件的定义,分析组件的安全属性并基于组件设计能实现相应安全目标的单步协议;定义组合规则,确保不同的单步协议能够组合成为一个复合协议,同时各个单步协议还能实现各自的安全目标。至此,根据具体的应用背景选择合适的单步协议按照组合规则组合后便可得到满足需求的安全协议。该组合方法可将一个复杂协议分解为若干简单的单步协议,使得协议的设计与分析都易于实现。     

基于进程代数的Web服务合成的替换分析

Web服务合成是Web服务研究领域的热点问题,Web服务的替换与Web服务合成密切相关且对于Web服务合成系统的健壮性有重要作用.使用进程代数作为形式化的工具描述Web服务,对合成中的行为特征进行推导,分析由于异步交互对Web服务合成设计与实现产生的影响.在此之上,基于服务合成正确性的定义,提出一种一致性关系,若新服务与将要被替换的参与合成的服务之间存在这种关系,那么替换后的服务合成仍然是正确的,并且替换是上下文无关的.     

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

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

Web Services发现和集成句法匹配算法研究

面向服务的应用,促进了WebServices的发现和集成服务技术研究。如何有效地对大量异构、跨平台的不同WebServices服务应用,实现发现(Discovery)和集成(Composition)技术,将是一个关键的问题。文章首先提出了面向WebServices服务的集合组成元素,进而分析了基于句法的WebServices服务发现和集成算法,通过发现路由和合成路由事例的应用研究,探讨了的基于句法匹配算法的WebServices发现和集成技术的可行性。     

基于语义Web服务的业务过程集成的研究及实现

文中在分析目前业务过程集成所存在的问题（如缺乏统一描述、各系统之间缺乏语义等问题）的基础上，采用最新的语义Web服务技术设计了一种基于语义Web服务的业务过程集成模型，该模型不仅支持跨企业的业务合作，而且使在本领域内有共同的语义基础及业务过程规范，从而增强了企业间业务集成能力和协调能力。最后给出了一个简化的供应链上企业间业务过程集成的应用实例的设计与实现。     

基于语义Web服务的业务过程集成的研究及实现

文中在分析目前业务过程集成所存在的问题(如缺乏统一描述、各系统之间缺乏语义等问题)的基础上,采用最新的语义Web服务技术设计了一种基于语义Web服务的业务过程集成模型,该模型不仅支持跨企业的业务合作,而且使在本领域内有共同的语义基础及业务过程规范,从而增强了企业间业务集成能力和协调能力。最后给出了一个简化的供应链上企业间业务过程集成的应用实例的设计与实现。     

Web服务环境中的业务过程建模语言比较框架

基于Web服务的价值链集成越来越受到人们的重视,相应的业务过程建模语言成为研究的焦点,各具特色的业务过程建模语言不断出现,对语言的研究、分析和比较已经成为基于Web服务的信息系统集成研究和开发中的一个重要问题。该文在分析Web服务环境下系统集成的体系结构模型基础上,提出了一个Web服务环境下业务过程建模语言比较框架,作为验证,对常见的建模语言进行了比较分析和评述。     

Formalizing WSBPEL Business Processes Using Process Algebra

Industry standards for Web Service composition, such as WSBPEL, provide the notation and additional control mechanisms for the execution of business processes in Web Service collaborations. However, these standards do not provide support for checking interesting properties related to Web Service and process behaviour. In an attempt to fill this gap, we describe a formalization of WSBPEL business processes, that adds protocol information to the specifications of interacting Web Services, and uses a process algebra to model their dynamic behaviour — thus enabling their formal analysis and the inference of relevant properties of the systems being built.     

Web环境下的高性能SSL协议研究

分析了Web环境下安全套接层(SSL)协议的性能瓶颈,给出了提高其性能的解决方案,最后通过综合,提出总体解决方案并进行了性能测试。