Concerning the problems of low precision ratio and low recall ratio of function match in the research of workflow integration,the authors implemented the matching mechanism based on formal semantic of extract pre/post match pattern,and proposed matching principles on the basis of algebraic expressions in high level programming languages.The specific algorithm was raised up and also an example was given to analyze and illustrate the algorithm.The proposed algorithm is suitable for function matching in workfl...