Requirements, definitions, and notations for spatiotemporal application environments