首页> 外文OA文献 >Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models

【2h】

Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models

机译：基于petri网模型中Horn子句逻辑推理的Web服务自动组合

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Xianfei Tang; Changjun Jiang; Zhijun Ding;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Automatic Web service composition based on Horn clauses and Petri nets [J] . Xianfei Tang, Changjun Jiang, Mengchu Zhou Expert Systems with Application . 2011,第10期

机译：基于Horn子句和Petri网的自动Web服务组合
2. Logical inference of Horn clauses in Petri net models [J] . Lin C., Chaudhury A. IEEE Transactions on Knowledge and Data Engineering . 1993,第3期

机译：Petri网模型中Horn子句的逻辑推断
3. Web Service Automatic Composition Model Based on Colored Petri Nets [J] . Kai Nie, Houxiang Wang, Xiaopei Jing, Communications and Network . 2013,第1期

机译：基于彩色Petri网的Web服务自动组合模型
4. Automatic Web Service Composition Based on Logical Inference of Horn Clauses in Petri Net Models [C] . Tang, Xianfei, Jiang, . 2007

机译：Petri网模型中基于Horn子句逻辑推理的自动Web服务组合
5. WS-Pro: A Petri net based performance-driven service composition framework. [D] . Xia, Jinchun. 2009

机译：WS-Pro：基于Petri网的性能驱动的服务组合框架。
6. QoS Measurement of Workflow-Based Web Service Compositions Using Colored Petri Net [O] . Hossein Nematzadeh, Homayun Motameni, Radziah Mohamad, -1

机译：使用彩色Petri网的基于工作流的Web服务组合的QoS度量
7. Logical Inference of Horn Clauses in Petri Net Models [O] . Lin, C., Chaudhury, A., Whinston, A. B., 1991

机译：Petri网模型中Horn子句的逻辑推理

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号