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

ISSN1673—9418CODEN JKYTA8 JournalofFrontiersof Scienceand Computer Technology http：／／www．ceaj．org 1616056 1673-941812009／03(02)一0144—10 Tel：+86—10—5 DOI：10．37786．issn．1673-9418．2009．02．003 of on ects‘ Program：ExpressionsOperationsPhysicalObj YUAN Wenl·2’3 Yul’2一，ZHAO Chongyil”，HUANG of ConfidenceSoftware of of 1．KeyLaboratoryHigh TechnologiesMinistry Education，Peking 10087l，China 2．SchoolofElectronics and 10087 1，China EngineeringComputerScience，PekingUniversity，Beijing 3．National ResearchCenterforSoftware 100871，China Engineering Engineering，PekingUniversity，Beijing +Corresponding author：E-mail：hy@pku．edu．cn 程序：物理对象上的操作表达式‘ 袁崇义1一，黄雨12’3+，赵文1，2,3 1．教育部高可信软件技术重点实验室，北京100871 2．北京大学信息科学技术学院，北京100871 3．北京大学软件工程国家工程研究中心，北京100871 摘要：把赋值语句看作物理对象上的操作时，程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。 给出了定义O表达式语法的BNF公式，并用公理规定O表达式的语义。主动式的0表达式以计算最终结果为 目的，因而相关公理给出的是施行表达式中操作以后的变量与施行之前变量之间的准确依赖关系。反应式0 表达式要对外来需求作反应。描述反应的公理规定如何反应。有关通讯的公理要求正确的信息被正确的接受 者收到。共享变量公理则给出有关共享变量的性质判断。例子用于说明异步顺序O表达式的性质是如何分析的。 关键词：程序；物理对象；物理对象上的操作；物理对象上的操作表达式；语义公理 文献标识码：A 中图分类号：TP31l YUAN Yu·ZHAO of on Chongyi，HUANG Wen．Program：Expressionsoperationsphysical objects． ofFrontiersof Science Journal and Computer Technology，2009，3(2)：144—153． ·neNationalNaturalScience of FoundationChinaunderGra