【摘 要】
：
在复杂多变且不可预知的因特网环境中，Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题，提出了一种将服务组合实例的服务交互行为Pet
【机 构】
：
国防科学技术大学计算机学院,中国电子设备系统工程公司
【基金项目】
：
国家自然科学基金资助项目（90818028）,国家863计划资助项目（2007AA010301）,“核高基”重大专项资助项目（2009ZX01043-002004）
论文部分内容阅读
在复杂多变且不可预知的因特网环境中，Web组合服务的实际交互行为和它本身定义的规约之间的一致性是难以确保的。为了解决这个问题，提出了一种将服务组合实例的服务交互行为Petri网模型应用于交互行为一致性检测的方法。首先，提出了一个web服务交互行为的运行时监控框架，从行为抽象和提取方法、服务交互行为的捕获机制以及交互行为一致性运行时检测方法三方面进行了详细介绍。还详细描述了基于服务交互行为Petri网模型的一致性检测机制。最后，对一致性检测方法的负载和性能进行了充分的评估。
其他文献
目的:总结冠状动脉支架置入术患者的心理护理。方法:对120例接受冠状动脉支架置入治疗患者进行心理护理的回顾性分析,并对冠状动脉支架置入治疗患者各自不同心理变化进行相应
“狱侦耳目”作为一项特殊的刑事侦查手段,由于其具有秘密性、隐蔽性,所以一直不为社会公众所知,正因如此,该制度被滥用的危害长期以来被人们所忽视。狱侦耳目制度从中国汉代
2017年9月23日至24日,由复旦大学国际问题研究院主办、国家领土主权与海洋权益协创中心及两岸关系和平发展协创中心协办的复旦大学第二届中国海洋战略高端论坛成功举行。来自
2013年11月18日—23日,为期五天的省优质课评选在威海市实验中学举行。本次活动共安排了35节课,我一共听了18节课。来自不同地区的优秀教师各显神通,让自我的风采在课堂上飞
文章对本校工程地质授课对象学情进行了分析,并对课程教学模式进行改革探索。改革的总体思路是教师少讲、学生多做,让学生讲课、让学生思考、让学生动手。工程地质课程教学模
桂政办发[2018]96号各市、县人民政府,自治区人民政府各组成部门、各直属机构:《广西数字社会建设三年行动计划(2018-2020年)》已经自治区人民政府同意,现印发给你们,请认真
桂政办发[2018]102号各市、县人民政府,自治区人民政府各组成部门、各直属机构:《广西全面建立'云长制'工作方案》已经自治区人民政府同意,现印发给你们,请认真贯彻
在“互联网”时代,学生可以轻易获得大量的数据信息,同时也能享受到更加优质的资源,这对传统的会计教学途径产生了极大的冲击。文章对当前高校的会计教学现状进行了详细分析,
中国学术期刊评价委员会、武汉大学中国科学评价研究中心发布了最新版的《中国学术期刊评价研究报告》（2011-2012）,由卫生部主管、中国医学科学院主办、中国医学科学院医学信息
随着教育改革的不断推进,对小学数学教学提出了更高的要求,要求教师在开展数学教学的过程中,重视学生的逻辑思维能力培育。因此,教师开展数学教学时培育学生的思维能力,成为