This paper is concerned with the role of formal notations and methods in engineering interactive systems. It begins by briefly reviewing the role of formal methods in Human Computer Interaction.The objective of capturing ...