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