| 本文已被：浏览 4204次 下载 5853次 |
码上扫一扫！ |
|
|
| 容错的网络声明式程序 |
|
汪芳1,2,3, Stéphane GRUMBACH4
|
|
1.中国联合网络通信集团有限公司研究院,北京 100048;2.中国科学院 软件研究所 计算机科学国家重点实验室,北京 100190;3.中国科学院 研究生院,北京 100049;4.Institut National de Recherche en Informatique et en Automatique, France
|
|
| 摘要: |
| 介绍了基于递归规则的网络声明式语言Netlog 的语法和分布式不动点语义,定义了强良好的程序,并证明了强良好的程序的计算结果对有限的消息丢失不敏感. |
| 关键词: 网络编程抽象 声明式语言 语法 语义 容错性 |
| DOI：10.3724/SP.J.1001.2012.04168 |
| 分类号: |
| 基金项目:国家自然科学基金(60833001); French Agence Nationale de la Recherche (ANR-09-BLAN-0131-01) |
|
| Fault Tolerant Network Declarative Programs |
|
WANG Fang1,2,3, Stéphane GRUMBACH4
|
|
1.China Unicom Research Institute, Beijing 100048, China;2.State Key Laboratory of Computer Science, Institute of Software, The Chinese Academy of Sciences, Beijing 100190, China;3.Graduate University, The Chinese Academy of Sciences, Beijing 100049, China;4.Institut National de Recherche en Informatique et en Automatique, France
|
| Abstract: |
| 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. |
| Key words: network programming abstraction declarative language syntax semantics fault tolerance |
