| 基于CCS的软件规范描述及实例研究 |
| |
| 引用本文： | 高春鸣,黄园媛,陈火旺.基于CCS的软件规范描述及实例研究[J].计算机工程与应用,2005,41(23):47-50,66. |
| |
| 作者姓名： | 高春鸣 黄园媛 陈火旺 |
| |
| 作者单位： | 1. 湖南师范大学数学与计算机科学学院,长沙,410081;国防科技大学计算机学院,长沙,410073
2. 湖南师范大学数学与计算机科学学院,长沙,410081
3. 国防科技大学计算机学院,长沙,410073 |
| |
| 基金项目： | 湖南省自然科学基金项目（编号：03JJY6023） |
| |
| 摘 要： | 软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述,首先根据系统需求画出进程派生树和迁移图,再根据操作语义和系统约束条件得到进程表达式,并用Java语言实现了系统原型代码。笔者的工作证明了CCS具有细节化地描述系统内部状态,便于系统软件实现的能力;在手工转换进程迁移图到进程表达式的基础上,提出了自动转换的进一步研究思路。
|
| 关 键 词： | CCS 软件规范 进程迁移图 强互模拟 |
| 文章编号： | 1002-8331-（2005）23-0047-04 |
| 收稿时间： | 2005年3月 |
| 修稿时间： | 2005年3月 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
