文档介绍：第 29卷第 3期
2012年 3月

计算机应用与软件
ComputrApplcatonsandSofwar

Mar 2012
基于扩展时间 Peti网的 Web服务组合的分析与验证
高海宁李蜀瑜
(陕西师范大学计算机科学学院陕西西安 710062)
摘要为了进一步研究 Web服务组合的时间成本问题,提出一种扩展时间 Peti网,在变迁上添加了触发时间区间和发生优先
级函数,在分析过程中提出了时间成本的计算方法,定义了变迁冲突的检测规则,更好地解决了可达分析中出现的冲突问题和时间
成本问题,并给出了一个服务组合算法的描述,最后用实例验证了方法的可行性。
关键词 ETPN(扩展时间 Peti网) T变量时间成本冲突检测
中图分类号 TP393

文献标识码 A
ANALYSI AND VERII ATI N OFWEBSERVI POSII N BASED
ON EXTENDED TI S
GaoHaiig LiShuyu
(putrScec,ShaanxiNoralUniest,Xian710062,ShaanxiChia)
Absract I orert frhersudytetmecos poston,ti .I ite
tigertmeitralandprort fnctonsgenertonar tecoureof
oftanstonsconfiti defned,terfr tetmecos prblm andconfitprblm occuredi rachabiiy
analssar rsledbeterThepaperaloputfrar
exampl iivokedfrverfcatonoftefasbiiyoftimetod.
Keywords ETPN( Tnvarant Tiecos Coliindetcton
)模型来对组合方案进行合理建模和高效分析验
0 引言
随着社会信息化的快速发展,Web服务技术得到了广泛应
用和完善。Web服务是基于网络的、分布式的、自描述的、自包
容模块化的组件,它执行特定的服务,遵循一定的技术规范,提
供了面向 Itret应用的统一服务注册、发现、绑定和集成机制,
使得在广域环境下实现互操作成为可能的一种主要机制[1],然
而在面向服务的体系结构 SOA(SerieOrentdArhiectr)中
对服务的功能需求越来越多,为了满足多功能服务需求,基于原
子服务的独立性和重构性,在单个 WEB服务技术的基础上发展
了服务组合的技术。该技术将多个原子服务按照一定的组合机
制组合成一个满足用户最大需求的服务群。
由于研究技术的多样性使得 Web服务组合方法也出现很
多种,在最后形成的组合机制需要经过建模来仿真验证其合理
性、可行性和高效性,在这种情况下多种验证工具应发挥出自身
的强大功效,例如:自动机、进程代数、PI演算、Peti网等等。由
于 Peti网具有图形化和形式化证明的强大优