【摘 要】
：
服务可替换性分析是服务无缝集成与协作领域的一个重要问题,通过形式化的分析方法验证替换前后服务组合效果是否一致,有助于实现服务的动态组合.现有研究针对服务内部的操作
【机 构】
：
东北大学软件学院,东北大学信息科学与工程学院
论文部分内容阅读
服务可替换性分析是服务无缝集成与协作领域的一个重要问题,通过形式化的分析方法验证替换前后服务组合效果是否一致,有助于实现服务的动态组合.现有研究针对服务内部的操作和操作序列是否一致对服务的可替换性进行分析,会缩小可替换服务的空间.基于服务执行时的触发条件和结果提出了服务可替换性的定量判定方法.该方法采用有色Petri网对服务行为进行建模,将服务执行时的触发条件和结果定义为服务的行为效果,给出了行为效果一致的概念,并结合Petri网变换理论实现对服务可替换度的计算.最后通过定理证明了方法的有效性,这种定量分
其他文献
针对人体组织学与解剖学课程基础知识点多、内容杂、连贯性差、过渡比较突然等特点,通过运用多媒体教学、采用启发式教学和实施师生身份互易等营造师生互动效应,探讨提高人体
基础医学课程包括人体解剖学、组织胚胎学、生理学、生物化学、免疫学及病原微生物学、病理学及药理学等,是医学生入校最先学习的课程,又是学习临床课的基础,所以基础医学知
护理学是一门理论与实践相结合的重要学科,而护理实践教学是培养护生动手能力和岗位实践能力的重要环节。为提高护理实践教学质量,培养学生基本操作技能、临床思维能力及创新
考虑偏好top-k计算问题,提出一种整合网格索引和DG索引的GriddedDominantGraph（GDG）混合索引结构.首先,提出基于数据点逆支配点集性质的剪枝自由点方法,该方法大大减少了构建索
在无线自组织网络（MANET）中，比起单路径路由协议，多路径路由协议提供了更好的可靠性、容错性、负载平衡等，并且提供较小的端对端延迟、提供较大的有效总带宽；但是，当网络规模较大、
英语定语从句主要采用＂前置法＂和＂后置法＂2种翻译方法。但是,有些英语定语从句兼有状语从句的职能,使用常规定语从句的翻译方法往往达不到理想的翻译效果。翻译这些定语从句时应