支持语义、接口和协议的服务相容性分析

来源 :解放军理工大学学报:自然科学版 | 被引量 : 0次 | 上传用户:vergillove
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
针对已有方法不支持同时对服务的语义、接口和协议层进行相容性分析的问题,提出了一种基于语义、接口和协议信息的服务相容性分析及相容度计算方法。通过对确定有限自动机DFA进行语义接口协议扩展以建模服务的语义、接口和协议信息,在此基础上,给出了服务之间3种相容性的形式化定义。利用服务之间行为路径对的对偶关系来分析2个服务之间的相容性,并计算其相容度证明了该方法的正确性,通过实例分析表明了方法的有效性。
其他文献
在市场经济时代,市场和政府这两只手常常发生“失灵”的情况,这必然带来不可持续发展的严重后果。可持续发展观提供了“第三只手”,这就是伦理道德。这种伦理道德筑基于以人为本
上合组织框架为成员国各方参与经济合作和投资创造了良好的环境,各成员国间的资源、经济互补性和地缘经济利益、投资环境的改善,有利于区域合作的发展。面对经贸合作政治意愿不
伴随着国际社会国际私法的改革浪潮,台湾地区国际私法立法的演进表现出从结构的简单向复杂方向发展、从范围的狭义涉外民事关系向涉外民商事关系方向发展、从法律适用的不平等
无线物联技术在现代网络设备中有着广泛的应用,通过对无线物联技术的应用能够解决网络设备带外管理、设备管理失效、数据传输堵塞、设备管理无法集中等各项难题。为了更好的
新时期国家经济社会的发展、学术文化事业的繁荣对高层次人才的综合性能力与创新素质提出了新的更高的要求,研究生教育必须与时俱进,不断更新观念,在科学发展观的指导下,加快研究
随着经济的飞速发展,我国的科技和文化也在飞速发展,各大高校在数字化建设中加入了云技术的应用,云技术是一种新型的计算机技术,为使用者提供了方便,云技术的主要优点是在云技术环
新疆高校学习实践科学发展观,一项重要内容就是维护高校校园的安全稳定。要在大学生中长期坚持开展意识形态领域反分裂、反渗透教育,开展励志教育和感恩教育,开展无神论教育,高度
从国际法的角度看,提出“入联公投”并不具备任何法理上的依据。台湾不具备加入联合国的资格,不存在民族自决权问题。公投不等同于民主。
目前国内多采用化学沉淀法净化湿法磷酸,该工艺生产成本相对较低,但是净化过程磷损失率较高。通过对含氟化合物沉淀特性的研究,提出了一种通过调控湿法磷酸中F、CaO、Al2O3、
为了使用计算机仿真技术对一些因条件限制而不能完成的工作进行试验模拟、灾害预测、结构性能评估等,利用显示动力有限元软件ANSYS/LS-DYNA模拟某2层带构造柱的砌体结构振动