An Executable UML with OCL-based Action Semantics Language.

Ke Jiang, Lei Zhang, Shigeru Miyake

Browse the full APSEC paper archive.