OCL4X: An Action Semantics Language for UML Model Execution.

Ke Jiang, Lei Zhang, Shigeru Miyake

Browse the full COMPSAC paper archive.