Graph transformation; Timed execution; Concurrency; Reconfiguration; Verification;
机译:使用图转换系统的基于模型的VoIP网络重配置仿真
机译:通过图形转换和模型检查来验证嵌入式系统的分布式实时属性
机译:基于组件的系统使用曲线图转换重新配置<重点类型=“斜体”> Groove Emphasis>
机译:建模实时重配置的持久图转换规则
机译:从UML + MARTE到核心方案模型的基于规则的模型转换。
机译:用于基于规则的生化系统建模的层次图
机译:通过基于规则表达式的优化,通过模块化图变换对分布式系统进行建模
机译:可靠实时系统动态重构的建模与分析