Model under design and over design on mobile applications

In this paper, we demonstrate a system for automated transformation rule application in mobile system development. Our application enables correctness and consistency of the automated transformation rules, by leveraging Egyed's work [2] on automated model transformation. Our approach is implemented via finite state automation generation, extending from our previous work [1].