【摘 要】
：
为了保证服务交互行为与其定义的关键属性相一致,本文提出了一种基于有色Petri网模型的运行时确保机制,从而提高服务组合运行的可靠性.文章首先介绍了服务交互行为CPN模型,用
【机 构】
：
国防科技大学计算机学院,中国电子设备系统工程公司
论文部分内容阅读
为了保证服务交互行为与其定义的关键属性相一致,本文提出了一种基于有色Petri网模型的运行时确保机制,从而提高服务组合运行的可靠性.文章首先介绍了服务交互行为CPN模型,用于精确刻画服务交互行为及其重要属性.结合服务实例,进一步对模型可达集和关键监控属性展开深入分析.在可达集的基础上,描述将模型运用于运行时监控的方式确保服务交互行为的关键属性.同时,本文从并行化执行流程和交互行为检测算法两方面介绍了服务交互行为的运行时监控机制.最后,评测结果表明这种运行时确保机制在性能、检测效率等方面都具有良好的表现.
其他文献
目的探讨原发性肝癌门静脉癌栓合并肝门淋巴结转移的手术疗效。方法 2001年1月～2003年12月28例肝癌伴门静脉癌栓术中发现肝门淋巴结肿大行肝门淋巴结清扫术,将有肝门淋巴结转
对于退化失效型产品,当产品的特性参数超过给定阈值时即发生失效,失效阈值定义越严格则对产品功能要求越高,则产品越容易发生因不满足该功能要求而失效,可见产品的寿命数据与
单片扩散反应器是一种可以在反应条件下同时测量物料传递系数和反应动力学参数的新实验手段,可以在一个简单的实验中得到较多的动力学行为的信息,且对操作条件的要求比较宽容
为探讨金属铑的催化作用的本质,本文用赝势价轨道从头算方法研究了H_2,CO,N_2与Rh,Rh_2的相互作用。通过对H_2,CO,N_2与Rh,Rh_2几种接近方式的能量计算,发现当H_2与Rh_2以平
以TBA~+为模板剂在六种不同的体系中合成了ZSM-5和ZSM-11分子筛。考察了反应混合物中Al_2O_3含量对产物中ZSM-5和ZSM-11分子筛的相对含量及其晶化速度的影响。在此基础上,提
本文是作者参加北京地铁呼家楼站建设中的工作经验,供同仁们工作中参考。北京地铁呼家楼站范围内地下管线、周边建筑物众多,主体穿越东三环上的京广立交桥和朝阳北路,车站主
用离子静电势、弱酸中毒法及红外光谱法表征了交换型和浸渍型碱金属离子沸石的酸碱性,并将其与对二甲苯-甲醇的侧链烷基化反应的活性和选择性相关联。结果表明,反应活性和选
合成了具有Keggin结构的杂多化合物K_7PW_(11)O_(39)·xH_2O(简写为PW_(11)),K_5PW_(11)ZO_(39)·xH_2O(Z=Mn~(Ⅱ),Co~(Ⅱ),简写为PW_(11)Mn,PW_(11)Co)和Dawson结构
冰天雪地中，究竟是遭遇险境的联想再次选择了“创始人”？还是老骥伏枥的“创始人”再次选择了联想？
目前有些建筑起重机械相关单位因种种原因，未能完善建筑起重机械安全技术管理，其原因是这些建筑起重机械相关单位不理解建筑起重机械相关要求。本文有针对性地对建筑起重机械相