Automatic Refinement of Platform Independent Models Using Graph Transformation System

Today, software system development (especially safety critical systems) is a complex task. Any bug in these systems may cause serious and costly problems. In this paper, we propose a formal and automatic approach to refinement of platform independent models to more platform specific ones. Using graph transformation systems as background formalism, we can validate the approach. For each level of abstraction, using the designed formal styles, we define proper graph rules to refine the models. Compared to the existing approaches which only consider the structural parts of the model, our proposed approach considers the behavioral parts of the models for refinement.