Shape Calculus: Timed Operational Semantics and Well-Formedness