Discussion:

• The big picture for MSDL GUI group
: Professor Vangheluwe explained to me Denis' work in the area of models layout. Since AToM³ is a multi-formalism tool, a decision had to be made about how to handle layouting a multi-formalism model. There are two type of layout techniques: Nested Layouting, and Scoped Layouting. Professor Vangheluwe and Denis have came to the decision to not worry about scoping at this point. By Nested Layout they mean that each formalism in a multi-formalism model has its own layout algorithm.
On the other hand, Francois is working on bringing together concrete syntax, abstract syntax, semantics, and behavior.
At this point it is still not clear how Denis' work, Francois' work, and my work integrate together. But as we progress in our projects this should become clearer.
• GUI-specific Formalism: This is the formalosm that we discussed in a previous meeting. The implementation of this formalism is going to be my first goal.

Action Items:

• Contact Shengjie to get the latest update of her work.
• Write a one page describtion of the proposed GUI formalism.
• It is too late to submit a paper to CHI 2006. However the submission's deadline for their Doctoral Consortium and their Work-in-Progress posters is January 13. So we should aim at submitting to one of these two sessions. Also, we should try the Journal of Visual Languages and Computing. We can also try the Annual ACM Symposium on User Interface Software and Technology.