Formal Action Semantics for a UML Action Language.
Mikai YangGreg J. MichaelsonRob PooleyPublished in: J. Univers. Comput. Sci. (2008)
Keyphrases
- action language
- action descriptions
- description language
- reasoning about actions
- formal methods
- concurrent actions
- action theories
- specification language
- software architecture
- situation calculus
- logic programming
- model theoretic
- uml activity diagrams
- domain description
- answer set programming
- object oriented
- uml class diagrams
- software engineering
- formal specification
- metamodel
- modeling language
- operational semantics
- deductive databases
- software systems
- logic programs
- reinforcement learning