Tarek Sharbak: Visual layout of graph-like models

The modeling of complex software systems has been growing significantly in the last years, and it is proving to be more effective and efficient than traditional programming in the analysis and design of big complex systems. However, with models growing both in variety and size, we face the problem of making a good layout and increase readability of the models in a wide range of formalisms, specifically when working with domain-specific models. In this project, we are going to treat models as graphs and use Statecharts to model the interactive behaviors of models. We are going to look at the various methods and techniques used in graph drawing with respect to readability and users interactions.