Linking CSP-OZ with UML and Java: A Case Study.
Michael MöllerErnst-Rüdiger OlderogHolger RaschHeike WehrheimPublished in: IFM (2004)
Keyphrases
- object oriented
- constraint satisfaction problems
- case study
- programming language
- software systems
- source code
- database design
- constraint satisfaction
- java programs
- modeling language
- metamodel
- object oriented design
- decomposition methods
- database applications
- object oriented modeling
- test bed
- software development
- class diagrams
- software engineering
- specification language
- database
- unified modeling language
- high level
- cross platform
- np hard
- conceptual modeling
- constraint propagation
- open source
- constraint programming
- tree decomposition
- data model
- state machine
- uml class diagrams
- class diagram
- web applications
- lightweight