This paper is about modeling human-computer interaction for better understanding of interaction, leading to better designs and design representations. We argue for a structured approach to task abstractions that includes semantics, as well as a framework and vocabulary for abstraction. Our approach imposes a notational consistency that aids designer-implementer communication. Including semantic considerations allows designers to specify interaction so that implementers can properly support the connection between illusion and reality.