基于CSP的形式化方法研究

• 作者: 孙麒 张云华
• 来源期刊: 浙江理工大学学报
• 学科: 工学
• 关键词: CSP B方法 形式化方法 CSP-B
• 年，卷（期）: 2009,（4）
• 所属期刊栏目: 机电与信息科技
• 页码范围: 557-560,618
• 页数: 5页
• 分类号: TP301.2
• 字数: 2503字
• 语种: 中文
• DOI: 10.3969/j.issn.1673-3851.2009.04.017

摘要

CSP(通讯顺序进程)和B方法都是一种较好的用于实时控制系统构架分析的形式化方法,但是单独一种在描述实时控制系统构架时都存在不足.通过对CSP技术和B方法的研究,提出了一种能够描述分布式系统和实时控制系统的形式化方法-CSP-B,CSP-B集成了CSP技术和B方法,不仅具有CSP技术的特点,而且还有B方法的长处,并将CSP-B运用到证券分配系统中.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张云华	浙江理工大学信息电子学院	76	342	11.0	16.0
2	孙麒	浙江理工大学信息电子学院	42	99	5.0	8.0