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

Software Specification Description and Analysis of Instance Based on CCS

作　　者：高春鸣[1,2] 黄园媛[1] 陈火旺[2] 

机构地区：[1]湖南师范大学数学与计算机科学学院,长沙410081 [2]国防科技大学计算机学院,长沙410073

出　　处：《计算机工程与应用》2005年第23期47-50,66,共5页Computer Engineering and Applications

基　　金：湖南省自然科学基金项目(编号:03JJY6023)

摘　　要：软件规范描述方法主要是软件工程化的UML方法与形式化方法二类方法。论文主要给出了基于CCS的软件规范描述,首先根据系统需求画出进程派生树和迁移图,再根据操作语义和系统约束条件得到进程表达式,并用Java语言实现了系统原型代码。笔者的工作证明了CCS具有细节化地描述系统内部状态,便于系统软件实现的能力;在手工转换进程迁移图到进程表达式的基础上,提出了自动转换的进一步研究思路。UML and formal method can describe software specification.The paper puts forward a formal method of software specification based on CCS.According to the requirement of system,the paper draws process derivation trees and transition graph.According to operation semantics and the system restriction,this paper uses Process Algebra expression to describe system and realizing prototype of system using Java.The result testifies CCS owns the ability of describing the state of system,and easily realizing the system.On the base of translating process transition graph into Process Algebra expression by hand,this paper puts forward the idea of translating between them automatically.

关 键 词：CCS 软件规范 进程迁移图 强互模拟 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]