Modelyze:一种基于嵌入方程建模语言的渐进类型的主机语言
Modelyze: a Gradually Typed Host Language for Embedding Equation-Based Modeling Languages
关键词:方程建模语言;网络物理系统;建模;仿真
摘 要:Equation-based modeling languages provide an effective means to simulate the physical part of a cyber-physical system. Such languages are complex domain-specific languages that enable model engineers, such as mechanical engineers, to declaratively model the dynamics of systems.We evaluate this approach by embedding a series of equation-based modeling languages in Modelyze and using them to develop models.