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