| 集成CCS和B语言的形式化方法 |
| |
| 引用本文： | 匡春临,潘孝铭,蒋胜利.集成CCS和B语言的形式化方法[J].计算机工程与科学,2007,29(11):102-104. |
| |
| 作者姓名： | 匡春临 潘孝铭 蒋胜利 |
| |
| 作者单位： | [1]华侨大学信息学院,福建泉州362021 [2]洛阳师范学院计算机系,河南洛阳471022 |
| |
| 基金项目： | 华侨大学校科研和教改项目 |
| |
| 摘 要： | 本文尝试集成通信系统演算（CCS）和B语言，以扩展CCS在数据和操作定义方面的能力，以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、控制、数据和功能）和不同类型的系统（顺序、并发和分布式）。
|
| 关 键 词： | 形式化方法 CCS 集成 |
| 文章编号： | 1007-130X（2007）11-0102-03 |
| 收稿时间： | 2007-03-29 |
| 修稿时间： | 2007-07-09 |
A Formalized Method of Integrating CCS and B |
| |
| KUANG Chun-lin,PAN Xiao-ming,JIANG Sheng-li.A Formalized Method of Integrating CCS and B[J].Computer Engineering & Science,2007,29(11):102-104. |
| |
| Authors: | KUANG Chun-lin PAN Xiao-ming JIANG Sheng-li |
| |
| Abstract: | |
| |
| Keywords: | formalized method CCS B integration |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机工程与科学》浏览原始摘要信息 |
|
点击此处可从《计算机工程与科学》下载全文 |
