旅行社代理系统的建模技术分析.ppt

——Web服务组合的Pi演算的描述 Pi演算的语法定义 下面给出寻找进程和通道的三条原则： （1）逻辑上单独的原子服务作为一个代理，也就是说web服务作为一个代理出现，当需对某个复杂的单一服务进行内部逻辑验证和流程分析时，也可将其分割为几个相对独立的代理。 （2）当消息在两个代理间以一定的顺序出现时，他们将在某一通道上进行传递。 （3）需要通信的两个代理间至少存在一条通道。 旅行社代理系统的建模 旅行社代理系统所有web服务的描述 建模一个旅行社代理系统，具体的系统描述服务如下： 旅行社接到客户发来的请求，根据请求数据，确认能否满足客户的请求，当确认能满足后，向银行发出请求，如果银行确认用户已经付账，则预定服务发送预定成功消息给客户。 旅行社代理系统的web服务组合包括：银行支付服务，预定服务以及景点数据服务。 逻辑结构图 旅行社代理系统的各个信息的表示如下： Re：客户网上预定旅游景点的请求 AI：预定服务详细询问客户旅行的请求 PI：客户将自己旅行的详细要求返回给预定服务，如旅行的住宿要求，交通工具选择 Ref：预定服务接收客户提供的信息，当不能满足要求时发送的拒绝信息 Ac：能满足客户的请求，预定服务接收了预定旅游的请求 GTI：预订服务向景点数据了解景点的一些基本信息 TI：景点数据服务返回预定服务咨询的相关数据 RP：预定服务向银行要求付款 IP：银行支付服务向客户付出付款请求 PF：客户付款并确认 PS：银行服务通知预订服务，客户已付款 Cf：预定服务向客户发出确认信息，预定成功 Pi-演算是建模复杂的web服务组合的有效方式，在pi-演算建模web服务的时候需要解决两个问题： （1）如何识别出进程使用的通道有哪些 （2）如何识别出系统的参与进程。 x为客户Client与预定服务Booking之间的通道 y为预定服务Booking与景点数据Data之间的通道 z为银行支付服务Bank与预定服务Booking之间的通道 W为客户Client与银行支付服务Bank之间的通道 逻辑结构图抽象为流程图 旅行社代理系统的建模 对系统进行建模如下（用表示沿通道发出消息）： 客户沿通道x输出请求预定旅游的信息（Re）,而旅行社收到这个请求后向客户询问其旅游的详细信息（AI），相应的客户通过x收到这个询问信息（AI），最后客户通过通道输出详细信息给旅行社（PI）。当旅行社收到客户提供的详细信息后，如果不能满足要求则向客户输出拒绝信息，所以客户通过x接收到了（Ref）信息；如果能够满足客户的要求，则客户通过x接收到了（Ac）信息，则此时银行通过通道w向客户发出请求付款信息（IP），当客户付款后通道w发出了确认付款信息给银行（PF）。当这一些列完成之后，客户通过通道x接收到了旅行社预订成果的信息（Cf）。（ （）表示沿着通道发出去信息，x（）表示沿着通道接收信息 ），对客户的所有Web服务进行建模如下： 上面是对客户进行的Pi—演算的建模。 下面相应的对预订服务，景点数据服务银行制度服务进行建模。详细描述不再赘述。 整个旅行社代理系统的Web服务组合由预订服务，景点数据服务和银行支付服务组成。对整个代理系统而言预订服务与景点服务之间的通道y和预订服务与银行服务之间的通道z是整个系统的内部通道，所以通道y和z应作为受限名出现。 最后验证建模的正确性（使用 ） 谢谢!