基于CCS的软件规范描述及实例研究

• 作者: 陈火旺 高春鸣 黄园媛
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: CCS 软件规范 进程迁移图 强互模拟
• 年，卷（期）: 2005,（23）
• 所属期刊栏目: 学术探讨
• 页码范围: 47-50,66
• 页数: 5页
• 分类号: TP311
• 字数: 6108字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.23.014

摘要

软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法.论文主要给出了基于CCS的软件规范描述,首先根据系统需求画出进程派生树和迁移图,再根据操作语义和系统约束条件得到进程表达式,并用Java语言实现了系统原型代码.笔者的工作证明了CCS具有细节化地描述系统内部状态,便于系统软件实现的能力;在手工转换进程迁移图到进程表达式的基础上,提出了自动转换的进一步研究思路.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	高春鸣	湖南师范大学数学与计算机科学学院	44	368	12.0	17.0
3	陈火旺	国防科技大学计算机学院	56	1155	18.0	33.0
4	黄园媛	湖南师范大学数学与计算机科学学院	3	28	2.0	3.0