福建省自然科学基金(A030007)
- 作品数：2 被引量：1H指数：1
- 相关作者：赵致琢李慧琪蔡媛媛更多>>
- 相关机构：厦门大学仰恩大学更多>>
- 发文基金：福建省自然科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 分布式容错计算描述语言及其应用研究
- 2016年
- 在设计分布式容错系统的架构时,不仅要控制所有组件正常运行时的标准系统活动,还要控制某个组件失效时的情形。在传统的分布式容错系统设计中,这两者的模块实现往往具有紧密的耦合性,这为大型分布式容错系统的理解、设计、开发与维护增加了难度。为了解决这个问题,提出了一种新的方法,参考Hoare的通信顺序进程理论,使用维也纳定义语言元语言来定义这样一种描述语言:它不仅能够描述分布式计算的并发现象,还能够独立刻画系统的容错行为。这种解决方案体现了现代编程语言走向抽象化的必然趋势,也为分布式容错计算研究领域的发展提供了一种新的思路。
- 蔡媛媛赵致琢
- 逻辑语言剪枝算子的过程语义及其实现被引量：1
- 2011年
- 论述了逻辑程序设计中剪枝算子的作用及传统剪枝算子的过程性语义和说明性语义不一致问题;介绍了新型逻辑程序语言Gdel中的commit剪枝算子;通过引入一组定义描述其过程语义,并进一步阐述了剪枝算子和延迟计算规则之间的关系,讨论了Gdel语言的剪枝策略及控制机制,从而为逻辑程序语言的实现提供了依据。
- 李慧琪赵致琢
- 关键词：逻辑程序设计
