容错的网络声明式程序
Fault Tolerant Network Declarative Programs
摘要
介绍了基于递归规则的网络声明式语言Netlog的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感.
This paper introduces the syntax and the distributed fixpoint semantics of a rule-based declarative language, Netlog. The strongly well-behaved programs were defined, which were proven insensitive to bounded message loss.
出处
《软件学报》
EI
CSCD
北大核心
2012年第8期1992-2001,共10页
Journal of Software
基金
国家自然科学基金(60833001)
French Agence Nationale de la Recherche(ANR-09-BLAN-0131-01)
关键词
网络编程抽象
声明式语言
语法
语义
容错性
network programming abstraction
declarative language
syntax
semantics
fault tolerance
参考文献21
-
1Marron J, Minder D. Embedded WiSeNts Research Roadmap. Berlin: Springer-Verlag, 2006.
-
2Fung WF, Sun D, Gehrke J. Cougar: The network is the database. In: Proc. of the SIGMOD Conf. 2002. 621. [doi: 10.1145/564691 564775].
-
3Demers AJ, Gehrke J, Rajaraman R, Trigoni A, Yao Y. The cougar project: A work-in-progress report. SIGMOD Record, 2003 32(4):53-59. [doi: 10.1145/959060.959070].
-
4Madden S, Franklin MJ, Hellerstein JM, Hong W. Tinydb: An acquisitional query processing system for sensor networks. ACM Trans. on Database Systems, 2005,30(1):122 -173. [doi: 10.1145/1061318.1061322].
-
5Srivastava U, Munagala K, Widom J. Operator placement for in-network stream query processing. In: Proc. of the 24th ACM Syrup. on Principles of Database Systems. 2005. 250-258. [doi: 10.1 145/1065167.1065199].
-
6Jeffery SR, Alonso G, Franklin M J, Hong W, Widom J. Declarative support for sensor data cleaning, pervasive computing. In: Proc. of the 4th Int'l Conf. 2006. 83-100. [doi: 10.1007/11748625_6].
-
7Loo BT, Condi T, Hellerstein JM, Maniatis P, Roscoe T, Stoica I. Implementing declarative overlays. In: Proc. of the 20th ACM Symp. on Operating Systems Principles. Brighton, 2005.75-90. [doi: 10.1145/1095810.1095818].
-
8Loo BT, Hellerstein JM, Stoica I, Ramakrishnan R. Declarative routing: Extensible routing with declarative queries. In: Proc. of the ACM SIGCOMM 2005 Conf. on Applications, Technologies, Architectures, and Protocols for Computer Communications. Philadelphia, 2005.289-300. [doi: 10.1145/1080091.1080126].
-
9Abiteboul S, Abrams Z, Haar S, Milo T. Diagnosis of asynchronous discrete event systems: Datalog to the rescue! In: Proc. of the 24th ACM SIGACT-SIGMOD-SIGART Symp. on Principles .of Database Systems. Baltimore, 2005. 358-367. Idol: 10.1145/ 1065167.1065214.
-
10Reiss F, Hellerstein JM. Declarative network monitoring with an underprovisioned query processor. In: Proc. of the ICDE. 2006. 56. [doi: 10.1109/ICDE.2006.46].
-
1蒋川群.知识库系统的可终止性与正确性问题[J].上海第二工业大学学报,1989,6(2):63-66.
-
2齐欣,曲文武.宣告式网络程序设计语言比较研究[J].计算机科学,2010,37(11):59-63. 被引量：1
-
3霍纬纲,肖元枝.一种求解递归规则的有效算法[J].中国民航学院学报,2005,23(2):22-26.
-
4袁军,陈栋,王能斌.线性递归规则的并行计算方法[J].计算机研究与发展,1996,33(8):608-613. 被引量：1
-
5邓楠轶,张兴兴,李永明.广义可能性计算树逻辑的不动点语义[J].陕西师范大学学报（自然科学版）,2015,43(4):22-27. 被引量：1
-
6周勇,朱梧.多agent逻辑程序及其在协议验证中的应用[J].小型微型计算机系统,2007,28(1):54-57.
-
7朱晓冬,彭大威.基于逻辑的数据模型中非递归规则的求值[J].吉林工业大学学报,1997,27(4):70-74.
-
8孔俊俊,郭耀,陈向群,邵维忠.一种基于智能物体的物联网系统及应用开发方法[J].计算机研究与发展,2013,50(6):1198-1209. 被引量：11
-
9冯润明,王国玉,黄柯棣.TENA中间件的设计与实现[J].系统仿真学报,2004,16(11):2373-2377. 被引量：23
-
10陶世群.一个线性递归查询算法的设计与实现[J].计算机工程与设计,2004,25(12):2301-2304.
