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

摘要：

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

关键词：程序、物理对象、物理对象上的操作、物理对象上的操作表达式、语义公理

所属期刊栏目：3

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

资助基金：The National Natural Science Foundation of China under Grant No.60803014,60873061;the National High-Tech Research and Development Plan of China under Grant No.2006AA01Z160 国家高技术研究发展计划863;the National Research Foundation for Doctoral Program of Higher Education of China under Grant No.200800011017

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

页数：共10页

页码：144-153