程序:物理对象上的操作表达式

• 作者: 袁崇义 赵文 黄雨
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 程序 物理对象 物理对象上的操作 物理对象上的操作表达式 语义公理
• 年，卷（期）: 2009,（2）
• 所属期刊栏目: 学术研究
• 页码范围: 144-153
• 页数: 10页
• 分类号: TP311
• 字数: 1150字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.2009.02.003

摘要

把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式).给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义.主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操作以后的变量与施行之前变量之间的准确依赖关系.反应式O表达式要对外来需求作反应.描述反应的公理规定如何反应.有关通讯的公理要求正确的信息被正确的接受者收到.共享变量公理则给出有关共享变量的性质判断.例子用于说明异步顺序O表达式的性质是如何分析的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	赵文		26	672	8.0	25.0
7	袁崇义		17	173	7.0	12.0
9	黄雨		8	20	3.0	4.0