We presented a new approach to formal semantics of (completely) visual languages. It uses a single framework that is based on qualitative spatial reasoning, spatial logics, and description logics. We believe that this approach easily scales up and can be applied to other visual languages. A first study with simple diagrammatic languages is currently conducted. Research on how to describe semantics of program executions is in progress.