The development of formal models of spatial relations is an important topic in spatial reasoning, geographic information systems (GIS) and computer vision, and has gained much attention from researchers during the recent years. In particular significant progress has been made in the models of topological relations between spatial regions. The primary research contents, methods and advancements of formal analysis for topological relations between spatial regions are proposed. Existent problems and future research directions are also discussed.