随着计算机技术在尖端领域的应用,为了提高系统的安全性与可靠性,形式化方法得到长足的发展,也出现了许多优秀的形式化工具,例如,B、VDM、Z语言,还有诸如Petri网、CSP、CCS、时序逻辑语言(TSL)等工具。但是这些形式化工具功能单一,只适合描述系统的某些方面。针对这种情况,计算机科学界开始进一步研究各种不同的形式化方法的特点,并将它们综合起来,于是集成形式化方法成为现代形式化方法研究的一个重要方向。本文提出一种集成B语言和进程代数CCS的方法,构建一个混成模型:BCCS。这个模型借助B方法及语言来扩展CCS在数据和操作定义方面的能力,同时保留了CCS在描述并发系统方面的能力,因此混成后的形式化方法可以描述和分析系统的不同方面(结构,控制,数据和功能)和不同类型的系统(顺序,并发和分布式)。基于模型的需求和基于行为的需求是信息系统的两个重要刻面,和传统功能单一的形式化方法相比,BCCS模型统一了信息系统中这两个重要的刻面。为了给传值CCS提供丰富的表达式和通用的语法,在模型中我们还给出一个轻量级的描述语言,并通过其操作语义来保证这个描述语言的完备性和一致性,同时为在同一个模型内描述基于行为的需求和基于模型的需求提供了理论基础。另外,由于B方法的引入,其模块化技术使BCCS模型还可以描述大型复杂的系统。总之,BCCS模型实现了一种更具表达能力的形式化描述工具,可以从更多的刻面来描述大型复杂的系统。