《WebService实现原理.ppt》由会员分享，可在线阅读，更多相关《WebService实现原理.ppt（62页珍藏版）》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、Web Services Web Services 实现原理实现原理马殿富马殿富北航计算机学院北航计算机学院2002006-066-06计算机学院2主要内容主要内容SOASOA体系结构的总体实现体系结构的总体实现应用服务器应用服务器XServicesXServices实现实现工作流建模工具实现工作流建模工具实现工作流引擎平台工作流引擎平台WSWFWSWF实现实现UDDIUDDI注册中心实现注册中心实现文法元语言及文法元语言及WSDLClassWSDLClass描述描述计算机学院3SOA SOA 面向服务的软件体系结构的实现面向服务的软件体系结构的实现监控管理工具监控管理工具服务请求者服务请求者
2、WSClient客户端开发工具客户端开发工具服务开发工具服务开发工具工作流引擎工作流引擎WSWFTransa,WSRFRliableHTTP 1.1XService XLinkerWSWSWSWS服务提供者服务提供者WS XLinker服务注册中心服务注册中心UDDI门户门户 WS Portal服务开发者服务开发者WSDesigner系统管理人员系统管理人员WSMT工作流建模工具工作流建模工具流程开发人员流程开发人员WSWD服务提供者服务提供者WS XService绑定绑定发现发现发布发布监控监控开发开发发现发现绑定绑定绑定绑定监控监控开发开发发现发现计算机学院4Web Web 服务开发生命周
3、期服务开发生命周期开发开发开发和测试开发和测试 Web Web 服务实现、定义服务接口描述和定义服务实现描述。服务实现、定义服务接口描述和定义服务实现描述。通过创建新的通过创建新的 Web Web 服务、把现有的应用程序变成服务、把现有的应用程序变成 Web Web 服务服务由其它由其它 Web Web 服务和应用程序组成新的服务和应用程序组成新的 Web Web 服务提供服务提供 Web Web 服务的实现。服务的实现。部署部署向服务请求者或服务注册中心发布服务接口和服务实现的定义向服务请求者或服务注册中心发布服务接口和服务实现的定义Web Web 服务的可执行文件部署到执行环境服务的可执行
4、文件部署到执行环境运行运行调用调用 Web Web 服务服务Web Web 服务完全部署、可操作并且服务提供者可以通过网络访问服务服务完全部署、可操作并且服务提供者可以通过网络访问服务管理管理持续的管理和经营持续的管理和经营 Web Web 服务应用程序。安全性、可用性、性能、服务质服务应用程序。安全性、可用性、性能、服务质量和业务流程量和业务流程计算机学院5Web ServicesWeb Services计算环境计算环境体系结构：体系结构：Service PortalService Portal电子商务应用电子商务应用电子政务应用电子政务应用 针对外部系统的接口规范实现针对外部系统的接口规范
5、实现WebWeb服务工作流系统服务工作流系统WebWeb服务运行环境服务运行环境WebWeb服务服务 部署工具部署工具WebWeb服务服务 开发资源开发资源消消息息服服务务命命名名服服务务事事件件服服务务安安全全服服务务监监控控服服务务 系系统统服服务务系系统统管管理理工工具具其他其他ASP ASP 应用应用WebWeb服务信息门户服务信息门户目目录录服服务务安安全全处处理理体体系系互联网互联网WebWeb服务应用服务应用计算机学院6WebSASEWebSASE平台构成平台构成根据根据Web Service StackWeb Service Stack，完整实现各个层次的软件和环境，完整实现各
6、个层次的软件和环境服务集成服务集成和展现层和展现层BPEL&WSRPBPEL&WSRP服务定位、服务定位、发现和发布层发现和发布层UDDIUDDI服务描述层服务描述层WSDLWSDL消息处理层消息处理层SOAP/WSRM/WSASOAP/WSRM/WSA网络通讯层网络通讯层HTTP/SMTP/HTTP/SMTP/安安全全 W WS S-S Se ec cu ur ri it ty y管管理理 W WS SD DM M 服服务务质质量量 Q Qo oS S工作流引擎平台工作流引擎平台 WSWFWSWF工作流可视化建模工具工作流可视化建模工具 WSWDWSWD信息门户信息门户 WSPortalWS
7、Portal统一服务描述统一服务描述 发现和集成服务器发现和集成服务器 UDDIServerUDDIServer应用服务器应用服务器 XServiceXService安安全全 W WS S-S Se ec cu ur ri it ty y管管理理 W WS SM MT T服服务务质质量量 W WS S-Q Qo oS S事务处理事务处理 中间件中间件 WSTPWSTP可靠消息可靠消息 处理中间件处理中间件 WSRMWSRMXLinkerXLinker网络通讯网络通讯 组件组件 HTTP1.1/HTTPS/SMTPHTTP1.1/HTTPS/SMTPWSRuntimeWSRuntime计算机学院
8、7面向服务视图面向服务视图规范描述资源与协议变换规范描述资源与协议变换实现自动服务部署和调用实现自动服务部署和调用ContentJAVA2WSDLWSDL2JAVAUDDI资源资源服务服务运行时运行时客户端（人）客户端（人）客户端（机器）客户端（机器）发布发布发现与定位发现与定位发现与定位发现与定位操作操作浏览器浏览器AJAX计算机学院8SOAP SOAP rpcrpcSOAPSOAP文档内容文档内容soap:envelopesoap:envelope 5 5 /计算机学院9服务调用服务调用提供者提供者前置机前置机SOAP消息HTTPHTTPWSDL2JAVASOAP消息Class Opera
9、tionXML Message服务描述CONTEXTXML2JAVAXML Message计算机学院10WebWeb服务应用服务器服务应用服务器XServicesXServices传输上下文输入对象池传输上下文输入对象池传输上下文输出对象池传输上下文输出对象池消息上下文输出对象池消息上下文输出对象池消息上下文输入对象池消息上下文输入对象池服务对象输出对象池服务对象输出对象池服务对象输入对象池服务对象输入对象池HTTP/HTTPS协议处理协议处理SMTP协议处理协议处理适配器适配器.NET适配器适配器CORBA适配器适配器EJB适配器适配器Java适配器适配器C+适配器适配器WSAR日志管理日志
10、管理服务管理服务管理用户管理用户管理事务事务安全安全存储管理存储管理系统存储系统存储服务上下文池服务上下文池消息上下文消息上下文消息上下文消息上下文服务对象服务对象服务上下文服务上下文传传输输层层消消息息层层服服务务层层服务适配服务适配QoS可靠消息处理可靠消息处理寻址协议处理寻址协议处理SOAP消息处理消息处理SOAP报文解析报文解析公公共共服服务务计算机学院11可靠消息可靠消息Reliable Messaging(RM)Reliable Messaging(RM):可靠的消息传输，处理可靠的消息传输，处理WS-WS-ReliabilityReliability中定义的与传输中定义的与传输无
11、关的无关的SOAPSOAP特征集合，这些特征集合，这些特征使得特征使得WS-ReliabilityWS-Reliability协协议支持了诸如有保证的传输，议支持了诸如有保证的传输，重复消息删除和消息有序化重复消息删除和消息有序化传输的服务质量特征。传输的服务质量特征。Reliable Messaging Reliable Messaging Processor(RMP)Processor(RMP):可靠消息可靠消息处理器，一个处理器，一个SOAPSOAP处理器和处理器和提供处理可靠消息传输能力提供处理可靠消息传输能力的其它架构。的其它架构。计算机学院12可靠消息（续可靠消息（续1 1）Sen
12、ding RMPSending RMP：发送方定义的发送方可靠消息处理器，消息从一个：发送方定义的发送方可靠消息处理器，消息从一个RMPRMP传输到另一个传输到另一个RMPRMP，其中，源头，其中，源头RMPRMP，作为发送方，作为发送方RMPRMP。The Sending PartyThe Sending Party：发送方。：发送方。The Receiving PartyThe Receiving Party：接收方。：接收方。Receiving RMPReceiving RMP：接收方定义的接收方可靠消息处理器，消息从一个：接收方定义的接收方可靠消息处理器，消息从一个RMPRMP传输到另
13、一个传输到另一个RMPRMP，其中，目的，其中，目的RMPRMP，作为接收方，作为接收方RMPRMP。P2PRMPP2PRMP：一个既作为：一个既作为Sending RMPSending RMP，又作为，又作为Receiving RMPReceiving RMP的可靠消的可靠消息处理器息处理器RMPRMP。Reliable MessageReliable Message：可靠消息，一个带有：可靠消息，一个带有头部的头部的SOAPSOAP消息。消息。PayloadPayload：负载，生产者和消费者为了进行可靠传输，各自分别提供：负载，生产者和消费者为了进行可靠传输，各自分别提供的消息数据的子集
14、。的消息数据的子集。Producer(or Payload Producer)Producer(or Payload Producer)：生产者（或负载生产者），一：生产者（或负载生产者），一个制造用于发送的消息的负载的抽象组件，一个生产者的例子是，个制造用于发送的消息的负载的抽象组件，一个生产者的例子是，一个可以调用一个可以调用RMPRMP发送一个负载的应用组件。发送一个负载的应用组件。计算机学院13可靠消息（续可靠消息（续2 2）Consumer(Payload Consumer)Consumer(Payload Consumer)：消费者：消费者（或负载消费者），一个用于经过（或负载消费
15、者），一个用于经过Receiving RMPReceiving RMP处理后，消费收到的消息处理后，消费收到的消息负载的抽象组件。一个消费者的例子是：负载的抽象组件。一个消费者的例子是：一个用于存储收到的负载的队列设备一个用于存储收到的负载的队列设备DeliverDeliver：交付，一个抽象的操作，负载：交付，一个抽象的操作，负载从从Receiving RMPReceiving RMP交付到交付到ConsumerConsumer。SubmitSubmit:递交，一个抽象的操作，把负载递交，一个抽象的操作，把负载从从ProducerProducer递交给递交给Sending RMPSendin
16、g RMP。RespondRespond:响应，一个抽象的操作，把负响应，一个抽象的操作，把负载从载从ConsumerConsumer传递到传递到Receiving RMPReceiving RMP。NotifyNotify:通知，一个抽象的操作，把负载通知，一个抽象的操作，把负载从从Sending RMPSending RMP通知给通知给Producer.Producer.RMP OperationsRMP Operations：RMPRMP的操作，的操作，Deliver,Deliver,Submit,Respond and NotifySubmit,Respond and Notify被称
17、为被称为RMPRMP的操作。这些抽象的操作，控制着负载数的操作。这些抽象的操作，控制着负载数据在据在RMPRMP和用户组件之间的传递。一个和用户组件之间的传递。一个RMPRMP不是必需要实现一个不是必需要实现一个RMPRMP操作，但是它必操作，但是它必须被支持或可以被调用。须被支持或可以被调用。计算机学院14可靠消息（续可靠消息（续3 3）Message IdentifierMessage Identifier:消息标识符，一个消息头部值或则消息头部值的集合，消息标识符，一个消息头部值或则消息头部值的集合，用于唯一定义一个可靠消息，这个标识符仅仅对这里定义的可靠性特征有意义。用于唯一定义一个可
18、靠消息，这个标识符仅仅对这里定义的可靠性特征有意义。Duplicate MessageDuplicate Message:重复的消息，一个与已经存在的另一个消息具有相同重复的消息，一个与已经存在的另一个消息具有相同Message IdentifierMessage Identifier的消息。的消息。Message DeliveryMessage Delivery:消息交付，对于一个可靠消息的消息交付，对于一个可靠消息的Deliver OperationDeliver Operation操作操作完成。完成。Acknowledgment IndicationAcknowledgment Indi
19、cation:确认指示，一个用于表示先前的消息已经被确认指示，一个用于表示先前的消息已经被Receiving RMPReceiving RMP交付的指示。一个确认指示表明确认消息已经被成功地交付，交付的指示。一个确认指示表明确认消息已经被成功地交付，即，消息满足所有建立在交付过程中的所有可靠性特征。即，消息满足所有建立在交付过程中的所有可靠性特征。Reliable Messaging Fault Indication(RM Fault)Reliable Messaging Fault Indication(RM Fault):可靠消息传递的错误指可靠消息传递的错误指示，一个用于表示先前的消息在
20、示，一个用于表示先前的消息在Receiving RMPReceiving RMP无法正确处理，遇到了错误的无法正确处理，遇到了错误的条件。它用于通知条件。它用于通知Sending RMPSending RMP，相关的消息在，相关的消息在Receiving RMPReceiving RMP执行执行Deliver Deliver operationoperation的时候失败。的时候失败。Reliable Messaging Reply(RM-Reply)Reliable Messaging Reply(RM-Reply):可靠消息应答，一个指示，或者是可靠消息应答，一个指示，或者是一个相关的先前
21、消息的一个相关的先前消息的Acknowledgment IndicationAcknowledgment Indication，或者是一个先前相关的，或者是一个先前相关的消息的消息的Fault IndicationFault Indication。SOAP MEPSOAP MEP：SOAP Message Exchange PatternSOAP Message Exchange Pattern，SOAPSOAP消息交换模式，分为两种消息交换模式，分为两种SOAP One-way MEPSOAP One-way MEP和和SOAP Request-response MEPSOAP Reques
22、t-response MEP。计算机学院15可靠消息（续可靠消息（续4 4）SOAP One-way MEPSOAP One-way MEP：Sending RMPSending RMP，在底层协议（如在底层协议（如HTTP GET or HTTP GET or POSTPOST）上，初始化一个）上，初始化一个SOAPSOAP信封；信封；返回响应不包含返回响应不包含SOAPSOAP信封，尽管是信封，尽管是一个非一个非SOAPSOAP响应（如响应（如HTTPHTTP错误代码）错误代码）返回。返回。SOAP Request-response MEPSOAP Request-response MEP
23、：Sending RMPSending RMP，在底层协议上，初始，在底层协议上，初始化一个化一个SOAPSOAP信封；信封；Receiving RMPReceiving RMP，在响应和请求连接建立一段时间以在响应和请求连接建立一段时间以后，返回一个带有后，返回一个带有SOAPSOAP信封（称之信封（称之为响应）的消息。为响应）的消息。Response,Callback and Poll RM-Response,Callback and Poll RM-Reply PatternsReply Patterns:三种三种RM-ReplyRM-Reply的的模式。模式。Response RM-R
24、eply PatternResponse RM-Reply Pattern：响应：响应RM-ReplyRM-Reply模式，模式，Sending RMPSending RMP，以一个，以一个SOAPSOAP请求请求-响响应消息交换模式的请求实例，发送应消息交换模式的请求实例，发送一个可靠消息；一个可靠消息；Receiving RMPReceiving RMP，在同一个，在同一个SOAPSOAP消息消息交换模式实例中，发送一个交换模式实例中，发送一个RM-RM-ReplyReply响应消息。响应消息。计算机学院16可靠消息（续可靠消息（续5 5）Callback RM-Reply Pattern
25、Callback RM-Reply Pattern：回调回调RM-ReplyRM-Reply模式，模式，Sending RMPSending RMP，以生产者，以生产者-消费者消费者交换方式，在一个交换方式，在一个SOAP MEPSOAP MEP实例实例中，发送一个可靠消息，这个消中，发送一个可靠消息，这个消息可以是双向或单向的；息可以是双向或单向的；Receiving RMPReceiving RMP，发送，发送RM-ReplyRM-Reply，除非当，除非当RM-ReplyRM-Reply绑定一个可靠绑定一个可靠消息时，必须以单向方式返回这消息时，必须以单向方式返回这个个RM-ReplyR
26、M-Reply。Poll RM-Reply PatternPoll RM-Reply Pattern：轮询：轮询RM-ReplyRM-Reply模式，又分为模式，又分为Synchronous Poll RM-Reply Synchronous Poll RM-Reply PatternPattern，同步轮询模式，同步轮询模式 和和Asynchronous Poll RM-Reply Asynchronous Poll RM-Reply PatternPattern，异步轮询模式。，异步轮询模式。计算机学院17可靠消息（续可靠消息（续6 6）Synchronous Poll RM-Reply
27、Synchronous Poll RM-Reply PatternPattern：同步轮询：同步轮询RM-ReplyRM-Reply模模式，式，Sending RMPSending RMP，以生产者，以生产者-消费者消费者交换方式，在一个交换方式，在一个SOAP MEPSOAP MEP实例实例中，发送一个可靠消息，这个消中，发送一个可靠消息，这个消息可以是双向或单向的；息可以是双向或单向的；Sending RMPSending RMP，在一个新的，在一个新的SOAP SOAP MEPMEP实例中，发送一个带有实例中，发送一个带有PollRequestPollRequest元素的消息，这相元素的
28、消息，这相当于一个确认的请求；当于一个确认的请求；这个消息不能包括一个有效负载；这个消息不能包括一个有效负载；Sending RMPSending RMP，必须使用一个双，必须使用一个双向实例的请求；向实例的请求；Receiving RMPReceiving RMP，使用带有，使用带有PollRequestPollRequest的同一个的同一个SOAPSOAP实例，实例，发送一个带有发送一个带有RM-ReplyRM-Reply响应消息。响应消息。计算机学院18可靠消息（续可靠消息（续7 7）Asynchronous Poll RM-Reply Asynchronous Poll RM-Repl
29、y PatternPattern：异步轮询：异步轮询RM-ReplyRM-Reply模式模式Sending RMPSending RMP，以生产者，以生产者-消费者消费者交换方式，在一个交换方式，在一个SOAP MEPSOAP MEP实例实例中，发送一个可靠消息，这个消中，发送一个可靠消息，这个消息可以是双向或单向的；息可以是双向或单向的；Sending RMPSending RMP，在一个新的，在一个新的SOAP SOAP MEPMEP实例中，发送一个带有实例中，发送一个带有PollRequestPollRequest元素的消息，这相当元素的消息，这相当于一个确认的请求；于一个确认的请求；这
30、个消息不能包括一个有效负载；这个消息不能包括一个有效负载；Sending RMPSending RMP，必须使用一个单向，必须使用一个单向实例的请求；实例的请求；Receiving RMPReceiving RMP，在一个，在一个SOAPSOAP单向单向实例中返回带有实例中返回带有RM-ReplyRM-Reply的消息。的消息。计算机学院19可靠消息（续可靠消息（续8 8）PollRequest MessagePollRequest Message:轮询请求消息，一个从轮询请求消息，一个从Sending RMPSending RMP到到Receiving RMPReceiving RMP的可靠
31、消息，它用来对先前已经发送的可靠消息的可靠消息，它用来对先前已经发送的可靠消息请求请求RM-ReplyRM-Reply。IntermediaryIntermediary:中介，在中介，在Sending RMPSending RMP和和Receiving RMPReceiving RMP之间的一之间的一个个SOAPSOAP节点。节点。GroupGroup：组，一个可靠消息总是属于一个组，一个组里可以有一：组，一个可靠消息总是属于一个组，一个组里可以有一个或多个可靠消息，一个可靠消息包括一个标识符，这个标识符个或多个可靠消息，一个可靠消息包括一个标识符，这个标识符在组内唯一，同时可靠消息也包括一个
32、组标识符在组内唯一，同时可靠消息也包括一个组标识符group IDgroup ID，这个，这个标识符全局唯一，如果一个组内只有一个消息，则可靠消息中不标识符全局唯一，如果一个组内只有一个消息，则可靠消息中不包括包括Sequence NumberSequence Number（序列号），如果一个组内包括多个可靠（序列号），如果一个组内包括多个可靠消息，那么消息中将包括消息，那么消息中将包括Sequence NumberSequence Number。计算机学院20可靠消息（续可靠消息（续9 9）RM Agreement and FeaturesRM Agreement and Features：
33、可靠性特征描述了发送方和接收方之间：可靠性特征描述了发送方和接收方之间交换消息时双方所协商使用的规范。交换消息时双方所协商使用的规范。可靠性特征分为两个方面可靠性特征分为两个方面1.1.The QoSThe QoS（Quality of serviceQuality of service）contractcontract，服务质量，用于表示，服务质量，用于表示ProducerProducer和和Sending RMPSending RMP之间的规范，用于表示之间的规范，用于表示ConsumerConsumer和和Receiving RMPReceiving RMP之间的规范。之间的规范。2.2
34、.The protocol contractThe protocol contract，协议特征，用于表示，协议特征，用于表示Sending RMPSending RMP和和Receiving RMPReceiving RMP关于时间参数等细节规范。关于时间参数等细节规范。可靠性特征分为两个级别可靠性特征分为两个级别1.1.消息范围：期满时间（消息范围：期满时间（ExpiryTimeExpiryTime，date/timedate/time类型），应答模式类型），应答模式（ReplyPatternReplyPattern，包括，包括ResponseResponse，CallbackCallba
35、ck，PollPoll）。）。2.2.组范围：有序的交付（组范围：有序的交付（OrderedDeliveryOrderedDelivery，支持，支持/不支持），有保证不支持），有保证的交付（的交付（GuaranteedDeliveryGuaranteedDelivery，支持，支持/不支持），无重复的交付不支持），无重复的交付（NoDuplicateDeliveryNoDuplicateDelivery，支持，支持/不支持），组期满时间不支持），组期满时间（GroupExpiryTimeGroupExpiryTime，data/timedata/time类型）和组最大等待持续时间类型）和组最
36、大等待持续时间（GroupMaxIdleDurationGroupMaxIdleDuration，秒的时间间隔）。，秒的时间间隔）。计算机学院21WSDLWSDL元素库元素库WSDLWSDL元素注册表元素注册表索引表索引表WSILWSIL代理代理UDDIUDDI代理代理WSDLWSDL编辑器编辑器绘图子系统绘图子系统建模工具用户界面子系统建模工具用户界面子系统对话框对话框对话框对话框对话框对话框属性框属性框系统系统总控总控模块模块建模工程元模型及其对象表示建模工程元模型及其对象表示生成器框架生成器框架BPELBPEL生成器生成器WSFLWSFL生成器生成器其他其他生成器生成器元模型的元模型的序
37、列化与反序列化序列化与反序列化其他其他生成器生成器*.*.awpawp*.*.wsarwsar*.*.processprocess*.*.processprocess*.*.wsflwsfl*.*.bpelbpel*.*.wsdlwsdl*.*.wsdlwsdl*.*.wsdlwsdlWSDLWSDL注册表注册表查看器查看器图形化流程中间表示语言图形化流程中间表示语言Web Service工作流建模计算机学院22工工作作流流栈栈1工工作作流流栈栈2工工作作流流栈栈3工工作作流流栈栈nWorkflowcontextMessageContext可靠消息可靠消息传输层：传输层：HTTP HTTP 等
38、等计算机学院23WebWeb服务工作流引擎平台服务工作流引擎平台WSWFWSWF可靠消息处理可靠消息处理寻址协议处理寻址协议处理SOAP消息处理消息处理SOAP报文解析报文解析传输层传输层BAR日志管理日志管理流程管理流程管理用户管理用户管理事务事务安全安全存储管理存储管理系统存储系统存储消息上下文消息上下文流程上下文流程上下文工工作作流流引引擎擎流程线程池流程线程池-activityactivityactivityProcess消消息息层层消息上下文输出对象池消息上下文输出对象池消息上下文输入对象池消息上下文输入对象池流程上下文对象池流程上下文对象池监控管理监控管理流程触发流程触发事务处理事
39、务处理-activityactivityactivityProcess流程执行线程流程执行线程弹弹栈栈压压栈栈Process实例活动处理实例活动处理-activityactivity-1activity-n-activity事务消息事务消息远程服务返回远程服务返回流程流程实例实例管管理理消消息息远远程程服服务务调调用用流流程程返返回回消消息息公公共共服服务务层层工作流引擎管理模块工作流引擎管理模块管管理理返返回回消消息息activityactivity-1-activity-n计算机学院24Web Services事务处理消息消息解析器解析器消息消息处理器处理器协调者协调者上下文上下文参与者参
40、与者资源资源消息消息解析器解析器消息消息处理器处理器参与者参与者上下文上下文客户端客户端协调者协调者参与者参与者两阶段提交两阶段提交控制器控制器参与者参与者代理代理Web Services Runtime 容器容器ACT 管理控制台管理控制台用户用户界面界面控控制制台台配配置置插件注册库插件注册库工作区工作区事务监控事务监控管理插件管理插件计算机学院25UDDI 服务注册中心 数据统一访问层数据统一访问层UDDI API Dispatch LDAP v3身份认证适配器SOAPEngineADO.NETOracleSQL ServerLDAP ServerADO.NETXML2DBDB2XMLW
41、S HandlerUDDI Request HandlerWeb ServiceContainerWebContainerASP.net Interface Web ServiceClient APIWeb 策略管理系统运行管理服务订阅监听器计算机学院26面向文法编程面向文法编程文法元语言文法元语言 XMLXML文法为文法为G=G=，其中，其中，V=$V=$Str|StrStr|Str是字符串是字符串；T=T=sequence,switch,choice,casesequence,switch,choice,case,!,!,func,t,Sfunc,t,S 1,2,3,4,51,2,3,4,
42、5 ,(,),(,)+,-,+,-,；计算机学院27面向文法编程面向文法编程文法元语言文法元语言S=$S=$元素文法；元素文法；P P是如下文法规则：是如下文法规则：$元素文法元素文法:=$:=$元素类元素类|$|$元素类元素类$元素文法元素文法$元素类元素类:=:=$sequence$sequence元素元素|$switch|$switch元素元素|$|$funcfunc元素元素|$t$t元素元素|$|$元素元素计算机学院28面向文法编程面向文法编程文法元语言文法元语言$sequence$sequence元素元素:=:=sequence$元素元素$switch$switch元素元素:=:=s
43、witch$choice$case$case元素元素$funcfunc元素元素:=:=$函数元素函数元素/$t$t元素元素:=:=t$字符串字符串$元素元素:=:=$元素类元素类/$case$case元素元素:=$case:=$元素类元素类/$case$case元素名元素名:=:=sequence|switch|func|tsequence|switch|func|t|元素名元素名计算机学院29面向文法编程面向文法编程文法元语言文法元语言$状态属性状态属性:=:=|$|$状态状态=$状态函数状态函数$状态状态:=:=S|S$S|S$状态下标状态下标$状态下标状态下标:=1|2|3|4|5=1|
44、2|3|4|5$case$case属性属性:=:=case=$casecase=$case属性值属性值|case=$case|case=$case元素名元素名$case$case属性值属性值:=:=|!|!|$|$元素名元素名|$|$属性值属性值$状态函数状态函数:=:=+函数函数|-|-函数函数|函数函数|函数函数|函数函数|函数函数|函数函数计算机学院30WSDLClassWSDLClassdefinition name=http:/www.w3.org/1999/XMLSchemaWSDLS=S import import org.act.metasetorg.act.metaset.*
45、;.*;S=S/WSDL 计算机学院31SchemaSchema类型集合类型集合SchemaS=S typesschema*/elementtypesschema*/Schema 计算机学院32complexTypecomplexType类型序列类型序列 S1=S1 S2=S2 case=/S1=(S1)S2=S2/S1=(S1)S2=S2/计算机学院33elementelement类型序列类型序列elementS1=S1 S2=S2 case=/element S1=(S1)S2=S2/element S1=(S1)S2=S2/element 计算机学院34complexTypecomple
46、xType类定义类定义 S1=S1 S2=S2 publicpublicclassclass /(S1,complexType,name)(S1,complexType,name)/extends extends javaxjavax ;S1=S1 S2=S2/;/计算机学院35complexTypecomplexType类定义体类定义体 S1=S1 S2=S2 sequence case=!S1=(S1,complexTypesequenceelement)/sequence sequence case=!S2=(S1,complexTypesequence*)S3=S2/sequence
47、/计算机学院36complexTypecomplexType变量序列变量序列 S1=S1 case=/S1=(S1)/S1=(S1)/计算机学院37complexTypecomplexType变量变量 S1=S1private private (S1,element,type)(S1,element,type)(S1,element,name)(S1,element,name);/计算机学院38complexTypecomplexType操作定义操作定义 S1=S1 S2=S2 S3=S3 0/S1=S1 S2=S2 S3=S3/setS1=S2 S2=S3/getS1=S2 S2=S3/S1
48、=S1 S2=S2 S3=S3/S1=S1 S2=S2 S3=S3/计算机学院39complexTypecomplexType初始化类操作定义初始化类操作定义0 0 0 S1=S1 S2=S2 S3=S3 public public/(S1,complexType,name)(S1,complexType,name)/();/0计算机学院40complexTypecomplexType初始化类操作定义初始化类操作定义 S1=S1 S2=S2 S3=S3 public public/(S1,complexType,name)(S1,complexType,name)/(S1=S2/);S1=S2
49、/;/计算机学院41complexTypecomplexType初始化操作参数序列初始化操作参数序列 S1=S1 case=/S1=(S1)(S1,element,type)(S1,element,type)/(S1,element,name)(S1,element,name)/2 S1=(S1)/计算机学院42complexTypecomplexType初始化操作参数序列初始化操作参数序列2 2 2 S1=S1 case=/S1=(S1),(S1,element,type)(S1,element,type)/(S1,element,name)(S1,element,name)/2 S1=(S
50、1)/2计算机学院43complexTypecomplexType初始化变量序列初始化变量序列 S1=S1 case=/S1=(S1)/S1=(S1)/计算机学院44complexTypecomplexType初始化变量初始化变量 S1=S1 (this.,(S1,element,name)(this.,(S1,element,name)=(S1,element,name)(S1,element,name);/计算机学院45setset操作集定义操作集定义setS1=S1 S2=S2 case=/setS1=(S1)S2=S2/setS1=(S1)S2=S2/set 计算机学院46setset