摘要
基于时间扩展的ASEHA自动机理论,以旅行预订票组合Web服务为例,分别建立了旅行者(Traveler)、旅行代理(Travel Agent)及航空公司预订票(Airline Reservation)三个自动机,并给出该服务的BPEL语言描述。
出处
《计算机光盘软件与应用》
2014年第7期141-142,共2页
Computer CD Software and Application
基金
广西高等学校立项科研项目(项目编号:201204LX461)
贺州学院校级科研项目(项目编号:2012ZRKY07)
贺州学院校级科研项目(项目编号:2012ZRKY06)资助
