| 基于CSP的形式化方法研究 |
| |
| 引用本文： | 孙麒,张云华. 基于CSP的形式化方法研究[J]. 浙江理工大学学报, 2009, 26(4) |
| |
| 作者姓名： | 孙麒 张云华 |
| |
| 作者单位： | 浙江理工大学信息电子学院,杭州,310018 |
| |
| 摘 要： | CSP(通讯顺序进程)和B方法都是一种较好的用于实时控制系统构架分析的形式化方法,但是单独一种在描述实时控制系统构架时都存在不足.通过对CSP技术和B方法的研究,提出了一种能够描述分布式系统和实时控制系统的形式化方法-CSP-B,CSP-B集成了CSP技术和B方法,不仅具有CSP技术的特点,而且还有B方法的长处,并将CSP-B运用到证券分配系统中.
|
| 关 键 词： | B方法 形式化方法 |
Study of a Formal Method Based on CSP |
| |
| SUN Qi,ZHANG Yun-hua. Study of a Formal Method Based on CSP[J]. Journal of Zhejiang Sci-tech University, 2009, 26(4) |
| |
| Authors: | SUN Qi ZHANG Yun-hua |
| |
| Abstract: | |
| |
| Keywords: | CSP CSP-B |
| 本文献已被 万方数据 等数据库收录！ |
|
