<process: Composite Process rdf about=#BookFlight"/> </process components> </process: Sequence> /process: composedof /process: Composite Process> 该过程由三个子过程组成: GetDesiredFlightDetails, SelectAvailable Flight, BookFlight.它们按照顺序执行 Simple process是一个抽象概念,它不能被直接调用,也不能与 grounding绑定。观 察一个服务通常可以有不同的粒度,当我们需要关心一个服务的内部细节时,可以将这个 服务定义成 Simple Process。一个 Atomic Process可以 realizes一个 Simple Process 一个 Composite Process可以 collapseR一个 Simple Process。 OPE是OWLS中一个非常重要的概念。OPE是指 nputs, Outputs, Preconditions, Effects。类似于程序设计语言中的相应概念。 Inputs和 Outputs是指服务的输入和输出, 可以理解为数据的变换; Preconditions和 Effects是指服务的前提条件和效果,即服务执 行前应该满足的条件和服务执行后实际产生的效果,可以理解为状态的改变。OWL-S中 可以定义条件式 Outputs和 Effects,即只有在某种条件满足的情况下, Outputs和 Effects 才能产生。例如 Selling Service的OPE可以如下定义 Selling service credit card numbe Precondition d Output Effe the card is charged be able to connect to bank 图7|OPE实例 下面一个例子是用OW-S描述一个“航班预定确认服务”: <process: AtomicProcess rdf: ID="ConfirmReservation"> <process hasInput rdf resource="#ReservationlD In"/> rdf resource="#Confirm In"/> rocess: hasOutput rdf resource=#Preferred Flightltinerary_ Out"/> df: resource="##AcctName Out"/> <process hasEffe rdf resource="#Have Seat"/> <process Input rdf ID="ReservationID In<process:CompositeProcess rdf:about="#BookFlight"/> </process:components> </process:Sequence> </process:composedOf> </process:CompositeProcess> 该过程由 三个子过 程组成： GetDesiredFlightDetails ， SelectAvailableFlight ， BookFlight。它们按照顺序执行。 Simple Process 是一个抽象概念，它不能被直接调用，也不能与 grounding 绑定。观 察一个服务通常可以有不同的粒度，当我们需要关心一个服务的内部细节时，可以将这个 服务定义成 Simple Process。一个 Atomic Process 可以 realizes 一个 Simple Process， 一个 Composite Process 可以 collapseTo 一个 Simple Process。 IOPE 是 OWL-S 中一个非常重要的概念。IOPE 是指 Inputs，Outputs，Preconditions， Effects。类似于程序设计语言中的相应概念。Inputs 和 Outputs 是指服务的输入和输出， 可以理解为数据的变换；Preconditions 和 Effects 是指服务的前提条件和效果，即服务执 行前应该满足的条件和服务执行后实际产生的效果，可以理解为状态的改变。OWL-S 中 可以定义条件式 Outputs 和 Effects，即只有在某种条件满足的情况下，Outputs 和 Effects 才能产生。例如 Selling Service 的 IOPE 可以如下定义： Selling service Input: credit card number Precondition: valid credit card Output: receipt Effect: the card is charged Condition: be able to connect to bank 图 7 IOPE 实例 下面一个例子是用 OWL-S 描述一个“航班预定确认服务”： <process:AtomicProcess rdf:ID="ConfirmReservation"> <process:hasInput rdf:resource="#ReservationID_In"/> <process:hasInput rdf:resource="#Confirm_In"/> <process:hasOutput rdf:resource="#PreferredFlightItinerary_Out"/> <process:hasOutput rdf:resource="#AcctName_Out"/> <process:hasOutput rdf:resource="#ReservationID_Out"/> <process:hasEffect rdf:resource="#HaveSeat"/> </process:AtomicProcess> <process:Input rdf:ID="ReservationID_In"> 10