MODEL-BASED 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 both why such user interfaces are challenging for most description techniques and 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. The next section introduces PetShop a case tool supporting the edition and the execution of ICOs specifications. Lastly, we present how the underlying architecture of PetShop and the executable nature of the ICOs support efficiently iterative development of highly interactive applications through interactive prototyping.