论文部分内容阅读
本文尝试集成通信系统演算（CCS）和B语言，以扩展CCS在数据和操作定义方面的能力，以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、控制、数据和功能）和不同类型的系统（顺序、并发和分布式）。
集成CCS和B语言的形式化方法
【摘 要】
：
本文尝试集成通信系统演算（CCS）和B语言，以扩展CCS在数据和操作定义方面的能力，以及B方法在描述并发系统方面的能力。集成后的形式化模型BCCS可以描述和分析系统的不同方面（结构、
【机 构】
：
华侨大学信息学院,洛阳师范学院计算机系
【出 处】
：
计算机工程与科学
【发表日期】
：
2007年11期
【基金项目】
：
华侨大学高层次人才科研启动基金资助项目
其他文献
本文利用UML设计有限元后处理系统的框架模型,形成自带图形环境、能在多种集成开发环境中使用的统一功能性框架.该功能性框架通过分离图形处理和图形表现之间的关系,隐藏图形