旅行社代理系统的建模概论.ppt

;Pi演算的语法定义;旅行社代理系统所有web服务的描述;逻辑结构图;Pi-演算是建模复杂的web服务组合的有效方式，在pi-演算建模web服务的时候需要解决两个问题： （1）如何识别出进程使用的通道有哪些 （2）如何识别出系统的参与进程。;下面给出寻找进程和通道的三条原则：;x为客户Client与预定服务Booking之间的通道 y为预定服务Booking与景点数据Data之间的通道 z为银行支付服务Bank与预定服务Booking之间的通道 W为客户Client与银行支付服务Bank之间的通道;旅行社代理系统的建模;上面是对客户进行的Pi—演算的建模。 下面相应的对预订服务，景点数据服务银行制度服务进行建模。详细描述不再赘述。;整个旅行社代理系统的Web服务组合由预订服务，景点数据服务和银行支付服务组成。对整个代理系统而言预订服务与景点服务之间的通道y和预订服务与银行服务之间的通道z是整个系统的内部通道，所以通道y和z应作为受限名出现。 ;谢谢!