mel - model extractor language for extracting facts from models
Robert Hackman, Joanne M. Atlee, Alistair Finn Hackett, Michael W. Godfrey · 2020
There is a large body of research on extracting models from code-related artifacts to enable model-based analyses of large software systems. However, engineers do not always have access to the entire code base of a system: some components may be procured from third-party suppliers based on a Model specification or their code may be generated automatically from Models.