| 程序:物理对象上的操作表达式(英文) |
| |
| 引用本文： | 袁崇义,黄雨,赵文. 程序:物理对象上的操作表达式(英文)[J]. 计算机科学与探索, 2009, 3(2): 144-153. DOI: 10.3778/j.issn.1673-9418.2009.02.003 |
| |
| 作者姓名： | 袁崇义 黄雨 赵文 |
| |
| 作者单位： | 1. 教育部高可信软件技术重点实验室,北京,100871;北京大学信息科学技术学院,北京,100871
2. 教育部高可信软件技术重点实验室,北京,100871;北京大学信息科学技术学院,北京,100871;北京大学,软件工程国家工程研究中心,北京,100871 |
| |
| 基金项目： | 国家自然科学基金，国家高技术研究发展计划(863计划)，the National Research Foundation for Doctoral Program of Higher Education of China |
| |
| 摘 要： | 把赋值语句看作物理对象上的操作时,程序就呈现为物理对象上的操作构成的表达式(简称O表达式)。给出了定义O表达式语法的BNF公式,并用公理规定O表达式的语义。主动式的O表达式以计算最终结果为目的,因而相关公理给出的是施行表达式中操作以后的变量与施行之前变量之间的准确依赖关系。反应式O表达式要对外来需求作反应。描述反应的公理规定如何反应。有关通讯的公理要求正确的信息被正确的接受者收到。共享变量公理则给出有关共享变量的性质判断。例子用于说明异步顺序O表达式的性质是如何分析的。
|
| 关 键 词： | 程序 物理对象 物理对象上的操作 物理对象上的操作表达式 语义公理 |
| 修稿时间： | |
Program:Expressions of Operations on Physical Objects |
| |
| YUAN Chongyi,HUANG Yu,ZHAO Wen. Program:Expressions of Operations on Physical Objects[J]. Journal of Frontier of Computer Science and Technology, 2009, 3(2): 144-153. DOI: 10.3778/j.issn.1673-9418.2009.02.003 |
| |
| Authors: | YUAN Chongyi HUANG Yu ZHAO Wen |
| |
| Affiliation: | YUAN Chongyi1,2,HUANG Yu1,3,ZHAO Wen1,3 1.Key Laboratory of High Confidence Software Technologies of Ministry of Education,Peking University,Beijing 100871,China 2.School of Electronics Engineering , Computer Science,China 3.National Engineering Research Center for Software Engineering,China |
| |
| Abstract: | A program turns out to be an expression of operations on physical objects(operation expression or O_expression for short)when assignments are treated as operations on physical objects.BNF formulas are given to define O_expression syntax while axioms are proposed as semantics of O_expressions.An active O_expression computes some ultimate results.As such,an axiom for active O_expressions defines how a variable after the application of operations in an O_expression is precisely related to variables before the ... |
| |
| Keywords: | program physical object operation on physical object expression of operations on physical object semantic axiom |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《计算机科学与探索》浏览原始摘要信息 |
|
点击此处可从《计算机科学与探索》下载全文 |
|
