-
题名基于CPN的发布/订阅系统的建模及分析
被引量:1
- 1
-
-
作者
朱连章
刘烦
-
机构
中国石油大学(华东)计算机与通信工程学院
-
出处
《计算机工程与设计》
CSCD
北大核心
2009年第4期845-848,共4页
-
文摘
提出了一种基于着色Petri网(CPN)的pub/sub系统协议分析方法。基于一种结构化P2P网络上的pub/sub系统协议,用着色Petri网对事件发布的消息处理进行建模和描述,并利用CPN tools对模型进行模拟仿真,通过对模型的可达图进行分析,表明了协议具有活性、可达性和有界性,验证了协议的可用性。
-
关键词
着色PETRI网
发布/订阅系统
发布事件
P2P
协议分析
-
Keywords
colored Petrinets (CPN)
publish/subscribe (pub/sub) system
publishing event
P2P
protocol analysis
-
分类号
TP39
[自动化与计算机技术—计算机应用技术]
-
-
题名发布/订阅系统事件匹配算法综述
- 2
-
-
作者
张志远
-
机构
中国民航大学计算机科学与技术学院
-
出处
《指挥信息系统与技术》
2022年第2期46-55,共10页
-
基金
空中交通管理系统与技术国家重点实验室开放基金(SKLATM201902)资助项目。
-
文摘
发布/订阅系统广泛应用于涉及消息发送和接收的业务,事件匹配算法是其中的关键问题。综述了基于内容和基于语义2类发布/订阅系统的事件匹配算法。对基于内容的发布/订阅系统中事件匹配算法进行了分类讨论,详细梳理了其索引结构的发展脉络,比较了各种算法的异同和优缺点。基于语义的发布/订阅系统具有更强的描述能力,简要介绍了其中的语义数据模型,详细对比了近年来提出的语义事件匹配算法,并对未来的研究方向进行了探讨和展望。
-
关键词
发布/订阅系统
事件匹配
区间索引
语义模型
语义匹配
-
Keywords
publish/subscribe(pub/sub)system
event matching
interval index
semantic model
semantic matching
-
分类号
TP391.3
[自动化与计算机技术—计算机应用技术]
-
-
题名基于CPN的pub/sub系统中事件订阅的分析
被引量:1
- 3
-
-
作者
郑香君
-
机构
中国石油大学(华东)图书馆技术发展部
-
出处
《科学技术与工程》
2008年第18期5196-5201,共6页
-
文摘
提出了一种基于着色petri网(CPN)理论的pub/sub系统协议分析方法,并就一种p2p网络之上的pub/sub系统协议,用CPN对系统中的订阅事件的消息处理进行形式化描述和建模。用CPN Tools对模型进行模拟仿真,通过对模型的可达图进行分析,证明了协议具有活性、可达性和有界性等,验证了协议的可用性。
-
关键词
PETRI网
发布/订阅系统
订阅事件
-
Keywords
colored petri nets (CPN) publish/subscribe (pub/sub) system publishing event
-
分类号
TP393.03
[自动化与计算机技术—计算机应用技术]
-