Keyphrases
- action language
- description language
- reasoning about actions
- software architecture
- concurrent actions
- action descriptions
- answer set programming
- metamodel
- modeling language
- software systems
- software development
- situation calculus
- action theories
- sequence diagrams
- object oriented
- software engineering
- open source
- domain description
- knowledge base
- case study