Alf

Action Language for Foundational UML (Alf)