A model-based tool for interactive prototyping of highly interactive applications

This paper presents a case tool supporting the ICO (Interactive Cooperative Object) formalism. This formalism allows for describing, in a formal way, highly interactive applications (also called post-WIMP). The first section describes why such user interfaces are challenging for most description techniques as well as the state of the art in this field. Then, we use a case study in order to recall the basic concepts of the ICO formalism and the recent extensions added in order to take into account post-WIMP interfaces´ specificities. Then a case study is introduced in order to exemplify the use of the ICO formalism. Lastly, we present the case tool PetShop supporting the ICO formalism and how the case study presented in the previous section has been dealt with