%0 Journal Article
%T 动态绑定实现自动服务编排
%A 梁 平
%A 杨宪泽？
%J 计算机科学
%D 2011
%X 在面对服务架构中，业务逻辑由各种服务组件组合完成，不同服务组件完成不同业务流程的业务逻辑。面对不断变化和发展的商业环境，服务的组合性需要具有灵活性和可靠性。虽然目前已有多种方法能够优化和改善面对服务系统，但是针对服务编排自动化的应用和研究较少，这主要归因于复杂的业务逻辑和繁琐的服务编排工具。介绍一种采用一阶内涵逻辑语言(foil)为业务流程建立其业务逻辑的foil公式，通过计算foil公式，自动生成ws-bpel结构以动态绑定已有的服务组件，最终完成自动服务编排。tarski的真值理论证明这种方法具有实际应用价值。
%K 服务编排
%K 动态绑定
%K foil
%K ws-bpel
%K 面对服务架构
%U http://www.jsjkx.com/jsjkx/ch/reader/view_abstract.aspx?file_no=110642&flag=1