形式语言与自动机第11讲-服务组合1课件.pptx

形式语言与自动机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才真正成长为可部署的技术、产品和下一代应用系统的方法论，开始被业界广泛接受，进入了部署期 ; 2000年，Web服务标准出台，推动SOA实践 软件即服务，跨Internet的互操作 ;;Web服务协议栈;7;;;;传统软件开发：自顶向下;;;;;;;;;;;; 有限状态自动机(finite state automata) 确定型有限状态机 非确定有限自动机; Web服务简介 面向服务的体系结构（Service-oriented Architecture） Web服务组合方法 基于自动机模型的服务组合 有限