next up previous
Next: References Up: No Title Previous: Related Work

Conclusion and Further Research

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.

Volker Haarslev
Wed Jan 31 15:50:43 MET 1996