摘要
CSP(通讯顺序进程)和B方法都是一种较好的用于实时控制系统构架分析的形式化方法,但是单独一种在描述实时控制系统构架时都存在不足。通过对CSP技术和B方法的研究,提出了一种能够描述分布式系统和实时控制系统的形式化方法—CSP-B,CSP-B集成了CSP技术和B方法,不仅具有CSP技术的特点,而且还有B方法的长处,并将CSP-B运用到证券分配系统中。
CSP （communication sequence process） is a kind of formal methods, which is used to describe concurrent systems. A formal method--CSP-B is proposed to describe the distributed system and the real-time control system. The method integrates the CSP technique and B method, which has the characteristics of CSP and advantages of B method. The paper gives the approach to combining CSP and B method, which is applied to a token distribution system.
出处
《浙江理工大学学报（自然科学版）》
2009年第4期557-560,618,共5页
Journal of Zhejiang Sci-Tech University(Natural Sciences)
