1. 东北大学信息科学与工程学院,辽宁,沈阳,110004
2. 北京仿真中心航天系统仿真重点实验室,北京,100854
3. 清华大学自动化系,北京,100084
4. 东北大学信息科学与工程学院辽宁沈阳,110004
5. 北京仿真中心航天系统仿真重点实验室北京,100854
6. 清华大学自动化系北京,100084
纸质出版:2011
移动端阅览
毕敬, 朱志良, 范玉顺. Web服务组合中行为兼容性分析与优化控制策略[J]. 电子学报, 2011,39(12):2842-2849.
BI Jing, ZHU Zhi-liang, FAN Yu-shun. Behavioral Compatibility Analysis and Optimal Control Policy in Web Services Composition[J]. Acta Electronica Sinica, 2011, 39(12): 2842-2849.
针对Web服务组合中交互行为不兼容问题
本文提出了基于Petri网的优化控制策略来规避.首先
给出了多个服务交互行为不兼容的实例.其次
给出了受控服务组合的形式化定义
并根据约减规则生成了约减的服务组合网状态可达图
从而识别出死锁状态和无死锁状态.在导致死锁状态的关键变迁上添加相应的控制库所和弧
并结合最大允许反馈控制策略
从而推导出最优控制器
并证明了该方法的正确性.此外
通过服务组合中交互行为不兼容的实例证实了基于最优控制器策略的有效性.最后
本文将最优控制器模型转换成BPEL.
A Petri net based optimal control policy is proposed for the check of behavioral incompatibility in web services composition.According to a real case of multiple services interaction
this paper presents a formalized definition of controlled service composition
and the reduced state reachability graph of service composition net is given according to the reduce rules
thus the deadlock states and the deadlock-free states are identified.With the maximally permissive feedback control strategy developed
the appropriate control place and arc are appended in the key transition which can lead to deadlock states.Thus the appropriate optimal controller is developed
the proposed approach is verified.In addition
for the behavioral incompatibility case
a policy of appending optimal controller is presented.It is proved that our policy can be a good solution.Finally
the proposed controller is transformed as the activity of BPEL.
0
浏览量
1137
下载量
4
CSCD
关联资源
相关文章
相关作者
相关机构
京公网安备11010802024621