期刊文献+

基于弱同步的服务交互适配方法 被引量:1

Service interactions adaptation approach based on weak synchronization
下载PDF
导出
摘要 为了使各种行为或接口描述异构的服务能正确交互,提出了一种适配方法。该方法以消息映射规则描述消息和消息参数之间的映射关系,以标签转换系统来描述服务的行为,以同步向量来描述服务之间的交互,以弱同步的方式来控制服务之间的交互过程。通过算法和弱同步的思想解决了标签转换系统中无法实现消息存储转发功能的问题。实验结果表明,该方法不仅能解决消息和消息参数之间的基调失配,还能解决行为失配中未指定的消息接收失配。 Aiming at interactions among many Web Services with heterogeneous interfaces or business protocols,an adaptation method was proposed.In this method,the mapping relationships among messages or message parameters were described by the message mapping rules,the behaviors were described by labeled transition system,the inter-actions were described by synchronous vectors,and the interaction processes were controled through weak synchro-nization.Storing and forward messages in Label transition system was realized by the proposed method together with the weak synchronization conception.Experimental results revealed that the approach could resolve not only signature mismatches among messages and message parameters but also behavior mismatches of unspecified recep-tion.
作者 郑剑 江建慧
出处 《计算机集成制造系统》 EI CSCD 北大核心 2010年第8期1688-1695,共8页 Computer Integrated Manufacturing Systems
基金 国家863计划资助项目(2007AA01Z142) 江西省自然科学基金资助项目(2009GZS0043) 江西省教育厅科学技术研究资助项目(GJJ09247) 江西省教育厅青年科学技术研究资助项目(GJJ09522)~~
关键词 WEB服务 服务交互 协议适配 弱同步 映射 Web Services service interactions protocol adaptation weak synchronization mapping
  • 相关文献

参考文献13

  • 1BENATALLAH B,CASATI F,GRIGORI D,et al.Developing adapters for Web Services integration[C] //Proceedings of the 17th International Conference on Advanced Information Systems Engineering.Berlin,Germany:Springer-Verlag,2005:415-429.
  • 2LI Xitong,FAN Yushun,JIANG Feng.A classification of service composition mismatches to support service mediation[C] //Proceedings of the 6th International Conference on Grid and Cooperative Computing.Washington,D.C.,USA:IEEE Computer Society,2007:315-321.
  • 3YELLIN D M,STROM R E.Protocol specifications and component adaptors[J].ACM Transactions on Programming Languages and Systems,1997,19(2):292-333.
  • 4NEZHAD H R M,BENATALLAH B,MARTENS A,et al.Semi-automated adaptation of service interactions[C] //Proceedings of the 16th International Conference on World Wide Web.New York,N.Y.,USA:ACM,2007:993-1002.
  • 5DUMAS M,SPORK M,WANG K.Adapt or perish:algebra and visual notation for service interface adaptation[C] // Proceedings of the 4th International Conference on Business Process Management.Berlin,Germany:Springer-Verlag,2006:65-80.
  • 6BRACCIALI A,BROGI A,CANAL C.A formal approach to component adaptation[J].Journal of Systems and Software,2005,74(1):45-54.
  • 7CANAL C,POIZAT P,SALA(U)N G.Model-based adaptation of behavioral mismatching components[J].IEEE Transactions on Software Engineering,2008,34 (4):546-563.
  • 8乔晓强,魏峻,黄涛.基于适配的服务协作流程动态管理[J].计算机学报,2008,31(8):1422-1433. 被引量:2
  • 9乔晓强,魏峻,黄涛.基于分布式协调模型的服务协作方法研究[J].软件学报,2009,20(6):1470-1486. 被引量:13
  • 10殷昱煜,李莹,邓水光,尹建伟.Web服务行为一致性与相容性判定[J].电子学报,2009,37(3):433-438. 被引量:17

