Write Once, Deploy N: a Performance Oriented MDA Case Study

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, realistic case studies. In this paper, we first present the problem of developing distributed database applications that are optimized for concurrent data access, without locking in on vendor extensions of a particular J2EE application server, with proper separation of concerns, and with tool support for domain evolution. Then, we propose and discuss a conceptual language for model refinement and code generation as a possible solution to the presented problem. After applying this particular language on our case study, we derive general conclusions on composition, sequencing, inheritance, and design by contract for such languages.