Jun QI Yue-ju ZHANG Tao WANG. Semantic matching mechanism based on algebraic expression in workflow integration[J]. Journal of Computer Applications, 2011, 31(08): 2253-2257.
[1] 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.[2] 张静,王海洋,崔立真.基于Pi演算的跨组织工作流建模研究[J].计算机研究与发展,2007,44(7):1243-1251.[3] 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.[7] 张小娟,李华.网格环境下基于语义关联的信息检索[J].计算机应用,2009,29(6):1517-1526.[8] 樊晓光,褚文奎,万明.基于领域本体的软构件检索[J].计算机科学,2009,36(6):156-158.[9] 袁世伦,李胜利,袁平鹏,等.一种基于规则的工作流模型互操作的实现方法[J].计算机应用,2007,27(2):400-402.[10] 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.[11] 王淑红,袁兆山.基于排序形式化规格说明的软构件匹配[J].合肥工业大学学报,2000,23(4):477-481.[12] 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.[13] 马亮,孙家.基于规约匹配的构件检索[J].小型微型计算机系统,2002,23(10):1153-1157.[14] 樊敏.程序作业自动测评的研究与实现[D].广州:广东工业大学,2005.[15] 刘洋,欧阳春宜,施崇明.一类算术表达式的语法分析及规范化方法[J].赣南师范学院学报,2003(3):21-23.[16] 刘峰,袁春风.基于MathML的数学表达式等价性的研究[J].计算机应用研究,2004,21(11):54-56.[17] 曹京,谭建龙,刘萍,等.布尔表达式匹配问题研究[J].计算机应用研究,2007,24(9):70-72.