Towards Axiomatizing the Semantics of UML Activity Diagrams: A Situation-Calculus Perspective.
Xing TanMichael GruningerPublished in: Web Intelligence (2010)
Keyphrases
- situation calculus
- uml activity diagrams
- logical language
- action theories
- fluent calculus
- reasoning about actions
- business process models
- reasoning tasks
- initial state
- logical theories
- graphical representation
- action language
- concurrent actions
- modal logic
- formal semantics
- artificial intelligence
- high level
- modal operators