一句话：针对模型驱动工程中模型必须符合元模型抽象语法的问题，提出事后类型化（a posteriori typing）思路。
模型驱动工程（MDE）将模型积极用于系统的规约、测试、仿真、分析与维护。模型可用 UML 等通用建模语言定义，但特定领域广泛使用领域特定语言（DSL）。无论采用何种方式，模型都必须符合定义其抽象语法的元模型。本文关注该约束下的类型化问题，提出“事后类型化”（a posteriori typing）的概念与方法：不预设模型类型，而是在模型已存在之后进行类型赋予或类型检查，以支持模型与元模型的一致性。摘要仅给出背景和问题设定，未展开具体算法、案例或实验评估。
Model-Driven Engineering (MDE) is a software engineering paradigm where models are actively used to specify, test, simulate, analyse and maintain the systems to be built, among other activities. Models can be defined using general-purpose modelling languages like the UML, but for particular domains, the use of domain-specific languages is pervasive. Either way, models must conform to a meta-model which defines their abstract syntax.
DOI 原文 ·
@inproceedings{paperbot4478,
title = {<i>A posteriori</i>
typing for model-driven engineering},
author = {Juan de Lara and Esther Guerra},
booktitle = {ICSE},
year = {2018},
doi = {10.1145/3180155.3182545}
}