Towards Translational Execution of Action Language for Foundational UML | IEEE Conference Publication | IEEE Xplore