| 行为时序逻辑中公平性的研究与完善 |
| |
| 引用本文： | 唐郑熠,李均涛,李祥.行为时序逻辑中公平性的研究与完善[J].计算机应用研究,2010,27(5):1788-1790. |
| |
| 作者姓名： | 唐郑熠 李均涛 李祥 |
| |
| 作者单位： | 贵州大学,计算机软件与理论研究所,贵阳,550025 |
| |
| 摘 要： | 基于行为时序逻辑(TLA)的并发系统描述，就是对系统的初始状态、系统行为和行为的公平性进行规约和描述,但TLA中的公平性具有局限性，无法准确地描述某些系统的行为，从而限制了TLA的描述能力。通过研究TLA中公平性的推导过程，分析公平性的概念与定义方法，并以实际例子说明它的局限性。在此基础上，提出以加入两级新的公平性方式对其进行完善。最后，证明了新公平性等级之间的蕴涵关系。完善后的公平性具有更强的描述能力，能够对系统进行更完整的描述与规约。
|
| 关 键 词： | 行为时序逻辑 公平性 并发系统 系统描述 蕴涵关系 |
Research and improvement of fairness in temporal logic of actions |
| |
| TANG Zheng-yi,LI Jun-tao,LI Xiang.Research and improvement of fairness in temporal logic of actions[J].Application Research of Computers,2010,27(5):1788-1790. |
| |
| Authors: | TANG Zheng-yi LI Jun-tao LI Xiang |
| |
| Affiliation: | Institute of Computer Software & Theory/a>;Guizhou University/a>;Guiyang 550025/a>;China |
| |
| Abstract: | |
| |
| Keywords: | |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《计算机应用研究》浏览原始摘要信息 |
|
点击此处可从《计算机应用研究》下载全文 |
