题目：面向服务描述语言SODL的编译执行与调试机制研究

面向服务描述语言(Service-Oriented Description Language, SODL)是根据面向服务架构(SOA)的协议特点，为满足协议规范的无二义性描述以及协议实现的正确性证明的需要，提出的一种Web服务协议语义的形式化表示模型，能够完整地刻画面向服务的企业级应用环境及服务基础设施所提供的逻辑功能和业务特性。SODL语言框架(SODL Framework)能够为基于SODL描述的面向服务架构下的协议执行过程提供调试支持和语义实现。 为了使SODL语言能够稳定高效的执行，本文通过研究程序语言编译和实现阶段涉及的基本方法和主要技术，设计实现了基于编译原理的SODL语言框架。在该平台中，集成开发环境为SODL语言提供可视化的开发和调试支持；SODL编译器通过对输入的原始描述文件进行词法分析、语法分析、语义分析和代码生成等处理过程，将协议描述逻辑转换为一组等价的目标指令序列形式；运行时环境从目标文件中读取该指令序列，按照指令操作码字段的含义依次对其进行分析和执行，从而完成基于SODL语言描述的协议功能，为面向服务架构下协议的可靠实现提供一种新的解决方案。 本文的主要贡献如下： 1.给出SODL语言框架(SODL Framework)的概念，采用混合实现方式为SODL语言提供一个基于编译技术的语言实现平台，进而定义目标指令集以及相应的目标文件组织结构。 2.设计了SODL语言编译器模型，分析了编译器的总体架构和功能组成，详细介绍了SODL编译器在词法分析、语法分析、语义分析和代码生成阶段的主要任务，重点阐述代码生成阶段的核心算法以及关键技术。 3.提出了SODL语言运行时环境模型，分析了运行时环境的体系结构并着重分析了目标指令序列在运行时环境中的执行过程；在此基础上，为SODL语言异常机制定义了编译期异常信息的表示形式，以及执行期异常情况处理逻辑。 4.设计实现了SODL集成开发环境，为SODL语言调试机制提出了松耦合的调试功能实现方法，明确了语言框架中各子系统之间的功能模块划分，为开发平台与实现平台各自的独立演化奠定了基础。