袁勇福
- 作品数：4 被引量：8H指数：2
- 供职机构：湖南师范大学数学与计算机科学学院更多>>
- 发文基金：湖南省重点科技攻关项目湖南省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于多元π演算的Web服务原子事务协议研究
- 2009年
- Web服务事务协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质,因此迫切需要对Web服务事务协议进行验证,以推进Web服务的工业化。采用多元π演算研究了Web服务事务协议形式化表达,详尽描述了WS-AT协议的两阶段提交协议2PCP,并定义了2PCP协议的原子性事务性质。最后,采用MWB工具证明了它的正确性。
- 陈明袁勇福
- 关键词：WEB服务事务形式化验证
- 基于异步PI演算的Web服务长事务协议性质分析
- 2008年
- 根据WS-Business Activity规范提出一个扩展的长事务协议BAPC,该协议较为详细和更接近于软件实现。BAPC协议放松了传统事务中的ACID属性的限制,重新定义了松耦合环境下事务性质。因此在BAPC协议的软件实施中,迫切需要对BAPC协议进行形式化分析,以保证协议的正确性。基于简洁的异步PI演算,建模和分析了BAPC协议,采用互模拟等价理论及迁移语义给出了BAPC协议的满足长事务协议所具有的持久性、可终止性和局部原子性的证明,说明该协议可以用于处理基本Web服务组合事务,能够保证组合服务的长事务性质。
- 谭煌高春鸣袁勇福
- 关键词：WEB服务
- Web服务组合的互模拟验证被引量：6
- 2006年
- 为检验Web服务组合的实现与用户需求的一致性,在开互模拟形式化理论和检验工具的基础上,提出了一个自动化检验方法。首先,用π-演算分别对用户需求和商业流程可执行语言(BPEL4WS)程序实现建模,然后对它们进行弱开互模拟检验,当它们不互模拟时,检验工具能自动标识关键的不互模拟的BPEL4WS程序片段。最后通过实例说明这一方法的可行性。
- 袁勇福高春鸣刘荣胜
- 关键词：Π-演算
- Web服务事务处理研究与实现
- Web服务事务处理必须保证多个Web服务运行结果的可靠性和一致性，并能及时解决运行时发生的各种异常。目前已有的Web服务事务协议均不能提供确切的事务处理语义定义，严重阻碍了事务的实现，例如由IBM和Microsoft制定...
- 袁勇福
- 关键词：WEB服务事务Π演算形式化分析事务工作流
- 文献传递
