Abstract: The behavior protocol of object has the critical meaning in understanding and integrating the object into development. Unfortunately, protocol is rarely maintained during the development of lagecy systems. To handle the problem,this paper proposes a techn

Key words: Behavior protocol, Abstract state graph, Function dependence, Static analysis, Reengineering, Reverse engi- neering