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

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

郭德贵, 刘磊, 张晶

吉林大学计算机科学与技术学院, 长春 130012

收稿日期:2007-03-08 修回日期:1900-01-01 出版日期:2008-01-26 发布日期:2008-01-26
通讯作者: 刘磊

Operational Semantics for Singleaction Statements of C/ATLAS

GUO Degui, LIU Lei, ZHANG Jing

College of Computer Science and Technology, Jilin University, Changchun 130012, China

Received:2007-03-08 Revised:1900-01-01 Online:2008-01-26 Published:2008-01-26
Contact: LIU Lei

摘要/Abstract

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

关键词: ATLAS, C/ATLAS, 操作语义, 单动作语句

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 under stood. Furthermore an implement program of single-action statements can be made easily.

Key words: ATLAS, C/ATLAS, operational semantics, singleaction statement

中图分类号:

TP301

郭德贵, 刘磊, 张晶. C/ATLAS单动作测试语句实现的操作语义描述[J]. J4, 2008, 46(01): 55-61.

GUO Degui, LIU Lei, ZHANG Jing. Operational Semantics for Singleaction Statements of C/ATLAS[J]. J4, 2008, 46(01): 55-61.

[1]	杨勇, 张磊, 曲福恒, 刘俊杰, 陈强. 基于最频繁项提取和候选集剪枝的THIMFUP算法[J]. 吉林大学学报(理学版), 2021, 59(3): 635-642.
[2]	李永丽, 王浩, 金喜子. 基于随机森林优化的自组织神经网络算法[J]. 吉林大学学报(理学版), 2021, 59(2): 351-358.
[3]	张强, 朱刘涛, 王颖. 基于文化混洗蛙跳算法求解连续空间优化问题[J]. 吉林大学学报(理学版), 2020, 58(6): 1443-1451.
[4]	陈静, 唐傲天, 刘震, 徐森, 曹晓聪. 一种基于Kriging模型加点策略的多目标粒子群优化算法[J]. 吉林大学学报(理学版), 2020, 58(5): 1159-1166.
[5]	董立岩, 修冠宇, 马佳奇. 基于权重调节和用户偏好的协同过滤算法[J]. 吉林大学学报(理学版), 2020, 58(3): 599-604.
[6]	王晓宇, 李闯, 王海燕. 一种生成不完备诊断模型的方法[J]. 吉林大学学报(理学版), 2019, 57(5): 1207-1213.
[7]	白云霄. 基于集合理论的求解Ramsey数算法[J]. 吉林大学学报(理学版), 2019, 57(3): 647-652.
[8]	董立岩, 王宇, 任怡, 李永丽. 基于矩阵分解和聚类的协同过滤算法[J]. 吉林大学学报(理学版), 2019, 57(1): 105-110.
[9]	杨雪, 董红斌, 董宇欣. 改进的量子粒子群优化算法对多维多选择背包问题的求解[J]. 吉林大学学报(理学版), 2018, 56(6): 1461-1468.
[10]	金晓民, 张丽萍. 基于最小生成树的多层次k-Means聚类算法及其在数据挖掘中的应用[J]. 吉林大学学报(理学版), 2018, 56(5): 1187-1192.
[11]	徐中宇, 苏明玉, 姚庆安. 基于改进PSO算法的混合核SVM算法[J]. 吉林大学学报(理学版), 2018, 56(3): 625-630.
[12]	欧阳丹彤, 罗知雨, 耿雪娜, 张立明. 分布式离散事件系统的安全可诊断性算法[J]. 吉林大学学报(理学版), 2018, 56(3): 594-600.
[13]	廖星星, 孙胜利, 金钢. 智能实验室物理实体的形式化方法[J]. 吉林大学学报(理学版), 2018, 56(2): 389-394.
[14]	张为民, 李坷露, 李永丽. 基于社交关系和条件补全的协同过滤推荐算法[J]. 吉林大学学报(理学版), 2017, 55(05): 1244-1248.
[15]	王多民, 刘淑芬. 一种使用log函数的新型修正激活单元LogReLU[J]. 吉林大学学报(理学版), 2017, 55(03): 617-622.