Model Under Design and Over Design on Mobile Applications

Abstract

In this paper, we demonstrate a system for automated trans- formation 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 im- plemented viafinite state automation generation, extending from our previous work.