乔斯琳·西蒙兹 Ragnhild Van Der Straeten公司 Viviane Jonckers公司 汤姆·曼斯 使用描述逻辑维护UML模型之间的一致性。 231-244 2004 10 Obj.Logiciel Base donées Réseaux医院 2-3 https://doi.org/10.3166/objet.10.2-3231-244 db/journals/Lobjet/Lobjet10.html#SimmondsSJM04