| C/ATLAS单动作测试语句实现的操作语义描述 |
| |
| 引用本文： | 郭德贵,刘磊,张晶.C/ATLAS单动作测试语句实现的操作语义描述[J].吉林大学学报(理学版),2008,46(1):55-61. |
| |
| 作者姓名： | 郭德贵 刘磊 张晶 |
| |
| 作者单位： | 吉林大学 计算机科学与技术学院, 长春 130012 |
| |
| 基金项目： | 吉林省科技发展计划项目基金（批准号：20050527）. |
| |
| 摘 要： | 针对C/ATLAS单动作信号语句的一个子集, 提出一种其实现过程的基于抽象机的形式化操作语义描述方法, 并分别给出了各单动作测试语句的状态转换规则. 根据该描述, 可较清晰地理解各单动作语句的功能及其制约关系. 由于该操作语义基于抽象机, 所以在此基础上可以很容易得到单动作信号语句的实现程序.
|
| 关 键 词： | ATLAS C/ATLAS 操作语义 单动作语句 |
| 文章编号： | 1671-5489（2008）01-0055-07 |
| 收稿时间： | 2007-03-08 |
| 修稿时间： | 2007年3月8日 |
Operational Semantics for Single-action Statements of C/ATLAS |
| |
| GUO De-gui,LIU Lei,ZHANG Jing.Operational Semantics for Single-action Statements of C/ATLAS[J].Journal of Jilin University: Sci Ed,2008,46(1):55-61. |
| |
| Authors: | GUO De-gui LIU Lei ZHANG Jing |
| |
| Institution: | College of Computer Science and Technology, Jilin University, Changchun 130012, China |
| |
| Abstract: | A formal operational semantics based on abstract machine is presented for the implementation of a subset of single-action signal oriented statements. State transforming regulations of every single-action testing statement is presented respectively. According to the semantics, the function of each single-action statement and the relation between them can be clearly understood. Furthermore an implement program of single-action statements can be made easily. |
| |
| Keywords: | ATLAS C/ATLAS operational semantics single-action statement |
| 本文献已被 维普 万方数据 等数据库收录！ |
| 点击此处可从《吉林大学学报(理学版)》浏览原始摘要信息 |
| 点击此处可从《吉林大学学报(理学版)》下载免费的PDF全文 |
