Web服务交互过程建模与验证研究OA
Web服务的正确交互是其成功组合的先决条件,该文提出一种Web服务动态交互模型(IWSN),旨在解决Web服务的正确交互问题、提升Web服务组合的灵活性、保证Web服务间的行为兼容性并进一步促进Web服务组合在相关领域的应用.IWSN模型基于Kahn过程网络(KPN),该网络支持基于数据流和通道的并行计算.基于Pi-calculus进程演算定义IWSN模型的形式化语义,并讨论IWSN模型的性质.最后,通过应用案例演示如何将IWSN模型应用于Web服务组合及服务交互.
包力
内蒙古工业大学,呼和浩特 010080
计算机与自动化
Web服务IWSN进程代数KPN服务交互
Web serviceIWSNprocess algebraKPNservice interaction
《科技创新与应用》 2023 (027)
8-11 / 4
内蒙古自然科学基金项目(2022MS06004)
评论