This paper describes experience in using a visual formalism, called JASMINUM, in the design of the user interface of a structured document editor called Waterloo Rita. JASMINUM combines concepts from Abstract Data Views, with notations from Objectcharts, Statecharts, and Petri-nets. JASMINUMwas motivated by the need for a formal notation to express directly some aspects of the design of interac...
