这篇综述对比了大型语言模型（LLM）与模型驱动逆向工程（MDRE）在从Java/Python代码抽象OCL（Object Constraint Language）规范中的 ...