Unified Modeling Language; computer animation; formal specification; graph grammars; program visualisation; GenGED; UML class; UML model translation; UML object; UML state diagrams; UML use-case; animated simulation; domain-specific layout; graph transformation; integ;
机译:从动画视觉语言的行为模型到基于图转换的编辑环境
机译:图转换在UML模型的动态行为建模和验证中的使用
机译:基于图变换的UML和彩色Petri网集成建模与分析方法
机译:基于图变换的集成UML行为模型的动画仿真
机译:从UML模型到LQN性能模型的基于XMI的转换。
机译:通过大都会社交网络对传染病信息和预防行为的三重扩散进行建模-基于代理的模拟
机译:基于图变换的集成UML行为模型的动画仿真
机译:基于fUmL的可执行体系结构建模与仿真。