J4 ›› 2007, Vol. 29 ›› Issue (11): 102-104.
• 论文 • 上一篇 下一篇
匡春临[1] 潘孝铭[1] 蒋胜利[2]
出版日期:
发布日期:
Online:
Published:
摘要：
本文尝试集成通信系统演算（CCS）和B语言，以扩展CCS在数据和操作定义方面的能力，以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、控制、数据和功能）和不同类型的系统（顺序、并发和分布式）。
关键词: 形式化方法 CCS 集成
Abstract:
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 descri be and analyze the different aspects （structure, control, data and function） of a system,and different types （sequence, concurrence and distribution） of systems.
Key words: （formalized method, CCS, B, integration）
匡春临[1] 潘孝铭[1] 蒋胜利[2]. 集成CCS和B语言的形式化方法[J]. J4, 2007, 29(11): 102-104.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y2007/V29/I11/102
