基于扩展时间Petri网的Web服务组合的分析与验证  

ANALYSIS AND VERIFICATION OF WEB SERVICES COMPOSITION BASED ON EXTENDED TIME PETRI NETS

作　　者：高海宁[1] 李蜀瑜[1] 

机构地区：[1]陕西师范大学计算机科学学院,陕西西安710062

出　　处：《计算机应用与软件》2012年第3期82-85,共4页Computer Applications and Software

基　　金：国家自然科学基金项目(60671063);中央高校基本科研业务费专项资金(GK201002011)

摘　　要：为了进一步研究Web服务组合的时间成本问题,提出一种扩展时间Petri网,在变迁上添加了触发时间区间和发生优先级函数,在分析过程中提出了时间成本的计算方法,定义了变迁冲突的检测规则,更好地解决了可达分析中出现的冲突问题和时间成本问题,并给出了一个服务组合算法的描述,最后用实例验证了方法的可行性。In order to further study the time cost of Web services composition,this paper proposes an extended time Petri nets.In it the trigger time interval and priority functions generation are added to the transition.The time cost calculation method is proposed in the course of analysis.The detection rule of transitions conflict is defined,therefore the time cost problem and conflict problem occurred in reachability analysis are resolved better.The paper also puts forward a description of the Web service composition algorithm.At the and of this paper,an example is invoked for verification of the feasibility of this method.

关 键 词：ETPN(扩展时间Petri网) T-不变量 时间成本 冲突检测 

分 类 号：TP393[自动化与计算机技术—计算机应用技术]