JAction: A High-Level Surface Syntax for UML Action Semantics | IEEE Conference Publication | IEEE Xplore