多领域建模语言Modelica类型解析研究与实现  

Design and Implementation of Type Parsing for Multi-domain Modeling Language Modelica

作　　者：吴民峰[1] 吴义忠[1] 周凡利[1] 陈立平[1] 

机构地区：[1]华中科技大学国家企业信息化应用支撑软件工程技术研究中心,武汉430074

出　　处：《计算机工程与应用》2006年第25期80-83,共4页Computer Engineering and Applications

基　　金：国家863高技术研究发展计划资助项目(编号:2003AA001031);国家973重点基础研究发展规划资助项目(编号:2003CB716207);国家自然科学基金资助项目(编号:60574053)

摘　　要：类型解析是编译器开发的一项重要工作,也是语义分析的一个最重要组成部分。基于Modelica建模语言,研究了编译器类型系统的作用域、类型检查等关键技术,提出了类型系统的解析和查找机制,实现了类型检查及错误处理机制,并在多领域物理系统建模与仿真平台MWorks系统中得到应用。Type parsing is an important work during compiler developing and one of the most important compositions of semantic parsing.Based on the Modelica language,we have studied the key technics of scope and type checking, provided a scheme for type system parsing and lookup,and implemented the scheme for type checking and error solution,and appied in the Multi-domain unified modeling and simulating platform MWorks.

关 键 词：类型系统 MODELICA 多领域 建模语言 

分 类 号：TP391[自动化与计算机技术—计算机应用技术]