用于目标机描述的元对象Petri网模型

目标机描述是实现编译程序等系统级软件工具可重定向性的核心环节。现代计算机系统结构呈多样化、复杂化的发展趋势，这对目标机描述语言在灵活性、正确性、功效性和易用性等方面提出了更高的要求。.元对象Petri网模型是具有元编程能力的对象Petri网模型。本项目旨在研究基于这种模型的目标机描述方法，服务于可重定向编译程序的构造。该模型可将目标机的结构特征和行为特征融合在一起，易于描述并发性，资源的流动、依赖与共享，以及可重构性等现代及未来计算机系统结构的重要方面，具备有效的行为模拟、分析和验证能力，以及灵活、动态的重构信息和评测信息的定义能力，并具有良好的可复用性。.研究内容可概括为：（1）核心理论研究：面向上述目标的元对象Petri网模型，该模型的行为模拟、分析和验证方法，代码生成、调度和优化相关信息的获取方法；（2）辅助原型系统：目标机描述语言的设计与实现，相关的工具；（3）实例研究。