An authoring methodology and a set of checking tools let authors specify th
e spatial and temporal features of an application and verify the applicatio
n prior to its execution. The checking tools include an animation tool, spa
tial and temporal layouts, and the execution table of the application.