二级参考文献35

  • 1龚洪泉,赵文耘,徐如志,钱乐秋.基于Pi演算的构件演化研究[J].电子学报,2004,32(F12):238-242. 被引量:8
  • 2张文涛,彭泳,陈俊亮.会话类E-Service的接口兼容和服务组合分析[J].计算机学报,2006,29(7):1047-1056. 被引量:6
  • 3张岩,胡军,于笑丰,张天,李宣东,郑国梁.场景驱动的构件行为抽取[J].软件学报,2007,18(1):50-61. 被引量:16
  • 4陈波,谭庆平,李舟军,陈火旺.一门新的面向构件语言[J].电子学报,2006,34(B12):2462-2466. 被引量:1
  • 5Bultan T,Fu X,Hull R,Su J. Conversation specification: A new approach to design and analysis of E-service composition[A]. In: Proceedings of the 12th International World Wide Web Conference [ C ]. Budapest, HUNGARY: Springer-Verlag, 2003.403 - 410.
  • 6Brogi A, Canal C, Pimentel E, Vallecillo A. Formalizing web service choreographies [ J ]. Electronic Notes in Theoretical Computer Science,2004,105(12) :73 - 49.
  • 7Bengt Nordstrom, Kent Petersson, Jan M. Smith. Programming in Martin-Lof Type Theory:An Introduction[M]. Oxford: Oxford University Press, 1999.
  • 8YuYu Yin, Ying Li, Shuiguang Deng, Kuangli, Jian Wu, XuXue Sun, Jian Jiang, ZhaoHui Wu. Automating service matchmaking using type theory [ A ]. Proceedings of the 2007 International Conference on Services Computing[ C ]. Salt Lake City, Utah, USA: Springer-Verlag, 2007.723 - 724.
  • 9Zhiwei Chen, Jian Wu, Shuiguang Deng, Ying Li, Zhaohui Wu. Describing and verifying web service using type theory [ A J. Proceedings of the 10th International Conference Computer Supported Cooperative Work in Design[ CJ. NanJing, China: Springer-Verlag, 2006.1 - 5.
  • 10The Coq Development Team. The Coq Proof Assistant Reference Manual ( Version 8.1 ) [ EB/OL]. http://coq, inria, fr/ V8. 1p13/refman/index, html,2006.

共引文献28

同被引文献16

  • 1DUMAS M, SPORK M, WANG K. Adapt or perish: algebra and visual notation for service interface adaptation[C]//Bus- iness Process Management. Berlin, Germany: Springer-Vetlag, 2006 : 65-80.
  • 2BORDEAUX L, SALAON G, BERARDI D, et al. When are two Web services compatible? [C]//Technologies for E-Services. Berlin, Germany: Springer-Verlag, 2005 : 15-28.
  • 3BENATALLAH B, CASATI F, GRIGORI D, et al. Develo- ping adapters for Web services integration[C]//Proeeedings of the 17th International Conference on Advanced Information Systems Engineering. Berlin, Germany: Springer-Verlag, 2005:415-429.
  • 4LI Xitong, FAN Yushun, JIANG Feng. A classification of se- rvice composition mismatches to support service mediation [C]//Proceedings of the 6th International Conference on Grid and Cooperative Computing. Washington, D. C. , USA.. IEEE Computer Society, 2007 : 315-321.
  • 5YELLIN D M, STROM R E. Protocol specifications and component adaptors[J]. ACM Transactions on Programming Lan- guages and Systems, 1997,19(2) :292-333.
  • 6BECKER S, BROGI A, GORTON I, et al. Towards an engi neering approach to component adaptation[C]//Architecting Systems with Trustworthy Components. Berlin, Germany: Springer-Verlag, 2006 : 193-215.
  • 7NEZHAD H R M, BENATALLAH B, MARTENS A, et al. Semi-automated adaptation of service interactions [C]//Pro- ceedings of the 16th International Conference on World WideWeb. New York, N. Y. , USA:ACM,2007:993-1002.
  • 8CANAL C, POIZAT P, SALAUN G. Model-based adaptation of behavioral mismatching components[J]. IEEE Transactions on Software Engineering, 2008,34(4): 546-563.
  • 9BENATALLAH B, CASATI F, TOUMAN1 F. Representing, analysing and managing Web service protocols[J]. Data &Knowledge Engineering, 2006,58(3) : 327-357.
  • 10HAMEURLAIN N. Flexible behavioural compatibility and substitutability for component protocols: a formal specifica- tion[C]//Proceedings of the 5th IEEE International Conference on Software Engineering and Formal Methods. Washington, D. C. , USA: IEEE Computer Society, 2007 : 391-400.

引证文献1

二级引证文献2

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部