旅游信息服务组合的Petri网建模及其实现.pdfVIP

第34卷4期 安徽 师 范 大学学 报 (自然科学版) JournalofAnhuiNormalUniversity(NaturalScience) Vo1．34No．4 2011年7月 July．2011 旅游信息服务组合的Petri网建模及其实现 代秀娟， 章昭辉， 王敏生，杨 娟，潘冬生， 汪小寒 (安徽师范大学 数学计算机科学学院，安徽芜湖 241000；安徽师范大学 高性能计算研究中心，安徽芜湖 241000) 摘 要：目前，用户查找旅游相关信息还缺乏一个有效的 自动化信息服务整合工具．本文根据用户 提供的出行时间、目的地、出行方法等信息，利用Petri网建立了一个旅游信息服务组合模型．该模 型较全面地刻画了旅游相关信息的Web服务组合流程 ．原型系统的实现直观地说 明了该模型是有 效 的． 关键字：Petri网；旅游信息；Web服务；服务组合 中图分类号：TP311 文献标识码：A 文章编号：1001—2443(2011)04—0317—04 引 言 要出门旅行就要有个详细的行程安排，需要知道天气、乘车方式、住宿及旅游景点等信息．如果一个一个 地查询，则需要打开很多的页面，这是一个很繁琐且费时的过程．因此，如何把各种旅行相关信息服务有效组 合起来，是解决旅游信息自动化查找的一个关键． Petri网适合描述服务组合的特性… J．在文献 [3]中使用Petri网对服务组合进行形式化的表述(库所 表达服务状态，变迁表示服务活动)，并利用Petri网的数学理论支持和分析工具 ，如可达 图、标识树、不变量 等，对建立好模型的面向服务系统分析和验证 ．若用 token颜色来区别服务输入输出的类型，则可使用有色 Petri网建立组合模型_4儿引．文献 [6]中使用元消息机制有利于服务的自动组合．本文使用Petri网对旅行信 息服务进行形式化建模，生成组合模型，可以有效的实现信息的组合． 1 预备知识 Petri网是描述和分析复杂系统的一种有效模型工具．它具有严格的数学基础和图形化的规范语义， Petri网系统 由表示状态的P元素(又称为库所，place)和表示变化的T元素 (又称为变迁 ，transaction)构成 ． 它适合于Web服务这种松散耦合的分布式系统，并且能够严格控制其行为． 定义 1 Petri网[7J一个Petri网系统PN=(P，T；F，Mn)，其中 P={P1，P2，…，P}是库所的有限集； T=}tl，t2，…，tmf是变迁的有限集； F (PxT)U(TxP)，为库所与变迁之间的流关系； M=(M(p1)，M(p2)，…，M(p))是网标识，Mo(pi)为Pi的初始标记 ，M： 0或 1． 定义2 可达图[]设PN=(P，T；F，Mo)为一个有界Petri网，PN的可达标识图定义为一个三元组 RG (PN)=(R(Mo)，E，P)，其中 E={(Mi，Mi)lMi，Mi∈R(Mo)，tkET：Mi[tkM1} P：+T，P(Mi，Mi)=tk当且仅当Mi[tkMj 称R(M0)为RG(PN)的顶点集，E为RG(PN)的弧集；若P(Mi，M_)=tk，则称tk为弧(Mi，Mi)的旁标． 收稿 日期：2011一O1—1O 基金项 目：安徽高校省级 自然科学研究重点项 目资助(编号：KJ2008A104；KJ2009A096)；芜湖市2010年度科技计划项 目；安徽省高等学校省级 教学质量与教学改革工程基金资助(编号：2008jyxm375)． 作者简介：代秀娟，女，安徽宿州人，1985年生 ，硕士研究生，主要研究服务计算、并行处理；通讯作者：章昭辉，男，安徽绩溪人，1971年生， 教授、 硕导，主要研究网络计算、服务计算、并行处理． 318 安 徽 师 范 大 学 学 报 (自然 科 学 版 ) 一 2 基于Petri网的旅游信息服务建模 现对旅游服务组合建模 ：游客从 自己所在的城市 (StartCity)到 目的城市(TargetCity)旅游，希望能得到 一 个比较完整的信息，比如包括天气、乘车、景点及酒店等信息．