【摘 要】
：
服务组合和服务替换是面向服务计算的研究热点,服务流程的相容性和相似性分析是其中的两个密切相关的问题,具有较大实用价值.基于着色Petri网建模Web服务流程,定义服务流程的
【基金项目】
：
国家自然科学基金(60674080,60704027);国家“八六三”高技术研究发展计划项目基金(2007AA04Z150)资助~~
论文部分内容阅读
服务组合和服务替换是面向服务计算的研究热点,服务流程的相容性和相似性分析是其中的两个密切相关的问题,具有较大实用价值.基于着色Petri网建模Web服务流程,定义服务流程的正确性和相容性.提出服务良构性的概念,证明良构性能够保证组合服务可达终止状态的正确性.在相容性分析的基础上,提出服务流程相似性的定义,证明若新服务与要被替换的服务流程相似,则所进行的替换是上下文无关的,替换后无须再做组合正确性验证,给出相似性的判定算法.文中结论和算法改进了现有服务组合验证和服务替换方法的不足.
其他文献
对线性模型的线性迭代和非线性迭代求解方法的性质进行了详细研究,分析了抗差估计理论与方法的数学性质和特点,描述了线性与非线性两种方法的解特点和解轨迹,从理论上深入研
蒙德里安是几何抽象画派的奠基人,他崇尚直线美,主张透过直角可以静观万物的本质。以蒙德里安为首的荷兰"风格派"以几何抽象的绘画理念,直接推动了现代主义艺术创作中单纯理
鄂尔多斯盆地是我国重要的能源基地，盆地东北部上古生界地层是重要的油气产区之一。以往的油气勘探开发过程，往往以野外观察及室内实验为依据，这两种手段对于认识含油气储层的形
本文通过对一位贫困大学生人际适应不良问题进行诊断和分析,采用认知疗法、合理情绪疗法等帮助其重新认识自我,树立人际交往的自信心,建立良好的人际沟通模式。经过四周咨询
本文以图式理论为基础,为证明译前准备对专业口译的重要性,笔者设置了一个实验。结果表明:译前准备与口译成效成正比;口译能力不足可以通过激活图式来补偿;各种图式(语言、内
音乐是最能直接表达人类感情的艺术,它不需要任何媒介,比语言更为直接。本文以学龄前幼儿音乐活动为例,从音乐活动形式、幼儿年龄特点等方面对情感教育在幼儿音乐活动中的渗
近年来,随着全球对油气资源需求量的不断增长,石油天然气开发开采所面临的形势日趋复杂。尤其是在高温、高压、高含H2S/CO2环境中,油套管的服役工况变得更加恶劣,会引发油套
<正>为了应对义和团事件,1900年,八国联军入侵华北。1901年9月,清政府与八国代表签订了丧权辱国的《辛丑条约》。《辛丑条约》议定,清政府赔偿俄、德、法、英、美、日、意、
因特网的迅速发展对万维网信息的查找与发现提出了巨大的挑战。对于大多用户提出的与主题或领域相关的查询需求,传统的通用搜索引擎往往不能提供令人满意的结果网页。为了克
目的:分析并评价黄连温胆汤加减治疗失眠症的临床疗效。方法:我科自2008年6月～2011年12月期间采用黄连温胆汤加减对58例失眠症病人实施治疗,同时与单独服用安定片进行治疗的55