【61170078】逻辑Petri网演化推理机制研究及其在服务组合中的应用国家自然基金项目

逻辑Petri网演化推理机制研究及其在服务组合中的应用

项目批准号： 61170078

批准年份： 2011

学科分类： F0201.计算机科学的基础理论

项目负责人：杜玉越

资助类别：面上项目

负责人职称：教授

依托单位：山东科技大学

资助金额： 57万元

关键词：动态链接;逻辑petri网;服务簇;融合推理;自适应性

起止时间： 2012-01-01到2015-12-31

中英文摘要
结题摘要
结题报告
项目成果
项目参与人

查看更多信息请先登录或注册

序号	标题	类型	作者
1	基于服务簇的最优Web服务组合路径获取方法	奖励
2	动态工作流的建模理论及方法	奖励	杜玉越\|曾庆田\|刘伟\|强海龙\|
3	Composition Patterns of Logical Net Elements	期刊论文	Wei Liu\|YuYue Du\|Liang Qi\|Chun Yan\|
4	一种基于场景的需求驱动构件服务聚集方法	期刊论文	袁萍萍\|蒋霞\|杜玉越\|
5	Web服务流程的结构健壮性与演化研究	奖励
6	A Service Selection Method Based on Web Service Clusters	期刊论文	Wei Liu\|Yu-Yue Du\|Chun Yan\|
7	The analysis and verification of cooperative workflow based interactive abstract graph	会议论文
8	Research on web3D in distributed monitoring and control systems	会议论文
9	逻辑Petri网分析方法及在Web服务组合中的应用	奖励
10	一种基于逻辑Petri网的Web服务簇组合方法	期刊论文	吴洪越\|杜玉越\|
11	一种面向聚类的语义Web服务发现方法	期刊论文	薛洁\|吴兵\|杜玉越\|
12	基于服务簇的Web服务绑定方法	期刊论文	宁玉辉\|杨栋\|杜玉越\|
13	An efficient algorithm of service discovery based on service clusters	期刊论文	Gai JunJing\|Du YuYue\|
14	Efficient data dissemination scheme for the urban vehicular ad hoc networks	期刊论文	Xingzhen Bai\|Yongfa Hong\|YuYue Du\|Zhengzhong Gao\|
15	Berth-Crane allocation model and algorithm of container berths in the uncertain environment	会议论文
16	Research on Web3D in Distributed Monitoring and Control Systems	会议论文
17	A vector matching method for analysing logic Petri nets	期刊论文	Du, YuYue\|Qi, Liang\|Zhou, MengChu\|
18	Service net algebra based on logic Petri nets	期刊论文	Qiang Hu\|YuYue Du\|ShuXia Yu\|
19	基于标号随机Petri网的GSM性能分析	期刊论文	沙静\|杜玉越\|
20	基于服务簇和QoS的Web服务组合方法	期刊论文	邓式阳\|杜玉越\|
21	Soundness analysis of logic service net based on service clusters	期刊论文	Du, YuYue\|Hu, Qiang\|
22	Composition Patterns of Logical Net Elements	期刊论文	Wei Liu\|Yuyue Du\|Liang Qi\|Chun Yan\|
23	The analysis and verification of cooperative workflow based interactive abstract graph	期刊论文	Jianxin Liu\|Linlin Sun\|Yuyue Du\|Yongfa Hong\|
24	A semantic approach of service clustering and web service discovery	期刊论文	Du, Yu Yue\|Zhang, Yong Jun\|Zhang, Xing Lin\|
25	An Approach of Data Mining Process Based on Stochastic Well-formed Workflows	期刊论文	Sha Jing\|Yuyue Du\|
26	面向服务簇的服务体系结构及服务发现	期刊论文	胡强\|杜玉越\|
27	Transformation of logical workflow nets	期刊论文	Liu, Wei\|Du, Yuyue\|Zhou, Mengchu\|Yan, Chun\|
28	流程交换重复偏差的识别方法	期刊论文	王瑞莹\|杜玉越\|
29	基于服务簇和QoS的Web服务组合方法	期刊论文	邓式阳\|杜玉越\|
30	一种最优校准的分组算法	期刊论文	田银花\|杜玉越\|
31	A logical Petri net-based model for web service cluster composition and soundness verification	期刊论文	Wu, Hongyue\|Yu, Shuxia\|Du, Yuyue\|
32	Cluster-Oriented Pattern of Web Service Composition	会议论文
33	工作流的建模与动态构建技术研究及应用	奖励	曾庆田\|张福新\|花嵘\|李鹏\|
34	An approach of Web service discovery and composition based on logic Petri nets	期刊论文	Shiyang Deng\|YuYue Du\|
35	一种基于校对的模型问题域识别方法	期刊论文	王路\|杜玉越\|
36	高速公路冰雪应急流程挖掘与模型改进方法	期刊论文	孙亚男\|杜玉越\|刘伟\|
37	医疗急诊流程挖掘与模型改进	期刊论文	高立哲\|杜玉越\|刘伟\|
38	Cluster-Oriented Pattern of Web Service Composition	会议论文
39	A Formal Representation of Collaborative Electronic Commerce Systems by Workflow Nets	期刊论文	Wei Liu\|YuYue Du\|You Fu\|Chun Yan\|
40	Service Composition Based on Semantic Vocabulary	会议论文
41	一种基于逻辑Petri网的Web服务簇组合方法	奖励
42	Three-dimensional granularity division method for service clusters	期刊论文	Qiang Hu\|YuYue Du\|
43	基于服务簇的服务组合替换与分析	期刊论文	杜玉越\|薛洁\|李彦成\|
44	Analysis and application of logical petri nets to E-commerce systems	期刊论文	Du YuYue\|Qi Liang\|Zhou MengChu\|
45	基于逻辑Petri网的Web服务簇模型	期刊论文	邓式阳\|杜玉越\|
46	An approach of Web service discovery and composition based on logic Petri nets	期刊论文	Shiyang Deng\|Yuyue Du\|
47	2014年山东省优秀博士学位论文	奖励
48	业务过程管理研究现状与关键技术综述	期刊论文	李洪霞\|杜玉越\|
49	Berth-Crane allocation model and algorithm of container berths in the uncertain environment	会议论文
50	Web服务集成形式化建模与分析技术研究	奖励
51	Structural Normal Form and its Testing Algorithm of Service process based on WS-BPEL	期刊论文	Qiang Hu\|Yuyue Du\|
52	一种基于服务簇网元模型的Web服务发现方法	期刊论文	栾文静\|杜玉越\|
53	Web服务流程的结构范式及其判定算法	期刊论文	胡强\|杜玉越\|杜军威\|
54	Service Composition Based on Semantic Vocabulary	会议论文
55	Web服务业务流程执行语言交互兼容性判定	期刊论文	胡强\|杜玉越\|
56	Property analysis of logic Petri nets by marking reachability graphs	期刊论文	Du, Yuyue\|Ning, Yuhui\|
57	A method to calculate recommendation trust of web services	期刊论文	Liu Wei\|Du Yu Yue\|Yan Chun\|Sha Jing\|
58	Transition firing rules of logic petri nets	期刊论文	Yu Yue Du\|Jing Wang\|Yong Feng Zhang\|
59	Colored Logic Petri Nets andAnalysis of Their Reachable Trees	期刊论文	Jing Wang\|YuYue Du\|ShuXia Yu\|
60	Reachability analysis of logic Petri nets using incidence matrix	期刊论文	Yu Yue Du\|Yu Hui Ning\|Liang Qi\|
61	基于服务簇的服务查找与替换	奖励
62	Petri-net modeling of container-port workflow	期刊论文	Liu, Jianxin\|Du, Yuyue\|Li, Peng\|Hong, Yongfa\|
63	Service Composition Based on Enhanced Logic Petri nets	期刊论文	YuHui Ning\|YuYue Du\|ShuXia Yu\|
64	逻辑Petri网的性质分析方法	奖励
65	A web service discovery and composition method based on service classes	期刊论文	Liu, Wei\|Du, Yuyue\|Yan, Chun\|
66	A Formal Representation of Collaborative Electronic Commerce Systems by Workflow Nets	期刊论文	Wei Liu\|Yuyue Du\|You Fu\|Chun Yan\|
67	分布式协同系统形式化模型及其应用研究	奖励
68	Transformation of Logical Workflow Nets	期刊论文	Liu, Wei\|Du, YuYue\|Zhou, MengChu\|Yan, Chun\|
69	Soundness preservation in composed logical time workflow nets	期刊论文	Wei Liu\|Yuyue Du\|Chun Yan\|
70	Cluster-oriented service composition modeling based on logical net units	会议论文	Liang Qi\|Yuyue Du\|Wenjing Luan\|
71	Web服务业务流程执行语言交互兼容性判定	期刊论文	胡强\|杜玉越\|
72	Properties analysis of substitution of logical workow nets	期刊论文	Liu Wei\|Du Yuyue\|Yan Chun\|
73	An approach of Web service discovery and composition based on logic Petri nets	会议论文

查看更多信息请先登录或注册

再问科研

相关项目

趋势报告

经验分享