高级检索
    王勇, 姜正涛, 侯亚荣, 方娟, 毛国君. Web服务编排的并发事务逻辑模型[J]. 北京工业大学学报, 2009, 35(8): 1132-1137.
    引用本文: 王勇, 姜正涛, 侯亚荣, 方娟, 毛国君. Web服务编排的并发事务逻辑模型[J]. 北京工业大学学报, 2009, 35(8): 1132-1137.
    shu
    WANG Yong, JIANG Zheng-tao, HOU Ya-rong, FANG Juan, MAO Guo-jun. Web Service Choreography Model Based on Concurrent Transaction Logic[J]. Journal of Beijing University of Technology, 2009, 35(8): 1132-1137.
    Citation: WANG Yong, JIANG Zheng-tao, HOU Ya-rong, FANG Juan, MAO Guo-jun. Web Service Choreography Model Based on Concurrent Transaction Logic[J]. Journal of Beijing University of Technology, 2009, 35(8): 1132-1137.
    shu

    Web服务编排的并发事务逻辑模型

    Web Service Choreography Model Based on Concurrent Transaction Logic

      摘要
    • 摘要: 为使得组织之间的服务编排建立在严格的形式化基础之上,基于并发事物逻辑建立了服务编排的模型,给出了从服务编排描述语言WS-CDL到并发事物逻辑的转换规则.服务编排的并发事务逻辑模型建立在严格的形式化基础上,便于进行服务编排相关性质的验证.最后通过一个实际的服务编排在并发事务逻辑中建模的例子,说明了模型建立的可行性.

       

      Abstract: Web service choreography among organizations should be established on the basis of formal model.This paper establishes the model of web service choreography based on concurrent transaction logic and the translation rules from WSCDL to concurrent transaction logic are given.The concurrent transaction model of web service choreography is established on the basis of formal methods and is easy to verify properties of web service choreography.Finally, an actual web service choreography model based on concurrent transaction logic is illustrated.

       

      • HTML全文
      • 参考文献(8)
      • 相关文章
      • 施引文献
    • 资源附件(0)

    /

    返回文章
    返回