【摘 要】
：
随着互联网中包含多个交互的复杂服务的大量出现,如何有效检测服务之间的匹配性至关重要.与传统的业务流程互操作匹配性验证不同,在互联网环境下匹配性检测,一方面要面临如何
【机 构】
：
中国科学院计算技术研究所网络数据科学与工程研究中心,中国科学院大学,中国科学院计算技术研究所计算机体系结构国家重点实验室
论文部分内容阅读
随着互联网中包含多个交互的复杂服务的大量出现,如何有效检测服务之间的匹配性至关重要.与传统的业务流程互操作匹配性验证不同,在互联网环境下匹配性检测,一方面要面临如何实现快速检测的挑战,另一方面要解决如何准确地检测完整且精确的不匹配原因以便及时修正.为此,文中提出了一种基于交互冲突的服务互操作性检测方法,该方法利用局部交互之间的行为约束关系检测复杂服务互操作的匹配性,并形式化证明了该方法能够获得与经典的互操作匹配性检测方法一致的检测结果.与经典的互操作匹配性检测方法相比,该文方法时间复杂度低且检测结果可以确
其他文献
喹乙醇作为一种促长剂,有其一定功效,但其蓄积毒性的弊端又限制了喹乙醇在市场上的大量应用,甚至被一些国家禁用。在中国,喹乙醇可以少量用于某些特定家畜的饲料中。为准确简
正确的时间属性和行为对于实时软件来说非常关键,然而这却很难得到完全的保障.在实际工业中,实时性错误不仅会在软件的设计开发阶段被引入,在软件的维护阶段,随着软件的演化
<正>饲料中禁抗,从原则上说不是难事,但落实到现场养殖中则并不容易,最大的风险会落在管理不良和生物安全防护差的养殖场,最大的压力是在仔猪断奶阶段。建议饲料禁抗要给出时
重叠社区发现研究是当前图挖掘领域的前沿热点.基于结构适应度的局部扩张方法是其中一类可同时探测社区重叠和层次结构的方法.该文首先提出了基于邻域粗糙化的社区局部扩张方
橡胶籽饼粕水解,利用离子交换法提取水解液中的L-精氨酸后,母液用于制备复合氨基酸饲料添加剂,考察了树脂型号、温度、p H值、氯化钠浓度、洗脱条件、精制方法等因素对精氨酸
11月29—30日，第四届（2017）中国肉牛选育改良与产业发展国际研讨会在北京举行，来自中国、美国、韩国、日本、澳大利亚、新西兰、巴基斯坦、哈萨克斯坦、越南、贝宁、埃及等11个国
本文通过详细介绍了肉品质量安全全产业链追溯系统的设计和应用,阐述了二维码、RFID标签、SaaS云平台等新型物联网技术如何在肉品追溯中发挥着重要的信息管理作用。新型物联网技术有力推动了食品安全监管的可实现性和操作便利性,大规模推广应用后将全面提升管理信息化水平,大幅提高政府监管效率,彻底解决食品安全监管追责问题,未来将具有十分广阔的应用价值,社会意义重大。
构造了一个新的并发不可延展的零知识论证系统,具有更好的鲁棒性.新方案基于Feige-Shamir结构而设计,以具有鲁棒性的不可延展承诺方案以及巧妙设计的证据不可区分性证明为基
可信任是下一代互联网的重要特征,真实地址访问是可信任的基础和前提.自治域级真实地址访问是整个可信任互联网体系结构中最为复杂的一个层次.基于标签的源地址验证不受拓扑
最大可满足性问题（MAXSAT）是经典的NP完全问题SAT的一个扩展问题.基于分支限界设计MAXSAT完备算法时，如何有效地提高下界是设计高效算法的关键和难点.基于优先找到规模小、结构