| 一个集成形式化模型及其操作语义 |
| |
| 引用本文： | 匡春临,匡国防.一个集成形式化模型及其操作语义[J].洛阳师范学院学报,2011,30(2):72-75. |
| |
| 作者姓名： | 匡春临 匡国防 |
| |
| 作者单位： | 洛阳师范学院信息技术学院,河南洛阳,471022 |
| |
| 摘 要： | 形式化方法在程序验证、模型检测的研究有着重要作用,集成形式化方法是形式化方法发展的一个方向.BCCS模型是集成B方法和进程代数CCS构建的一个混成模型,模型中给出了一个轻量级的描述语言,但缺少语义的支持.为了保证这个描述语言的完备性和一致性,本文则在传值CCS操作语义的基础上,结合B方法对抽象数据结构的定义、系统的限制以及功能处理,给出了BCCS的操作语义,进一步刻画BCCS模型.
|
| 关 键 词： | 形式化方法 BCCS模型 操作语义 |
An Integrated Formalized Model and Its Operational Semantics |
| |
| KUANG Chun-lin,KUANG Guo-fang.An Integrated Formalized Model and Its Operational Semantics[J].Journal of Luoyang Teachers College,2011,30(2):72-75. |
| |
| Authors: | KUANG Chun-lin KUANG Guo-fang |
| |
| Institution: | KUANG Chun-lin,KUANG Guo-fang (College of Information Technology,Luoyang Normal University,Luoyang 471022,China) |
| |
| Abstract: | |
| |
| Keywords: | formal method BCCS operational semantics |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
