Keyphrases
- consistency checks
- metamodel
- database design
- software systems
- sequence diagrams
- modeling language
- unified modeling language
- conceptual modeling
- class diagrams
- uml models
- formal methods
- state machine
- software engineering
- object oriented modeling
- software architecture
- uml profile
- class diagram
- uml diagrams
- object oriented analysis and design
- software development
- object oriented
- conceptual models
- requirements engineering
- uml activity diagrams
- tool support
- uml class diagrams
- information systems
- regression testing
- design patterns
- knowledge based systems
- model driven engineering
- expert systems
- case study
- activity diagrams
- data sets