A Situation Calculus-based semantic framework for UML.

Liang Dou Qiang Liu Zongyuan Yang Jinkui Xie

Published in: ICCIT (2012)

Keyphrases

situation calculus
taxonomic reasoning
high level
knowledge representation
software architecture
modeling language
reasoning about actions