检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]江西理工大学信息工程学院,江西赣州341000 [2]江西理工大学应用科学学院,江西赣州341000
出 处:《江西理工大学学报》2009年第6期30-33,共4页Journal of Jiangxi University of Science and Technology
基 金:江西省教育厅资助项目(赣教技字[2007]208号);江西省教育厅2009年度科技项目(GJJ09247)
摘 要:用经典Petri网对Web服务组合建模,其令牌类型的单一性不利于对模型的理解.针对这种不足,提出了一种基于着色Petri网的建模方法,给出了Web服务网系统结构的静态和动态特性,而且还给出了一个用着色Petri网建模的实例.应用结果表明,利用着色Petri网建立的模型具有较强的解释性和扩展性.Modeling in Web service composition by the classical Petri net is not suitable for understanding the model because of the single kind of its token. To solve the deficiency, a method of modeling based on colored Petri net (CPN) is developed. Based on this method the system' s structure of Web service nets in both static and dynamic conditions is provided. Moreover an application instance of the model is presented based on colored Petri net. The application results show that the modeling method in CPN can enhance the explanatory power and scalability.
分 类 号:TP311[自动化与计算机技术—计算机软件与理论]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117