C/ATLAS单动作测试语句实现的操作语义描述

摘要：

针对C/ATLAS单动作信号语句的一个子集,提出一种其实现过程的基于抽象机的形式化操作语义描述方法,并分别给出了各单动作测试语句的状态转换规则.根据该描述,可较清晰地理解各单动作语句的功能及其制约关系.由于该操作语义基于抽象机,所以在此基础上可以很容易得到单动作信号语句的实现程序.

关键词：ATLAS、C/ATLAS、操作语义、单动作语句

所属期刊栏目：46

分类号：TP301(计算技术、计算机技术)

在线出版日期：2008-04-28（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：55-61