Liang Dou Qiang Liu Zongyuan Yang Jinkui Xie A Situation Calculus-based semantic framework for UML. 73-79 2012 ICCIT https://doi.org/10.1109/ICCITechnol.2012.6285846 conf/iccit/2012 db/conf/iccit/iccit2012.html#DouLYX12