Integration of an Action Language Via UML Action Semantics.
Claudius HeitzPeter ThiemannThomas WölflePublished in: TEAA (2006)
Keyphrases
- action language
- action descriptions
- description language
- reasoning about actions
- concurrent actions
- action theories
- specification language
- answer set programming
- situation calculus
- machine learning
- uml activity diagrams
- object oriented
- web services
- software architecture
- software systems
- logic programming
- metamodel
- software development
- software engineering
- modeling language
- source code
- programming language
- case study