Web服务交互过程建模与验证研究.pdf
《Web服务交互过程建模与验证研究.pdf》由会员分享,可在线阅读,更多相关《Web服务交互过程建模与验证研究.pdf(4页珍藏版)》请在咨信网上搜索。
1、2023 年 27 期创新前沿科技创新与应用Technology Innovation and ApplicationWeb 服务交互过程建模与验证研究包力(内蒙古工业大学,呼和浩特 010080)随着现代经济社会全面进入服务经济时代,现代服务业已经成为了现代经济社会持续发展的新动力1。Web 服务即用户根据实际的生产需求可弹性获取,由云提供商提供的、可扩展的计算资源。然而,单一 Web服务只能提供有限的计算资源。比如,糖尿病患者需要关于如何控制餐后血糖进行信息咨询,这样的信息咨询将在减缓病情发展方面发挥积极作用。影响糖尿病患者餐后血糖的因素有很多,比如胰岛素剂量、每餐热量摄入、日常锻炼等常见
2、因素都可能影响餐后血糖。如果糖尿病患者想预测并干预餐后血糖,就需要这些方面的数据。可用于收集相关数据的常见软件服务有记步服务、热量摄入记录服务、医疗数据分析服务等分属不同的云平台,显然,单一的软件服务无法满足上述需求,需要组合血糖控制咨询服务(负责回答患者问题并提供建议)、记步服务(负责记录患者燃烧的热量)及数据分析服务(负责处理和分析数据)。由这些服务构成的服务组合,将为糖尿病患者提供关于血糖方面的信息咨询。Web 服务组合(以下简称“服务组合”)就是根据客户需求的变化动态增加或释放所需的资源,将跨越不同服务提供商的 Web 服务进行整合,为用户提供增值服务并实现更加复杂的功能。服务组合旨在
3、有效选择、整合来自不同云平台的服务,将跨越云平台边界的服务进行深度整合并实现其功能的扩展与创新,使得这些服务协同工作,为用户提供更加全面、更高质量的功能。跨云服务组合技术将为现代服务业的发展注入新动力。本文组织如下:第 1 节介绍相关研究工作,第 2 节介绍 Web 服务交互模型,第 3 节给出 Web 服务交互模型的行为语义,第 4 节提供了一个案例研究,最后是结论和展望。1相关研究Web 服务组合(Web Service Company)是以业务流程和规则为基础,将若干组件式服务组合成粒度更大的、服务的过程。服务组合方法大体上可分为基于业基金项目:内蒙古自然科学基金项目(2022MS060
4、04)作者简介:包力(1980-),男,博士,副教授。研究方向为软件工程。摘要:Web 服务的正确交互是其成功组合的先决条件,该文提出一种 Web 服务动态交互模型(IWSN),旨在解决 Web 服务的正确交互问题、提升 Web 服务组合的灵活性、保证 Web 服务间的行为兼容性并进一步促进 Web 服务组合在相关领域的应用。IWSN模型基于 Kahn 过程网络(KPN),该网络支持基于数据流和通道的并行计算。基于 Pi-calculus 进程演算定义 IWSN 模型的形式化语义,并讨论 IWSN 模型的性质。最后,通过应用案例演示如何将 IWSN 模型应用于 Web 服务组合及服务交互。关键
5、词:Web 服务;IWSN;进程代数;KPN;服务交互中图分类号院TP311.5文献标志码院A文章编号院2095-2945渊2023冤27-0008-04Abstract:The correct interaction of Web services is a prerequisite for their successful composition.This paper proposes adynamic interaction Web services network(IWSN),which aims to solve the problem of correct interaction
6、of Web services,improvethe flexibility of Web service composition,and ensure the behavior of Web services.Compatibility,and further promote theapplication of Web service composition in related fields.The IWSN model is based on the Kahn Process Network(KPN),whichsupports parallel computing based on d
7、ata streams and channels.The formal semantics of the IWSN model is defined based onPi-calculus process calculus,and the properties of the IWSN model are discussed.Finally,an application case demonstrates howto apply the IWSN model to Web service composition and service interaction.Keywords:Web servi
8、ce;IWSN;process algebra;KPN;service interactionDOI:10.19981/j.CN23-1581/G3.2023.27.0028-创新前沿科技创新与应用Technology Innovation and Application2023 年 27 期务流程驱动的服务组合和基于即时任务解决的服务组合两大类。一是基于业务流程驱动的服务组合,二是基于即时任务解决的服务组合。在面向 Web 服务的自动化组合方面有许多研究成果。文献2研究了云制造中的服务重构与供需衔接问题,提出了面向云制造的自主性导向(autonomy-ori原ented)服务组合与优化选择方
9、法。为了提高服务选择的准确性,研究者给出了带有波动率分析功能的、基于模糊集的决策方法。针对利用语义 web 服务发现机制发现并选择最合适的候选服务问题,文献3给出一种由 5 个阶段构成的多级工作流编排框架。该框架采用功能属性描述候选服务的行为,并可满足用户目标的动态变化。文献4提出了一种混合 Web 服务自动组合方法,旨在生成具有最佳端到端 QoS 的基于语义输入输出的服务组合,并使参与组合的服务数量最小化。为了使开发者能够高效地进行服务组合,文献5给出了一种可视化的 REST 服务建模框架,该框架由可视化服务组合建模工具和服务开发平台组成。为了提高Web 服务组合测试用例的质量并找出哪条路径
10、导致服务组合失败的概率最大,文献6采用启发式测试用例生成法以获得最优测试路径。2交互Web服务网络2.1Kahn 过程网络Kahn 过程网络(KPN)7是一种基于数据流的计算模型,该模型的优点之一是可以在分布式结构上实现进程的并发通信和执行,这一特点使得 KPN 非常适合于建模 Web 服务交互行为。在 KPN 模型中,并发过程使用节点表示,有序的数据序列使用弧表示(数据序列也称为令牌)。进程通过先进先出的通道相互通信,在KPN 中,使用数据令牌队列表示这些通道。启动 FIFO通道的读取操作需要通信通道中至少存在一个令牌。由于 FIFO 通道的大小是无限的,因此写入操作是非阻塞的。KPN 模型
11、采用异步通信,并且 KPN 计算的输出结果与其执行顺序无关,即进程并发过程中先执行哪个进程对计算结果不产生影响。2.2Web 服务交互网络 IWSN在 IWSN 模型中,Web 服务被建模为 KPN 中的计算进程,Web 服务组合被建模为进程的并发自治网络。进程间通过先进先出的通道进行通信。网络中的每个进程都对消息序列进行自主控制,并且每个进程执行的操作与其他进程的操作并发执行。对于单个进程(服务),其行为建模为其执行的操作。Trace(记录)用于建模进程之间的交互行为,IWSN 模型如图 1 所示。图 1Web 服务交互网络2.3交互 Web 服务网络的定义由于操作是 Web 服务功能的基本
12、单元,IWSN 中Web 服务调用被建模为操作的调用过程,这里使用集合 Operation 表示。IWSN 中,使用进程(Process)建模服务顺序执行操作的集合,即 Process 集合中的一个元素是操作的线性串联。如果一个操作 op1的输出消息是另一操作 op2的输入消息,那么在 op1和 op2之间存在对应关系,这里引入二进制关系 Ro来表示这种类型的关系。在 IWSN 中,符号 T 用来表示进程(Web 服务)的交互记录。定义 1(交互 Web 服务网络)。一个交互 Web 服务网络是一个 6-元组,在这里Service 是 Web 服务的集合;Process 是进程的集合;Oper
13、ation 是操作的集合;T 表示操作序列的集合;Message 表示出入进程的消息的集合;Ro哿Operation伊Operation 是 Operation 集合上的二元关系。3交互Web服务网络的形式化语义本节给出 Web 服务交互网络的行为语义定义,该语义基于 Pi-演算及其公理化操作语义8。行为语义由2 部分构成,语义转换域和转换函数。首先引入 Pi-演算作为语义转换域,然后给出转换函数定义和转换算法,将 IWSN 模型语义转换为 Pi-演算表达式。设存在可数无限集 N,在 Pi-演算中进程(Process)使用 N 中的元素 P,Q,R(大写字母)表示,进程执9-2023 年 27
14、 期创新前沿科技创新与应用Technology Innovation and Application行的动作使用 N 中的元素 u,v,w,x,y,z(小写字母)表示。Pi-演算表达式使用下面的语法构造P:=0|移Pi|cx.P|(P1|Pn)|x=yP式中:使用数字 0 表示空进程,空进程已经结束,不执行动作;符号移表示非确定性选择,例如,R+P 表达式表示执行进程 R 或 P中的一个;进程顺序执行的表达式为 cx.P,其中 P 是进程,c 是通道名,x 是动作名称,cx.P 从通道 c 读入动作 x,然后执行 P;表达式 P1|Pn表示并行执行进程 P1,P2,Pn;表达式x=yP 表示当
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- Web 服务 交互 过程 建模 验证 研究
1、咨信平台为文档C2C交易模式,即用户上传的文档直接被用户下载,收益归上传人(含作者)所有;本站仅是提供信息存储空间和展示预览,仅对用户上传内容的表现方式做保护处理,对上载内容不做任何修改或编辑。所展示的作品文档包括内容和图片全部来源于网络用户和作者上传投稿,我们不确定上传用户享有完全著作权,根据《信息网络传播权保护条例》,如果侵犯了您的版权、权益或隐私,请联系我们,核实后会尽快下架及时删除,并可随时和客服了解处理情况,尊重保护知识产权我们共同努力。
2、文档的总页数、文档格式和文档大小以系统显示为准(内容中显示的页数不一定正确),网站客服只以系统显示的页数、文件格式、文档大小作为仲裁依据,平台无法对文档的真实性、完整性、权威性、准确性、专业性及其观点立场做任何保证或承诺,下载前须认真查看,确认无误后再购买,务必慎重购买;若有违法违纪将进行移交司法处理,若涉侵权平台将进行基本处罚并下架。
3、本站所有内容均由用户上传,付费前请自行鉴别,如您付费,意味着您已接受本站规则且自行承担风险,本站不进行额外附加服务,虚拟产品一经售出概不退款(未进行购买下载可退充值款),文档一经付费(服务费)、不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
4、如你看到网页展示的文档有www.zixin.com.cn水印,是因预览和防盗链等技术需要对页面进行转换压缩成图而已,我们并不对上传的文档进行任何编辑或修改,文档下载后都不会有水印标识(原文档上传前个别存留的除外),下载后原文更清晰;试题试卷类文档,如果标题没有明确说明有答案则都视为没有答案,请知晓;PPT和DOC文档可被视为“模板”,允许上传人保留章节、目录结构的情况下删减部份的内容;PDF文档不管是原文档转换或图片扫描而得,本站不作要求视为允许,下载前自行私信或留言给上传者【自信****多点】。
5、本文档所展示的图片、画像、字体、音乐的版权可能需版权方额外授权,请谨慎使用;网站提供的党政主题相关内容(国旗、国徽、党徽--等)目的在于配合国家政策宣传,仅限个人学习分享使用,禁止用于任何广告和商用目的。
6、文档遇到问题,请及时私信或留言给本站上传会员【自信****多点】,需本站解决可联系【 微信客服】、【 QQ客服】,若有其他问题请点击或扫码反馈【 服务填表】;文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“【 版权申诉】”(推荐),意见反馈和侵权处理邮箱:1219186828@qq.com;也可以拔打客服电话:4008-655-100;投诉/维权电话:4009-655-100。