Keyphrases
- modeling language
- metamodel
- constraint language
- programming language
- design rationale
- code generation
- logic programming
- educational modeling languages
- formal semantics
- web applications
- source code
- java programs
- open source
- language constructs
- business process modeling
- model driven architecture
- modal logic
- expert systems
- case study
- web services
- artificial intelligence
- declarative language
- uml profile
- databases