Keyphrases
- metamodel
- constraint language
- modeling language
- uml activity diagrams
- formal semantics
- uml class diagrams
- specification language
- software systems
- object oriented
- class diagrams
- life cycle
- model driven
- development process
- object oriented modeling
- uml profile
- design rationale
- conceptual graphs
- conceptual modeling
- data model
- case study
- uml diagrams
- constraint networks
- database design
- software development
- software engineering