吉林大学学报(理学版)
吉林大學學報(理學版)
길림대학학보(이학판)
JOURNAL OF JILIN UNIVERSITY(SCIENCE EDITION)
2008年
1期
55-61
,共7页
ATLAS%C/ATLAS%操作语义%单动作语句
ATLAS%C/ATLAS%操作語義%單動作語句
ATLAS%C/ATLAS%조작어의%단동작어구
针对C/ATLAS单动作信号语句的一个子集,提出一种其实现过程的基于抽象机的形式化操作语义描述方法,并分别给出了各单动作测试语句的状态转换规则.根据该描述,可较清晰地理解各单动作语句的功能及其制约关系.由于该操作语义基于抽象机,所以在此基础上可以很容易得到单动作信号语句的实现程序.
針對C/ATLAS單動作信號語句的一箇子集,提齣一種其實現過程的基于抽象機的形式化操作語義描述方法,併分彆給齣瞭各單動作測試語句的狀態轉換規則.根據該描述,可較清晰地理解各單動作語句的功能及其製約關繫.由于該操作語義基于抽象機,所以在此基礎上可以很容易得到單動作信號語句的實現程序.
침대C/ATLAS단동작신호어구적일개자집,제출일충기실현과정적기우추상궤적형식화조작어의묘술방법,병분별급출료각단동작측시어구적상태전환규칙.근거해묘술,가교청석지리해각단동작어구적공능급기제약관계.유우해조작어의기우추상궤,소이재차기출상가이흔용역득도단동작신호어구적실현정서.