Abstract: This paper makes a survey of the currently used formal models of various hypertext systems, whichare graph-based, Petri-net-based, logic-based and set-based respectively.