Abstract: The goal-oriented requirement modeling method is a hotspot in requirement engineering research.Most of goal modeling methods focus on the relations of goals on different levels of hierarchy.To model the relations of goals on the same level,such as precedence relations,some formal definitions and propositions about goals modeling are presented,which can help analysts to judge precedence relations,concurrence and deadlock about them.Based on transferability of precedence relations,an algorithm is offered which constructs the transferability closure of goals relations and labels the precedence property of goals scientifically and correctly.Using this algorithm,analysts can judge directly precedence relations as well as possible errors and perform goals refinement easier.