Towards Spatial Specification of Interactive System