摘要
提出了一种基于着色petri网(CPN)理论的pub/sub系统协议分析方法,并就一种p2p网络之上的pub/sub系统协议,用CPN对系统中的订阅事件的消息处理进行形式化描述和建模。用CPN Tools对模型进行模拟仿真,通过对模型的可达图进行分析,证明了协议具有活性、可达性和有界性等,验证了协议的可用性。
Along with the distributed systems being extensively into use, especially content-based publish/subscribe systems over structured P2P networks are considered by more and more people. For the dispersion control, the fault-tolerant ability as well as self-organization of P2P technology, it will bring to the publish/subscribe systems strong fault-tolerant ability and reliability of transmission if publish/subscribe systems are combined with the P2P technology. And Colored Petri Nets (CPN) is well suited for modeling and analyzing large and complex systems for importing some concepts such as colored sets, and the data of the communication is multiplex and complex in pub- lish/subscribe systems, the process of a subscribing event is modeled into a CPN, in which the process of an event from being subscribed to being received is described in detail. Then the CPN model is analyzed by means of simulation, state spaces etc using the CPN tools. At last, the result and the next work are given.
出处
《科学技术与工程》
2008年第18期5196-5201,共6页
Science Technology and Engineering
关键词
PETRI网
发布/订阅系统
订阅事件
colored petri nets (CPN) publish/subscribe (pub/sub) system publishing event