Abstract：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 workflow integration and it is founded on strict formal method, so that it can be analyzed and verified conveniently with mathematical methods. The limitation is that it is based on elementary algebraic expression.
PAPAZOGLOU M P, van den HEUVEL W J. Service oriented architectures: Approaches, technologies and research issues [J]. The International Journal on Very Large Data Bases, 2007, 16(3): 389-415.
XU LIDA, LIU HUIMIN, WANG SONG, et al. Modelling and analysis techniques for cross-organizational workflow systems [J]. Systems Research and Behavioral Science, 2009, 26(3): 367-389.
[4]
LIN QIANG, GE JIDONG, HU HAO, et al. An approach to model cross-organizational processes using object Petri net [C]// SCW 2007: 2007 IEEE International Conference on Services Computing-Workshops. Washington, DC: IEEE Computer Society, 2007: 146-152.
[5]
吴长中.工作流中的数据集成技术研究[D].长沙：国防科学技术大学，2002.
[6]
KOURTESIS D, PARASKAKIS I. Combining SAWSDL, OWL-DL and UDDI for semantically enhanced Web service discovery [C]// ESWC' 08: Proceedings of the 5th European Semantic Web Conference on the Semantic Web: Research and Applications, LNCS 5021. Berlin: Springer-Verlag, 2008: 614-628.
ZHANG JIDONG, HUO WEIPENG. Research on the composition mechanism of semantic Web services [C]// ICCSIT 2010: Proceedings of the 3rd IEEE International Conference on Computer Science and Information Technology. Washington, DC: IEEE Computer Society, 2010: 100-103.
HEMER D. Semi-automated component-based development of formally verified software [C]// REFINE 2006: Proceedings of the 11th Refinement Workshop on Electronic Notes in Theoretical Computer Science. Amsterdam, Netherlands: Elsevier, 2007: 173-188.
2011, Vol. 31 
