CP2

Bastide, R., Palanque, P., Duc Hoa, L., Muñoz, J.
Integrating rendering specifications into a formalism for the design of interactive systems

In interactive systems, the term rendering applies to any form of communication directed from the application towards the users. The present paper deals with the specification of rendering, and its relationship with the formal specification of the dialogue between application and user. We first present a taxonomy of rendering according to its function in the application. We briefly recall the basics of the ICO formalism, which is used for the formal specification of the application. We then present a case study illustrating how various categories of rendering are taken into account in the ICO formalism. Lastly, we show how mathematical analysis can be performed on the ICO models to verify predictability properties of the interactive system.

Proceedings of 5th Eurographics Workshop on the Design, Specification and Verification of Interactive Systems, DSV-IS 98, Abingdon, UK, June 3-5, 1998.


Home    Overview    Contact list    Planning of Work    Documents    Workspace    Related Links    Statistics