Keyphrases
- modeling language
- metamodel
- formal semantics
- formal methods
- design rationale
- constraint language
- first order logic
- highly expressive
- educational modeling languages
- uml profile
- model driven
- declarative language
- model driven architecture
- code generation
- database
- development process
- life cycle
- data model
- formal specification
- inference rules
- learning process