Web服务交互过程建模与验证研究  

Research on Modeling and Verification of Web Service Interaction Process

作　　者：包力[1] BAO Li

机构地区：[1]内蒙古工业大学,呼和浩特010080

出　　处：《科技创新与应用》2023年第27期8-11,共4页Technology Innovation and Application

基　　金：内蒙古自然科学基金项目(2022MS06004)。

摘　　要：Web服务的正确交互是其成功组合的先决条件,该文提出一种Web服务动态交互模型(IWSN),旨在解决Web服务的正确交互问题、提升Web服务组合的灵活性、保证Web服务间的行为兼容性并进一步促进Web服务组合在相关领域的应用。IWSN模型基于Kahn过程网络(KPN),该网络支持基于数据流和通道的并行计算。基于Pi-calculus进程演算定义IWSN模型的形式化语义,并讨论IWSN模型的性质。最后,通过应用案例演示如何将IWSN模型应用于Web服务组合及服务交互。The correct interaction of Web services is a prerequisite for their successful composition.This paper proposes a dynamic interaction Web services network(IWSN),which aims to solve the problem of correct interaction of Web services,improve the flexibility of Web service composition,and ensure the behavior of Web services.Compatibility,and further promote the application of Web service composition in related fields.The IWSN model is based on the Kahn Process Network(KPN),which supports parallel computing based on data streams and channels.The formal semantics of the IWSN model is defined based on Pi-calculus process calculus,and the properties of the IWSN model are discussed.Finally,an application case demonstrates how to apply the IWSN model to Web service composition and service interaction.

关 键 词：WEB服务 IWSN 进程代数 KPN 服务交互 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]