期刊文献+

时间感知Web服务交互行为建模与失配检测方法研究 被引量:6

Research on Interaction Modeling and Mismatch Checking of Time-Aware Web Services
下载PDF
导出
摘要 针对现有Web服务组合过程中存在时间感知力弱、服务利用率低、组合可靠性差等问题,通过将定量时间属性引入Web服务交互适配框架中,研究时间感知Web服务交互行为的形式化建模与交互行为失配的自动检测问题.提出了用于表达单个时间感知Web服务交互行为的时间服务协议(TSP)模型和用于表达多个时间感知Web服务并发组合的时间服务协议网络(TSPN)模型;将时间感知Web服务交互失配检测问题转化为TSP模型之间的兼容性判定问题,定义了从时间感知Web服务描述至TSP模型和从TSP模型至UPPAAL规约的映射规则,给出了TSP模型兼容性性质的CTL公式表示,基于模型检测工具UPPAAL实现时间感知Web服务交互失配的自动化检测,其检测结果作为下一步是否需要构造适配器的判断依据;最后通过实例分析进一步阐述了上述方法的可行性和有效性. Targeting the problem of weak time awareness, low service utilization and poor composition reliability in the process of web services composition, we propose to bring quantitative timed properties into web services interaction adaptation frame- work and make efforts on researching on time-aware web services interaction modeling, automated interaction mismatch detection and automated adaptor protocol generation. First, we propose timed service protocol (TSP) model to represent interaction behavior of single time-aware web service and timed service protocol network (TSPN) model to represent concurrent composition of multiple time-aware web services; Second, we transform the interaction mismatch detection problem into the determination problem of com- patibility of TSP models,define the mapping rules from time-aware web service descriptions to TSP models and from TSP models to UPPAAL specifications, give the CTL representations of compatibility properties and implement automatically interaction mismatch detection of time-aware web services based on model checker UPPAAL, whose result determines whether it is necessary to build adaptor for the next step. Finally, experiments demonstrate feasibility and validity of above idea.
出处 《电子学报》 EI CAS CSCD 北大核心 2011年第11期2568-2575,共8页 Acta Electronica Sinica
基金 国家自然科学基金(No.60973149) 中国科学院计算机科学国家重点实验室开放课题(No.SYSKF0908) 江苏省自然科学基金(No.BK2011281)
关键词 时间感知Web服务 时间服务协议 时间服务交互 模型检测 失配检测 time-aware web services limed service protocol timed service interaction model checking mismatch checking
  • 相关文献

参考文献17

  • 1Kongdenfha W,M.-Nezhad HR,Benatallah B,et al.Mismatch patterns and adaptation aspects:a foundation for rapid development of web service adapters[J].IEEE Transactions on Services Computing,2009,2(2):94-107.
  • 2Canal C,Poizat P,Salaün G.Model-based adaptation of behavioral mismatching components[J].IEEE Transactions on Software Engineering,2008,34(4):546-563.
  • 3Cámara J,Salaün G,Canal C.Composition and run-time adaptation of mismatching behavioral interfaces[J].J UCS,2008,14(13):2182-2211.
  • 4Kuang L,Deng S,Wu J,et al.Towards adaptation of service interface semantics .Proc of the IEEE 7th Int'l Con on Web Services (ICWS'09) .Los Angeles,USA,2009.279-286.
  • 5Zhang GQ,Wang S,Rong M,et al.A model-based framework for adapting interaction mismatches of time-aware web services .Proc of the 3rd Int'l Conf.on Service Science (ICSS2010) .Hangzhou,China,2010.76-81.
  • 6Alur R,Henzinger TA.A really temporal logic[J].Journal of the ACM,1994,41(1):181-204.
  • 7刘方方,史玉良,张亮,施伯乐.基于进程代数的Web服务合成的替换分析[J].计算机学报,2007,30(11):2033-2039. 被引量:15
  • 8Pu G,Zhao X,Wang S,et al.Towards the semantics and verification of BPEL4WS[J].Electronic Notes in Theoretical Computer Science,2006,151(2):33-52.
  • 9Zhang J,Chung J Y,Chang C K,et al.WS-net:a petri-net based specification model for web services .Pro.of the 2nd Int'l Conf on Web Services (ICWS'04) .San Diego,USA,2004.420-427.
  • 10李喜彤,范玉顺.Web服务流程相容性和相似性分析[J].计算机学报,2009,32(12):2429-2437. 被引量:27

二级参考文献53

共引文献216

同被引文献54

  • 1闫春钢,蒋昌俊,李启炎.基于Petri网的Web服务组合与分析[J].计算机科学,2007,34(2):100-103. 被引量:16
  • 2Hassine A B, Matsubara S, Ishida T. A constraint - based approach to horizontal web service composition [ A ]. ISWC 06 Proceedings of the 5th International Conference on the Semantic Web[ C]. Berlin: Springer - Verlag, 2009 : 130 - 143.
  • 3Ouederni M, Salattn G, Pimentel E. Quantifying service com- patibility: A step beyond the boolean approaches [ C ]//Pro- ceedings of the ICSOC 2010. Berlin: Springer, 2010, LNCS 6470:619 - 626.
  • 4Dumas M, Benatallah B, Motahari N H R. Web service pro- tocols:Compatibility and adaptation [ J ]. IEEE Data Engi- neering Bulletin,2008,31 (3) :40 -44.
  • 5Van der Aalst W M P, Mooij A J, Stahl Christian, et al. Serv- ice interaction: Patterns, formalization, and analysis [ C ]// Proceedings of the SFM2009. Berlin: Springer, 2010, LNCS 5569:42 - 88.
  • 6Benatallah 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: Springer, 2005:415 - 429.
  • 7Brogi A,Popescu R. Automated generation of BPEL adapters [C]//Proceedings of the 4th International Conference on Service-Oriented Computing. Berlin: Springer, 2006, LNCS 4294:27 - 39.
  • 8Kumar A, Shah Zhe. Algorithms based on pattern analysis for verification and adapter creation for business process compo- sition [ C ]//Proceedings of the OTM 2008. Berlin: Springer, 2008, LNCS 5331 : 120 - 138.
  • 9Zhang Bingzhou, Bhiri S, Hai Zhuge, et al. Assessing service protocol adaptability based on protocol reduction and graph search [ J ]. Concurrency and Computation: Practice and Ex- perience,2011,23 (9) : 880 - 904.
  • 10Kongdenfha W, Motahari Nezhad H R, Benatallah B, et al. Mismatch patterns and adaptation aspects:A foundation for rapid development of Web service adapter[ J]. IEEE Trans- actions on Services Computing,2009,2(2) :94 -107.

引证文献6

二级引证文献3

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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