基于有色Petri网的Web服务组合建模与分析  

Web Service Composition and Analysis Based on Colored Petri Net

作　　者：张侃[1] 朱稷涵[1] 张广泉[1,2] 

机构地区：[1]苏州大学计算机科学与技术学院,江苏苏州215006 [2]中国科学院软件研究所计算机科学国家重点实验室,北京100080

出　　处：《苏州大学学报（工科版）》2010年第4期14-19,共6页Journal of Soochow University Engineering Science Edition (Bimonthly)

基　　金：中国科学院计算机科学国家重点实验室开放课题(编号SYSKF0908);江苏省高校自然科学基金项目(编号08KJB520010);苏州大学国家级大学生创新性实验计划项目(编号101028524)

摘　　要：形式化定义了Web服务组合过程中的5种基本逻辑结构,并采用有色Petri网表示,然后将其抽象为服务的代数运算;在此基础上,提出了经过服务运算后得到的服务的性质及组合服务的构造方法;最后通过实例分析,说明该建模方法可以保证组合的服务是正确且可终止的。In this paper, four kinds of formal definition of basic logic structure of Web service composition were given and modeled by Colored Petri Net. Then these definitions were abstracted as algebraic computing. On this basis, the nature of services that was composed by algebraic computing and the way to construct the Web services were given. Finally, the service constructed by the way, which was posed before, was turned out to be correct and terminable through the analysis of an example .

关 键 词：有色PETRI网 WEB服务组合 建模 可达性分析 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]