集成CCS和B语言的形式化方法  

A Formalized Method of Integrating CCS and B

作　　者：匡春临[1] 潘孝铭[1] 蒋胜利[2] 

机构地区：[1]华侨大学信息学院,福建泉州362021 [2]洛阳师范学院计算机系,河南洛阳471022

出　　处：《计算机工程与科学》2007年第11期102-104,共3页Computer Engineering & Science

基　　金：华侨大学高层次人才科研启动基金资助项目

摘　　要：本文尝试集成通信系统演算(CCS)和B语言,以扩展CCS在数据和操作定义方面的能力,以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面(结构、控制、数据和功能)和不同类型的系统(顺序、并发和分布式)。The paper attempts to integrate the calculus of communicating systems（CCS） and the B language in order to extend the ability of CCS in the defimtion of data and operations,and the ability of the B method in the description of concurrent systems. The formalized BCCS model after integration can describe and analyze the different aspects （structure, control, data and function） of a system,and different types （sequence, concurrence and distribution） of systems.

关 键 词：形式化方法 CCS 集成 

分 类 号：TP312[自动化与计算机技术—计算机软件与理论]