metamodeling; formal semantics; refinement; model transformation; graph transformation;
机译:语义仿真模型工程的本体化元模型框架
机译:一个用于扩展基于过程的生态模型的应用领域的元模型框架
机译:描述语义Web服务的模型驱动方法:从UML到OWL-S
机译:Metamodeling数学:描述UML型号的语义域的精确和视觉框架
机译:用于自动验证UML设计模型的框架:应用于UML 2.0交互。
机译:指纹生物医学术语–通过UMLS语义组配置文件对生物医学词汇进行自动分类和可视化
机译:元模型数学:描述UmL模型语义域的精确可视框架