对中国计算机事业发展的若干思考

给出了１９９８年在上海交通大学举行的第７届全国青年计算机学术会议上青年计算机学者提出的一些当前中国计算机领域面临的问题以及对策。     

用进程代数描述面向电子商务的Agent模型

演算作为一种刻划通信系统的进程演算在刻划Agent间的交互时具有得天独厚的优势。该文用多价演算来描述面向电子商务的Agent间的通信流程，力图通过这种形式化的方法，清楚描述软件Agent在电子商务的交易过程中的重要作用，并对软件agent在电子商务中的实现有所帮助。     

XML-KLAIM语言的设计和实现

并发分布式系统已成为当前计算机技术的主流方向，主要介绍了移动代理协调语言KLAIM、XML及以XML为基础的体系结构以及XML-KLAIM的体系结构及XML-KLAIM的实现。     

移动进程演算中的开互模拟

该文就移动进程演算中的弱开同余关系进行了研究。文中考虑了一种简单的非确定性移动进程演算模型,证明了Milner的三条tau规则在有等名测试算子时不足以将强开同余关系的完全公理化系统提升到同余关系的完全公理化系统,文中提出了第四条tau规则,处理了在前缀操作下的等名测试算子,并证明了强开同余关系的完全公理化系统加上四条tau规则可得到弱开同余关系的完全公理化系统。该文的结论否定了关于Milner的三条tau规则足以将π－演算中的强同余关系的完全公理化系统提升到弱同余关系的完全公理化系统的猜想。     

A functional presentation of Pi calculus

From the very beginning process algebra introduced the dichotomy between channels and processes. This dichotomy prevails in all present process calculi. The situation is in contrast to that withlambda calculus which has only one class of entities-the lambda terms. We introduce in this papera process calculus called Lamp in which channels are process names. The language is more uniform than existing process calculi in two aspects-. First it has a unified treatment of channels and processes.There is only one class of syntactical entities-processes. Second it has a unified presentation ofboth first order and higher order process calculi. The language is functional in the sense that lambda calculus is functional. Two bisimulation equivalences, barbed and closed bisimilarities, are proved to coincide.A natural translation from Pi calculus to Lamp is shown to preserve both operational and algebraic semantics. The relationship between lazy lambda calculus and Lamp is discussed.     

X—演算与π—演算的语义比较研究

文章通过对Ｘ－演算与π－演算的进程中语法结构、操作语义、代数语义的比较,阐明了Ｘ－演算具有比π－演算更简洁的语法结构,更明确的操作语义、更直观的代数语义、更良好的代数性质,更强大的表达能力。并且给出了一个由π－演算到Ｘ－演算的翻译。     

χ-演算与π-演算的语义比较研究

Through the comparison of syntactic structure,operational semantics and algebraic semantics between χ-calculus and π-calculus, this paper concludes that χ-calculus has more succinct syntactic structure,more explicit operational semantics,more intuitionistic algebraic semantics and more favorable algebraic property. And a translation from π-calculus to χ-calculus is presented.     

软件工程向前走

随着现代工程科学的发展,软件工程同其他工程一样,进入了一个新的时期,软件工程学科也赋予了新的内涵。软件工程教育现状如何?有何特点?软件工程人才培养规格是什么?如何更好地设置软件工程教学计划和核心课程?怎样加强软件学院的合作办学和实践基地建设?本期我们有幸邀请到了国内著名的软件学院院长、专家、教授等,下面,就让我们听听来自第一线专家们对软件工程人才培养和软件学院建设独到的、精辟的见解。软件工程向前走@傅育熙 @李璞 @钱飒飒 @吴晓桃     

基于可达关系的安全协议保密性分析

借助形式化的方法或工具分析安全协议是非常必要而且行之有效的.进程演算具有强大的描述能力和严格的语义,能够精确刻画安全协议中各个参与者之间的交互行为.作者以进程演算为基础,嵌入消息推理系统以弥补进程演算固有的缺乏数据结构支持的特点,尝试地提出了一个基于可达关系的安全协议保密性分析模型.基于此模型,形式化地描述了安全协议的保密性,证明了一定限制条件下的可判定性.并且以TMN协议为例,给出了该模型的实例研究.     

软件配置管理及其实现

以软件配置项、基线、软件配置库、配置控制、配置审计、配置状态报告为基本点，定义了软件配置实施过程中的配置管理活动；进一步探索了将配置管理的理念纳入到工程实际中，通过配置管理工具Clearcase建立配置管理环境，结合Clearcase实施配置管理。