期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于CPN的pub/sub系统中事件订阅的分析 被引量：1

Modeling the Process of Subscribing Event in Publish/subscribe Systems Based on Colored Petri Nets
下载PDF
导出
摘要 提出了一种基于着色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
分类号 TP393.03 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献6

  • 1马建刚,黄涛,汪锦岭,徐罡,叶丹.面向大规模分布式计算发布订阅系统核心技术[J].软件学报,2006,17(1):134-147. 被引量：128
  • 2[2]Triantafillou P,Aekaterinidis I,Content-based publish-subscribe over structured P2P networks.In:Proceedings of the 3rd International workshop on Distributed event-based systems (DEBS'04),2004
  • 3[3]Terpstra W W,Behnel S,Fiege L,et al.A peer-to-peer approach to content-based publish/subscribe.In:Proceedings of the 2nd international workshop on Distributed Event-Based systems.DEBS 2003,2003
  • 4罗军舟,seu.edu.cn,沈俊,顾冠群.从Petri网到形式描述技术和协议工程[J].软件学报,2000,11(5):606-615. 被引量：41
  • 5[5]刘靖,叶新铭.基于 Colored Petri网的安全协议描述和验证.计算机科学,2006;036 Wang Jinling,Jin Beihong,Wei Jun,et al.A reliable content-based routing protocol over structured peer-to-peer networks.In:Proceedings of the 11th International Conference on Cooperative Information Systems,Springer LNCS 3290,2004;373-390
  • 6[8]Jensen K.An introduction to the practical use of coloured petri nets http://www.daimi.au.dk/~kjensen/papers books/use.pdf9 Roubtsova E E.Property specification for co1oured petri nets.systems Man and Cybernetics,2004; vol.3:10-13

二级参考文献54

  • 1Peng F, Chawathe SS. XPath queries on streaming data. In: Prec. of the ACM SIGMOD Int'l Conf. on Management of Data. New York: ACM Press, 2003.431-442.
  • 2Carzaniga A, Rosenblum DS, Wolf AL. Design and evaluation of a wide-area event notification service. ACM Trans. on Computer Systems, 2001,19(3):332-383.
  • 3Cugola G, Nitto ED, Fuggetta A. The JEDI event-based infrastructure and its application to the development of the OPSS WFMS IEEE Trans. on Software Engineering, 2001,27(9):827-850.
  • 4Muhl G. Large-Scale content-based publish/subscribe systems [Ph.D. Thesis]. Darmstadt University of Technology, 2002.
  • 5Wang C, Carzaniga A, Evans D, Wolf AL. Security issues and requirements for Intcrnet-scale publish-subscribe systems. In: Proc.of the 35th Hawaii Int'l Conf. on System Sciences. Washington: IEEE Computer Society, 2002. 303-310.
  • 6Miklos Z. Towards an access control mechanism for wide-area publish/subscribe systems. In: Proc. of the 22nd Int'l Conf. on Distributed Computing Systems, Workshops. Washington: IEEE Computer Society, IEEE Press, 2002. 516-524.
  • 7Belokosztolszki A, Eyers DM, Pietzuch PR. Role-Based access control for publish/subscribe middleware architectures, in: Jacobsen HA, ed. Proc. of the 2nd Int'l Workshop on Distributed Event-Based Systems. New York: ACM Press, 2003.
  • 8Fiege L, Zeidler A, Buchmann A, Kilian-Kehr R, Muhl G. Security aspects in publish/subscribe systems. In: Prec. of the 3rd Int'l Workshop on Distributed Event-Based Systems. Edinburgh: IEEE Computer Society, 2004.
  • 9Rowstron A, Kermarrec AM, Castro M, Druschel P. SCRIBE: The design of a large-scale event notification infrastructure. In: Proc.of the 3rd Int'l Workshop on Networked Group Communication. London: Springer-Verlag, 2001.30-43.
  • 10Pietzuch PR. Hermes: A scalable event-based middleware [Ph.D. Thesis]. University of Cambridge, 2004.

共引文献166

同被引文献7

  • 1马建刚,黄涛,汪锦岭,徐罡,叶丹.面向大规模分布式计算发布订阅系统核心技术[J].软件学报,2006,17(1):134-147. 被引量：128
  • 2Alloy Community. http://Alloy.mit.edu/community/, 2010-4.
  • 3Alberto Schaeffer Filho, Emil Lupu, Morris Sloman, Susan Eisenbach. Verification of Policy-based Self-Managed Cell Interactions Using Alloy. 10th IEEE International Symposium on Policies for Distributed Systems and Networks (Policy), IEEE, 2009-07.
  • 4Jin Song Dong, Jing Sun, Hai Wang. Checking and Reasoning about Semantic Web through Alloy. 12th International Formal Methods Europe Symposium (FME'03), LNCS, Springer-Verlag, pages 796-813, Pisa, Italy, September 2003.
  • 5Eugster PT, Felber PA, Guerraoui R, Kermarrec AM. The many faces of publish/subscribe. ACM Computing Surveys, 2003,35(2): 114-131.
  • 6David Garlan, Serge Khersonsky, and Jung Soo Kim. Model Checking Publish-Subscribe Systems. 10th International SPIN Workshop on Model Checking of Software (SPIN 03) May, 2003, Portland, Oregon.
  • 7林惠民,张文辉.模型检测:理论、方法与应用[J].电子学报,2002,30(12A):1907-1912. 被引量：163

引证文献1

科学技术与工程
2008年 第18期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部