UML with meaning: executable modeling in foundational UML and the Alf action language.

Published in: HILT (2014)

Keyphrases

modeling language
unified modeling language
sequence diagrams
action language
uml profile
object oriented
metamodel
formal methods
software systems
software development
software architecture
software engineering
class diagram
uml diagrams
situation calculus
description language
natural language
machine learning