【摘 要】
：
本文针对Web 服务组合的可靠性检验问题,结合定理证明方法,改进了模型检验框架,提出了一种基于可信链模型的Web 服务组合方法.采用扩展的标签迁移系统ELTS 模型描述服务组合
【机 构】
：
上海大学 计算机工程与科学学院, 上海200072
论文部分内容阅读
本文针对Web 服务组合的可靠性检验问题,结合定理证明方法,改进了模型检验框架,提出了一种基于可信链模型的Web 服务组合方法.采用扩展的标签迁移系统ELTS 模型描述服务组合行为和交互协议,为每个服务状态和迁移行为分别标识可信集和迁移约束,使得服务组合过程转化为可信集演算过程.引入谓词变换函数WP(Q,R)推导服务组合的最弱前置条件,通过检验可信集和最弱前置条件的蕴含关系,证明组合的正确性.给出了三种基于可信链模型的大粒度服务可信组合方法,随后通过对比实验验证本文方法的有效性.
其他文献
为了提高不平衡数据集分类中少数类的分类精度,提出了基于特征选择的过抽样算法.该算法考虑了不同的特征列对分类性能的作用是不一样的,首先对训练集进行特征选择,选出一组特
“谁都喜欢买打折商品,而网上购物能真正实现薄利多销,这也是当初我做当当网的根本原因。”俞渝的目标是——把当当网做成网上家乐福。华尔街就像一个高压锅俞渝说着标准的北
无线传感器网络的内在特性,使得在资源受限的环境下检测恶意节点变得十分困难.为此,提出了一种新型的面向无线传感器网络的入侵检测算法.该方法利用对称密钥进行传感数据加密
总统们来来去去,而她知道他们所有的一切。她曾经是个异常羞涩的小女孩,是男人背后的家庭妇女,是4个孩子的母亲,但一个偶然的机会改变了这一切。事实证明,女性拥有无限的潜力
多品种变批量大规模定制生产线的机床设备选择具有可变性.为解决利用数学模型求解难于调整修改的问题,构建图模型通过对问题的定性分析,提出一种基于模糊图论的选择方法,利用
高维数据聚类是数据挖掘领域的重要研究课题,大规模高维数据聚类研究非常具有挑战性.针对高效的CABOSFV高维数据聚类算法,采用并行计算模式提高其大规模数据的处理能力,提出
专用短程通信协议(DSRC)是为适应智能交通系统(ITS)的发展而专门制定的通信协议,它为车载单元与路边流量采集器之间提供通信链路,以实现交通流量信息的实时采集和发布。文中
为提高个体层次上客户流失预测的精确度,建立了融入个体活跃度的电子商务客户流失预测模型H-ILSVM.该模型首先利用融入地域因素的启发式算法计算出最优阈值,并求出个体的活跃
针对用户对移动阅读这一享乐型信息系统的接受行为,本文在信息技术接受模型的基本架构上展开研究,通过理论分析和添加新的研究变量,构建了享乐型信息系统用户接受行为的理论
云计算适用于大规模计算环境下做高复杂运算,但在实践中用以解决复杂的智能计算仍具有巨大的挑战.论文根据蚁群优化算法的特点,提出组合云模型,设计普通云、繁殖云、方向云和