论文摘要
在研究Web服务组合中存在着一个重要问题是怎么样使用进程代数形式化的描述Web服务组合并且证明Web服务组合的正确性。用Pi-演算建模Web服务组合的模型可以用来检查、验证Web服务组合以保证服务组合的正确性。因为Web服务组合关联到很多的Web服务通信协作，这一特征让Web服务组合的验证工作更加艰难。同时Web服务语言是一种基于业务流程的服务组合方法（BPEL4WS），建模理论基础比较薄弱，组合正确性的保证较弱。所以流程的无死锁性、正确性等问题，在它正式被实施前必须得到形式上的建模与检验。对于建模和验证软件系统来说，形式化方法是一种有效的方法，所以对Web服务组合的形式化验证和描述是一个关键的研究领域。保证Web服务组合的正确性以实现服务增值对于Web服务及其组合来说是非常重要的。本文通过Pi-演算来形式化建模和描述Web服务及其组合。文中涉及了Web服务协议栈与Pi-演算的对应关系，同时通过使用Pi-演算建模Web服务组合的规则，说明了怎么样发现通道和代理。文章最后建立了一个实际的模型，并利用形式化工具对建立的组合模型是否正确以及是否满足需求进行了验证。同时运用了Pi-演算互模拟理论对Web服务组合的相容性、行为等价性进行了验证。
论文目录
相关论文文献
- [1].微服务组合验证方法综述[J]. 无线通信技术 2019(03)
- [2].服务组合拳助“疫”线稳步复工复产[J]. 中国社会工作 2020(13)
- [3].面向探索式服务组合场景的即时服务推荐方法研究[J]. 小型微型计算机系统 2017(05)
- [4].面向服务组合质量的物联网绿色能源管理[J]. 电信科学 2017(10)
- [5].云服务组合次序研究[J]. 广东通信技术 2014(09)
- [6].制造云服务组合柔性的多属性评价方法[J]. 江苏科技大学学报(社会科学版) 2015(03)
- [7].Web服务组合性能评价的流逼近与扩散逼近研究[J]. 计算机应用研究 2018(03)
- [8].Web服务组合测试综述[J]. 软件学报 2018(02)
- [9].云服务组合柔性的多维度测度[J]. 价值工程 2018(14)
- [10].不确定感知的自适应云计算服务组合[J]. 计算机研究与发展 2016(12)
- [11].基于多策略离散差分进化的移动互联网个性化服务组合[J]. 电信科学 2016(02)
- [12].动态服务组合的研究[J]. 价值工程 2012(01)
- [13].基于扩展自动机的服务组合静态与动态验证方法[J]. 通信学报 2012(S1)
- [14].普适环境下一种基于图的可靠服务组合机制[J]. 计算机科学 2011(05)
- [15].云服务组合柔性影响因素分析——基于云制造服务平台视角[J]. 科技管理研究 2019(24)
- [16].制造云服务组合异常自适应调整方法[J]. 中国机械工程 2016(06)
- [17].制造云服务组合柔性评价指标体系研究[J]. 沈阳工业大学学报(社会科学版) 2015(01)
- [18].不确定状态自动服务组合算法模型的研究[J]. 无线互联科技 2014(04)
- [19].IT服务组合可靠性分析方法研究与仿真[J]. 计算机仿真 2013(02)
- [20].一种基于最优个体保存策略的服务组合优化选取方法[J]. 华东理工大学学报(自然科学版) 2010(05)
- [21].语义动态服务组合模型研究[J]. 湖北工业大学学报 2009(02)
- [22].基于多重服务范例适应性调整的服务组合[J]. 软件学报 2008(11)
- [23].满足隐私需求的服务组合信息流控制方法研究[J]. 计算机科学与探索 2018(03)
- [24].在线医疗服务组合的验证方法研究[J]. 医学信息学杂志 2012(07)
- [25].基于事务的分布式虚拟化环境下服务替换方法[J]. 计算机研究与发展 2018(02)
- [26].制造云服务组合柔性的四维属性测度方法[J]. 运筹与管理 2015(06)
- [27].基于多属性群决策服务组合方案选取方法[J]. 计算机应用研究 2012(05)
- [28].多本体环境下基于规划技术的自动服务组合[J]. 计算机工程 2011(02)
- [29].基于两层声誉演化模型的服务组合选取策略[J]. 中南大学学报(自然科学版) 2009(03)
- [30].基于概率模型检测的Web服务组合多目标验证[J]. 计算机科学 2018(08)