动态绑定实现自动服务编排

在面对服务架构中，业务逻辑由各种服务组件组合完成，不同服务组件完成不同业务流程的业务逻辑。面对不断变化和发展的商业环境，服务的组合性需要具有灵活性和可靠性。虽然目前已有多种方法能够优化和改善面对服务系统，但是针对服务编排自动化的应用和研究较少，这主要归因于复杂的业务逻辑和繁琐的服务编排工具。介绍一种采用一阶内涵逻辑语言(foil)为业务流程建立其业务逻辑的foil公式，通过计算foil公式，自动生成ws-bpel结构以动态绑定已有的服务组件，最终完成自动服务编排。tarski的真值理论证明这种方法具有实际应用价值。