| CSCW时序逻辑模型交互行为的正确性研究 |
| |
| 引用本文： | 张俊彩,余镇危,潘耘.CSCW时序逻辑模型交互行为的正确性研究[J].计算机工程与应用,2003,39(5):121-123. |
| |
| 作者姓名： | 张俊彩 余镇危 潘耘 |
| |
| 作者单位： | 中国矿业大学研究生院,北京,100083 |
| |
| 摘 要： | 正确性是软件系统最重要的质量因素。CSCW的时序逻辑模型全面地描述了CSCW系统的行为,较好地实现了CSCW的系统要求。文章在XYZ系统的框架内,从CSCW时序逻辑模型交互行为中每一个进程的正确性和交互行为并发性的正确性两个方面,对CSCW的时序逻辑模型交互行为描述的正确性进行了论证,这为CSCW时序逻辑模型的实现奠定了坚实的基础。
|
| 关 键 词： | CSCW 正确性证明 XYZ/E 时序逻辑 |
| 文章编号： | 1002-8331-(2003)05-0121-03 |
| 修稿时间： | 2002年1月1日 |
Study on Correctness of Interaction of Temporal Logic Mode of CSCW |
| |
| Zhang Juncai Yu,Zhenwei Pan Yun.Study on Correctness of Interaction of Temporal Logic Mode of CSCW[J].Computer Engineering and Applications,2003,39(5):121-123. |
| |
| Authors: | Zhang Juncai Yu Zhenwei Pan Yun |
| |
| Abstract: | The correctness is the most momentous quality element in software system.The temporal logic mode of CSCW completely describes the action of CSCW system and better realises the need of CSCW system.The paper discusses the correctness of each process and the correctness of the intercurrent process in the interaction of temporal logic mode of CSCW in the frame of XYZ system.This establishes the massive base for the reality of the temporal logic mode of CSCW. |
| |
| Keywords: | CSCW Proof of the correctness XYZ/E Temporal logic |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
