This paper presents a method of constructing the protocol converter where the semantic relation between messages is added to the protocol conversion method satisfying with conformity property. This method comes from a formal method with top-down approach and then derives efficient maximal converter to overcome protocol mismatch between computer networks implemented with different protocols. When a converter is made with this method, the most useless portions of the maximal converter are removed easily.