高级检索
    朱 俊, 郭长国, 吴泉源. 一种基于CPN的运行时监控服务交互行为的方法[J]. 计算机研究与发展, 2011, 48(12): 2277-2289.
    引用本文: 朱 俊, 郭长国, 吴泉源. 一种基于CPN的运行时监控服务交互行为的方法[J]. 计算机研究与发展, 2011, 48(12): 2277-2289.
    Zhu Jun, Guo Changguo, Wu Quanyuan. A Runtime Monitoring Web Services Interaction Behaviors Method Based on CPN[J]. Journal of Computer Research and Development, 2011, 48(12): 2277-2289.
    Citation: Zhu Jun, Guo Changguo, Wu Quanyuan. A Runtime Monitoring Web Services Interaction Behaviors Method Based on CPN[J]. Journal of Computer Research and Development, 2011, 48(12): 2277-2289.

    一种基于CPN的运行时监控服务交互行为的方法

    A Runtime Monitoring Web Services Interaction Behaviors Method Based on CPN

    • 摘要: BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.

       

      Abstract: BPEL (business process execution language) is one of the dominant ways to specify service interactions between different Web services to implement much more complex functions. Since it is a kind of description language for Web services composition, BPEL has difficulty in dealing with behavioral properties of service compositions. Usually, well-defined interaction protocols may be violated by clients and other abnormal partnership Web services, and it leads the service composition processes to inconsistent states and exceptions. As a result, we propose to tackle the conformance problem between interactions of Web services and its description specification by using an automatically-generated runtime monitor from the BPEL description. Firstly, a formal representation model based on colored Petri net (CPN) is introduced to extract the service interaction behaviors from its description. The pattern mapping rules from BPEL description to colored Petri net model and related embedding, reduction and composition rules are also provided. Then a runtime monitor is generated, which will capture service interaction behaviors fromto the service composition processes and detect inappropriate use of the interaction protocol. Several typical service composition samples are adopted as case study. Finally, full evaluations show that this runtime monitoring mechanism costs low overhead and has good performance and efficiency.

       

    /

    返回文章
    返回