计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2011年
6期
177-179
,共3页
服务编排%动态绑定%FOIL%WS-BPEL%面对服务架构
服務編排%動態綁定%FOIL%WS-BPEL%麵對服務架構
복무편배%동태방정%FOIL%WS-BPEL%면대복무가구
在面对服务架构中,业务逻辑由各种服务组件组合完成,不同服务组件完成不同业务流程的业务逻辑.面对不断变化和发展的商业环境,服务的组合性需要具有灵活性和可靠性.虽然目前已有多种方法能够优化和改善面对服务系统,但是针对服务编排自动化的应用和研究较少,这主要归因于复杂的业务逻辑和繁琐的服务编排工具.介绍一种采用一阶内涵逻辑语言(FOIL)为业务流程建立其业务逻辑的FOIL公式,通过计算FOIL公式,自动生成WSBPEL结构以动态绑定已有的服务组件,最终完成自动服务编排.Tarski的真值理论证明这种方法具有实际应用价值.
在麵對服務架構中,業務邏輯由各種服務組件組閤完成,不同服務組件完成不同業務流程的業務邏輯.麵對不斷變化和髮展的商業環境,服務的組閤性需要具有靈活性和可靠性.雖然目前已有多種方法能夠優化和改善麵對服務繫統,但是針對服務編排自動化的應用和研究較少,這主要歸因于複雜的業務邏輯和繁瑣的服務編排工具.介紹一種採用一階內涵邏輯語言(FOIL)為業務流程建立其業務邏輯的FOIL公式,通過計算FOIL公式,自動生成WSBPEL結構以動態綁定已有的服務組件,最終完成自動服務編排.Tarski的真值理論證明這種方法具有實際應用價值.
재면대복무가구중,업무라집유각충복무조건조합완성,불동복무조건완성불동업무류정적업무라집.면대불단변화화발전적상업배경,복무적조합성수요구유령활성화가고성.수연목전이유다충방법능구우화화개선면대복무계통,단시침대복무편배자동화적응용화연구교소,저주요귀인우복잡적업무라집화번쇄적복무편배공구.개소일충채용일계내함라집어언(FOIL)위업무류정건립기업무라집적FOIL공식,통과계산FOIL공식,자동생성WSBPEL결구이동태방정이유적복무조건,최종완성자동복무편배.Tarski적진치이론증명저충방법구유실제응용개치.