Ke Jiang Lei Zhang Shigeru Miyake OCL4X: An Action Semantics Language for UML Model Execution. 633-636 2007 conf/compsac/2007 COMPSAC (1) http://doi.ieeecomputersociety.org/10.1109/COMPSAC.2007.158 db/conf/compsac/compsac2007-1.html#JiangZM07