The authors introduce executable use cases and describe how they were applied in requirements engineering for a new pervasive health care system for hospitals in Denmark. EUCs combine prose, formal models, and animation to represent new work processes and their proposed computer support. The representation enables stakeholders to interactively investigate system requirements in the context of the envisioned work processes.