To focus the comparison of languages for model checking and transformation on criteria that matter in practical development, there is an urgent need for more, and more realistic, case studies. In this position paper, we first present the problem of developing distributed database applications that are optimized for concurrent data access. The problem constraints are avoiding vendor lock-in, making a proper separation of concerns, and enabling tool support for domain evolution. Then, we derive the requirements and tradeoffs for designing a language for model refinement and code generation based on the presented problem. After applying a conceptual transformation language to our case study, we derive general conclusions on composition, sequencing, inheritance, and design by contract for such languages. Keywords MDA, EJB, Performance Tuning, Portability