论文部分内容阅读
混合仿真语言规范不仅要能够定义语言的语法,还要能够定义设计概念的语义规则。本体论能够为描述将语法和语义相结合的语言规范奠定基础。本文基于对混合系统的分析,提出了混合系统高级本体论HyHO,它包括在混合建模和仿真的不同领域都能通用的最基本的规范,主要包括时间、事件、状态等概念及其属性分析。通过HyHO能够研究混合系统的本质属性,确定先进仿真中混合系统的计算模型,以及模型的通用形式化方法,为混合仿真语言规范设计奠定了基础。