Research Updates

When I started working in MSDL my research focus was on coming up with a formalism(s) and tools for specifying GUIs structure and behavior. I wrote a brief proposal with the ideas we had at that time.

Later, my research focus geared more towards Sketch-based Interfaces for and by Model-based Design. The project that I did in COMP 762 is my first prototype in that direction. The picture below shows how our new AToM³ would work.

However, before being able to develop such an interface we need a formalism that supports GUIs. So I am back to square one, working on developing a formalism that can encapsulate GUIs visual appearance and their behavior in one place. We are proposing the following formalism (gui.svg):



This GUI-specific formula is briefly discribed here.