Keyphrases
- uml activity diagrams
- uml class diagrams
- specification language
- formal methods
- formal semantics
- object oriented
- uml diagrams
- modeling language
- object oriented data models
- software engineering
- software systems
- database design
- metamodel
- class diagrams
- logic programming
- conceptual modeling
- semantic information
- conceptual model
- tool support
- constraint language
- reduction method
- software development
- data model
- formal specification
- object oriented modeling