形式语言和 与自动机第11讲在Web服务组合中的应用.pptxVIP

形式语言与自动机Formal Languages and Automata Theorey— 在Web服务组合中的应用胡春明、赵永望、邓婷内容提要 Web服务简介 面向服务的体系结构（Service-oriented Architecture） Web服务组合方法基于自动机模型的服务组合 有限自动机 guarded 有限自动机 交替自动机面向服务的体系结构 早在1996年，Gartner就首次提出了SOA（Service-Oriented Architecture，即面向服务的架构）的概念，并预言SOA将成为下一代软件的革命性技术 ?但因为当时缺乏实现SOA的技术基础，SOA并没有立即引起企业用户和IT公司的重视 ?直到后来XML、SOAP、WSDL、UDDI等Web服务标准逐渐成熟，SOA才真正成长为可部署的技术、产品和下一代应用系统的方法论，开始被业界广泛接受，进入了部署期 面向服务的体系结构SOA 2000年，Web服务标准出台，推动SOA实践软件即服务，跨Internet的互操作Web服务的产生及发展传统软件开发：自顶向下入库类出库类图书类借书类还书类预订类通知类超期类损毁类遗失类权限类库存类Web服务组合中的自动机模型 有限状态自动机(finite state automata) 确定型有限状态机 非确定有限自动机 Web服务组合中的自动机模型 有限自动机 Guarded 自动机 交替自动机（Alternating automata）内容提要 Web服务简介 面向服务的体系结构（Service-oriented Architecture） Web服务组合方法 基于自动机模型的服务组合有限自动机 Guarded automata 交替自动机（Alternating automata（1）确定型自动机模型 listencartinitbuysearchMusic storesearchlistencartsearchinitcartbuysearchsearch音乐网站用户Music store (front-end)searchbuylistencartinitsearchlistencartsearchinitcartbuysearchsearch“UDDI++”: Available servicesDesiredServiceWeb storesearchJukeBanksearchcartinitlistenbuysearchDelegatorfor music storesearchinitcartlistenbuysearchWeb??????listencartJukesearchinitWebWebWebcartbuyWebBanksearchsearchWebWebA Roman Composition能否由下面的原子服务生成所需的功能？Web storesearchJukeBanksearchcartinitlistenbuysearchWeb Services CompositionJuly 13, 2005Roman-模型 服务：有限状态机 ( finite state machine)强调动作序列在线音乐服务每次运行是一个序列Roman-模型转化为确定型命题动态逻辑公式的可满足性问题 服务：有限状态机 ( finite state machine)目标服务S0能否由服务1与服务2组合？ (1) S0的执行树上的每个动作都可以分配给S1或S2的一个动作完成； (2) S0的执行树上的动作序列对应到S1或S2的动作执行序列的交错连接目标服务：服务1：服务2：问题 给定一个目标服务G和一个服务集合S 是否存在S中的服务能组合成G？ 如果存在一个组合，是否可以由有限自动机表示？ 如果存在，如何找到这个组合？ 把组合问题转化为命题动态逻辑（DPPL）的可满足性问题 DPDL的可满足性问题（EXPTIME-complete） 可以：DPDL的小模型性质 计算DPDL公式的模型确定型命题动态逻辑DPDL建模所有服务的初始状态n个组件服务领域无关的条件目标服务这些DPPL公式的大小关于目标服务或组件服务的大小是多项式的确定型命题动态逻辑DPPL建模 目标服务状态是两两不相同的刻画状态转移在状态s上不能执行动作a终止状态确定型命题动态逻辑DPPL建模 组件服务如果Si执行a则到新状态s’, 否则状态保持不变状态是两两不相同的刻画状态转移当动作a要被执行，而服务Si不能执行a终止状态确定型命题动态逻辑DPPL建模 其他条件对于动作a，至少有一个服务执行a当目标服务到达终止状态时，所有组件服务都到达终止状态 初始状态目标服务和所有组件服务都处于初始状态例子 目标服务 组件服务s10s11s20s21抽取FSA极小化