基本图的图表示与项表示的相互转移算法

基本图是一种描述并发交互诉形式化方法,它具有描述简洁、清晰和直观的特点,在基本图中,进程以及进程间的交互行为,既可以用图表示方法（其中一个图对应一个进程,图之间的归约对应进程之间的交互行为）,又可以用项代数来表示,本文对基本图的图表示中进行了一些改动,并在此基础上给出了这两种表示方法之间的转换算法,同时实现了具有创建、编辑和转换功能的基本图规范描述工具。     

一个面向语义的解释器自动生成技术

本文给出从指称语义自动生成解释器后端的一种技术.解释器被表示成PASCAL_like形式.     

C_MPS的设计与实现

元程序设计系统是进行元程序设计的有效工具。C_MPS(CMetaProgra-mming System)是我们在PC机上开发的C语言的元程序设计系统,本文介绍了该系统的设计思想和实现技术。     

Monad的一种自动生成技术

Monad程序的核心是一组Monad定义.Monad定义分为MAP型和BIND型.如果在Monad库中已有所需要的Monad定义型,则可以直接使用,而不需要重新构造;否则,需要重新构造.但如果在Monad程序设计环境中增加从一类Monad构造另一类Monad的自动生成器,那么既方便了用户也扩充了1倍原有的Monad库.鉴于这种思想,用支持Monad程序设计的高阶函数语言Haskell实现了一个Monad的自动生成系统.另外,用户构造Monad不仅要花费较多的时间,而且写出的Monad多态函数往往不满足Monad所需满足的几条公理,因此,从这方面也可以看出,从一种类型的Monad自动产生另一种类型的Monad的重要意义.     

基于服务链的Web服务组合方法

以Web服务本体和领域本体为基础,采用服务轮廓的匹配算法,提出一种基于语义匹配的查找服务链的方法。使用这方法可以根据服务请求发现一个服务链,将这个服务链组合起来,可以满足请求者的需要。把本方法应用到一个具体的实例,说明本方法是怎样查找服务链的。     

用有向图实现的ATLAS编译系统中的设备分配

ATLAS是测试领域的流行语言，用其编写的测试程序可在任一个具体的自动化测试平台上工作。设备分配是每个ATLAS编译系统都要面临的任务之一。该文提出了将被测设备与自动化测试平台组成的系统看成是有向图，利用图的遍历算法来实现设备分配过程。     

语义转换--直接指称语义到接续指称语义

指称语义分为直接指称语义和接续指称语义，其中后一种语义描述的难度较大，给出了直接指称语义描述到接续指称语义描述的转换方法，这就使得这种语义转换的自动化成为可能．转换算法揭示了直接指称语义与接续指称语义之间的内在关系，同时也提供了写接续指称语义描述的有效方法．当需要检验同一种语言的直接指称语义描述和接续指称语义描述是否等价时，提供的技术是很有用的。     

LISP语言的增量式部分求值器

部分求值在软件优化中有着重要的作用，而增量式计算是避免重复计算的一种技术．本文基于部分求值和增量式计算的技术，实现了一个ＬＩＳＰ语言的增量武部分求值器，使得函数例化尽量在前次已经产生的剩余程序的基础上进行，从而很好地提高了效率．