摘要
BPEL对Web服务组合的描述特性使得它很难表达和分析服务组合中的交互行为属性.这些行为属性需要遵循一定的交互协议.然而良定义的交互协议还是容易受到侵犯,这将导致服务组合进程产生状态不一致的问题.为了解决这类实际交互行为与其服务组合描述之间的不一致性问题,提出了一种由BPEL描述自动构造运行时监控器的方法.首先提出了一种基于有色Petri网(CPN)的形式化表示模型以及服务组合规约到模型的映射方法,用于精确表达从BPEL流程描述中提取的服务交互行为规约.然后,描述了由CPN形式化表示模型生成运行时监控器的方法.该运行时监控器能够捕获所有进出服务组合进程的交互消息,并且检测是否存在违背交互协议的行为.
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.
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第12期2277-2289,共13页
Journal of Computer Research and Development
基金
国家自然科学基金项目(90818028)
国家"八六三"高技术研究发展计划基金项目(2007AA010301)
"核高基"国家科技重大专项基金项目(2009ZX01043-002-004)
关键词
运行时监控
WEB服务组合
有色PETRI网
BPEL
交互行为
runtime monitoring
Web service composition
colored Petri net
business process execution language（BPEL）
interaction behaviors
