| 基于扩展时间Petri网的Web服务组合的分析与验证 |
| |
| 引用本文： | 高海宁,李蜀瑜.基于扩展时间Petri网的Web服务组合的分析与验证[J].计算机应用与软件,2012(3):82-85. |
| |
| 作者姓名： | 高海宁 李蜀瑜 |
| |
| 作者单位： | 陕西师范大学计算机科学学院 |
| |
| 基金项目： | 国家自然科学基金项目(60671063);中央高校基本科研业务费专项资金(GK201002011) |
| |
| 摘 要： | 为了进一步研究Web服务组合的时间成本问题,提出一种扩展时间Petri网,在变迁上添加了触发时间区间和发生优先级函数,在分析过程中提出了时间成本的计算方法,定义了变迁冲突的检测规则,更好地解决了可达分析中出现的冲突问题和时间成本问题,并给出了一个服务组合算法的描述,最后用实例验证了方法的可行性。
|
| 关 键 词： | ETPN(扩展时间Petri网) T-不变量 时间成本 冲突检测 |
ANALYSIS AND VERIFICATION OF WEB SERVICES COMPOSITION BASED ON EXTENDED TIME PETRI NETS |
| |
| Gao Haining Li Shuyu.ANALYSIS AND VERIFICATION OF WEB SERVICES COMPOSITION BASED ON EXTENDED TIME PETRI NETS[J].Computer Applications and Software,2012(3):82-85. |
| |
| Authors: | Gao Haining Li Shuyu |
| |
| Affiliation: | Gao Haining Li Shuyu(School of Computer Science,Shaanxi Normal University,Xi’an 710062,Shaanxi,China) |
| |
| Abstract: | |
| |
| Keywords: | ETPN(expanded time Petri net) T-invariant Time cost Collision detection |
| 本文献已被 CNKI 等数据库收录！ |
