乔斯琳·西蒙兹 巴西塞西莉亚M.Cecilia 用于自动UML模型一致性检查的工具。 431-432 2005 conf/kbse/2005 ASE公司 https://doi.org/10.1145/11101908.1101989 db/conf/kbse/ase2005.html#SimmondsB05