Visual languages for human-machine interaction

Summary form only given, as follows. A survey of recent advance in visual languages and the formal theory of icons is presented, which provides a unified methodology for visual language design as well as icon-oriented system design.<<ETX>>