云南高校图书馆联盟文献共享服务平台- WEB服务行为

WEB服务行为: 作品数：10被引量：56H指数：3; 导出分析报告; 相关领域：自动化与计算机技术更多>>; 相关作者：邓水光李莹曹国荣解金刚吴浩更多>>; 相关机构：浙江大学南京航空航天大学同济大学国防科学技术大学更多>>; 相关期刊：《计算机工程与设计》《微电子学与计算机》《现代电子技术》《计算机集成制造系统》更多>>; 相关基金：国家自然科学基金国家高技术研究发展计划国家科技支撑计划浙江省自然科学基金更多>>

多Web服务组合兼容性的自动化验证被引量：1: 《计算机工程与应用》2016年第7期67-73,共7页贾志淳邢星; Web服务组合的目的是实现单一服务无法满足的复杂功能,而保证组合的正确性以实现服务增值是十分必要,因此组合之后的正确性验证是Web服务组合的一个重要研究方向。从Web服务交互行为方面描述多Web服务组合,在提出行为兼容性的相关理论...; 关键词：PI演算 WEB服务组合行为兼容性 WEB服务行为自动化验证

基于本体的Web服务行为语义建模方法被引量：2: 《电子学报》2015年第3期601-604,共4页李庆新刘淑芬曲明; 吉林省科技发展计划项目(No.20125020);中央高校自然科学基本科研业务费项目(No.450060501285);吉林大学教育部重点实验室开放基金项目(No.450060501479); 提出一种基于本体的Web服务的服务行为语义建模方法,对于Web服务提供的服务行为、用户预期的服务行为、以及服务组合的交互行为之间的一致性关系进行了语义建模,构建了判断Web服务提供的服务行为是否符合用户预期的本体描述和语义计算模...; 关键词：WEB服务行为服务发现服务组合

Web服务行为相容性和可适配性的一种分析方法被引量：2: 《应用科学学报》2012年第6期661-668,共8页范大娟黄志球曹子宁王进; 国家自然科学基金(No;61272083;No.61170043);国家"863"高技术研究发展计划基金(No.2009AA010307);中国博士后科学基金(No.20110491411);江苏省博士后科研资助计划项目基金(No.1101092C)资助; 基于有限状态机模型,在服务组合层面上提出了Web服务之间3种相容性的判定方法.对于两个不相容的Web服务,通过分析它们的行为路径对的可适配性来判断Web服务之间的可适配性;对于两个可适配的Web服务,通过生成它们的行为路径对的子适配器...; 关键词：WEB服务 FSM模型行为路径相容性可适配性

基于规范流网的Web服务行为适配方法研究被引量：1: 《计算机科学》2012年第10期108-114,共7页曹国荣谭庆平解金刚吴浩; Web服务适配是面向服务计算领域的重要研究内容。针对现有服务行为建模和适配技术在循环服务行为、数据流建模和状态空间爆炸方面存在的问题,提出一种新的服务行为建模和适配方法,并结合实例阐述该方法如何以规范流网为基础,建模服务行...; 关键词：规范流网服务适配符号化可覆盖树数据依赖动作依赖适配器

基于开放Petri网的Web服务行为弱合理性分析被引量：1: 《微电子学与计算机》2012年第5期77-80,85,共5页王娟方贤文; 国家自然科学基金项目(60873144);安徽省高校自然科学基金重点项目(KJ2011A086); 目前,组合Web服务的正确性主要是通过合理性来判定,判定服务组合模型是否满足行为一致相关性是判定合理性的有效方法,而已提出的行为一致相关性判定算法仅在T-不变量存在的情况是可行的.文中利用开放Petri网对Web服务进行建模,基于服务...; 关键词：开放Petri网Web服务行为弱合理性行为相关性

基于标签转换系统的Web服务行为失配类型的判定方法被引量：2: 《计算机集成制造系统》2011年第12期2743-2751,共9页郑剑江建慧; 国家863计划资助项目(2007AA01Z142);江西省自然科学基金资助项目(2009GZS0043);江西省教育厅科学技术研究项目(GJJ09247);江西省教育厅青年科学技术研究项目(GJJ09522)~~; 目前,对于精确地确认失配类型,特别是如何区分未指定接收的失配和死锁的研究工作还较为缺乏。针对该问题,采用标签转换系统对Web服务的行为协议进行描述,并提出了一种基于该描述的失配类型判定方法,该方法不仅能识别常见的失配类型,而...; 关键词：WEB服务失配类型可比较路径服务适配行为相容

Web服务行为一致性与相容性判定被引量：17: 《电子学报》2009年第3期433-438,共6页殷昱煜李莹邓水光尹建伟; 国家自然科学基金(No.60703042);国家863高技术研究发展计划(No.2006AA01Z171;2007AA01Z124);国家科技支撑计划重大项目(No.2006BAH02A01);浙江省自然科学基金(No.Y106045); Web服务行为相容性和一致性是保证服务组装的正确性和可靠性的关键.然而,如何有效快捷的对其判定是一大难点.在深入分析服务行为特点的基础上,引入Martin-Lf类型论(简称:MTT),并针对其在服务动态行为描述上的不足进行有益的扩展.然后,...; 关键词：WEB服务行为相容性一致性

Web服务行为兼容性的判定与计算被引量：29: 《软件学报》2007年第12期3001-3014,共14页邓水光李莹吴健邝砾吴朝晖; Supported by the National Key Technology R&D Program of China under Grant No.2006BAH02A01(国家科技支撑计划);the National Natural Science Foundation of China under Grant Nos.60603025;60503018(国家自然科学基金);the National High-Tech Research and Development Plan of China under Grant No.2006AA01Z171(国家高技术研究发展计划(863));the Natural Science Foundation of Zhejiang Province of China under Grant No.Y105463(浙江省自然科学基金); 确保Web服务行为兼容是实现Web服务无缝集成与协作的一个重要问题.在服务视图概念的基础上,给出了Web服务行为兼容性的相关定义.提出一种基于π演算的Web服务行为兼容性的定性判定与定量计算方法.该方法首先通过算法自动地将Web服务行为...; 关键词：WEB服务服务行为行为兼容 Π演算进程

基于Web Services的无刷新数据交换研究及应用被引量：4: 《计算机工程与设计》2007年第7期1708-1709,共2页史娟郑琼华沈昱明; 将实时数据通过Web的方式发布,实时显示过程参数,已经成为现代工业控制的一项热门课题。通过对XML Web Service技术和Java Script的研究,提出了一种基于B/S结构应用系统的无刷新数据交换的处理方法,可以动态更新页面的局部,而不刷新整...; 关键词：XML WEB服务无刷新 JAVA脚本 WEB服务行为 B/S结构

基于有限自动机的Web服务行为的描述与发现被引量：1: 《现代电子技术》2007年第2期121-123,共3页曹永忠丁秋林李斌; Web服务技术越来越成为应用和研究的热点,对Web服务的行为描述的几种方案进行比较分析,推荐了对原有限自动机定义进行扩展的方法,以达到准确地描述Web服务间的执行步骤和相互作用的目的。; 关键词：有限自动机扩展 WEB服务 WSDL

WEB服务行为