乔斯琳·西蒙兹 巴西塞西莉亚M.Cecilia 南希·希施费尔德·卡勒 塞巴斯蒂安·里瓦斯 基于DL的UML模型一致性检查工具。 713-735 2008 18 国际期刊软件。工程知识。工程师。 6 https://doi.org/10.1142/S0218194008003829 db/journals/ijseke/ijseke18.html#SimmondsBHR08