王进

作品数：15被引量：31H指数：3
导出分析报告
供职机构：南京航空航天大学计算机科学与技术学院更多>>
发文主题：WEB服务BPELWEB服务组合隐私云计算更多>>
发文领域：自动化与计算机技术经济管理机械工程更多>>
发文期刊：《计算机科学与探索》《计算技术与自动化》《计算机应用研究》《电脑知识与技术》更多>>
所获基金：国家自然科学基金国家高技术研究发展计划中国博士后科学基金江苏省博士后科研资助计划项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
金融分布式数据库异步全局索引研究被引量：1
《计算机科学与探索》2023年第11期2784-2794,共11页金磐石 李博涵 秦小麟 邢磊 李晓栋 王进 
国家自然科学基金(62172351);高安全系统的软件开发与验证技术工业和信息化部重点实验室项目(NJ2018014);南京航空航天大学前瞻布局科研专项资金。
伴随移动支付的快速发展,传统的金融核心业务所使用的集中式数据库面临性能、可用性等方面的挑战。为此有研究者提出了采用计算和存储分离架构的分布式数据库解决思路,通过网络连接构建在物理上分散、逻辑上集中的分布式数据库管理系统...
关键词：分布式数据库 异步 全局索引 低时延 RDMA网络 
支持日志乱序提交的分布式一致性协议被引量：1
《浙江大学学报（工学版）》2023年第2期320-329,共10页王进 李博涵 吴佳骏 宋欣洋 
CCF-华为数据库系统创新研究计划资助项目(CCF HUAWEIDBIR2020001A)。
为了解决Raft算法中日志提交的严格串行化设计,提出一种Raft协议变体:并行提交Raft (PC-Raft). PCRaft在日志提交阶段运用流水线,重新设计日志缓冲区,实现日志的乱序提交.传输方式使用RDMA网络,在提高日志传输的并发性的同时加快传输速...
关键词：一致性协议 Paxos RAFT PC-Raft 乱序提交 
一种Web服务组合一致性验证方法研究被引量：1
《计算技术与自动化》2017年第3期81-86,共6页马薇薇 王进 姜家鑫 
国家自然科学基金(61272038)
为解决Web服务组合事务放松ACID属性后,原子性与一致性无法保证同时满足的问题,提出了一种基于有限状态自动机的服务组合概念一致性检测方法。与以往大多通过运行时监控和协调保证应用一致性的方法不同,该方法采用有限状态自动机在设计...
关键词：WEB服务组合 确定有限状态自动机 事务 一致性检测 
面向超媒体链接的RESTful服务隐私建模方法被引量：7
《计算机研究与发展》2017年第4期886-905,共20页王进 黄志球 
国家自然科学基金项目(61272083;61262002);国家"八六三"高技术研究发展计划基金项目(2015AA015303)~~
表述性状态传递(RESTful)服务已成为当前以云计算、物联网为代表的泛在服务体系结构中使用最广泛的服务交互方式.与传统SOAP/WS-*Web服务不同,RESTful服务的超媒体特性使得其服务响应中常包含能作为引擎驱动新资源调用的链接.RESTful服...
关键词：RESTful服务 隐私模型 超媒体 应用状态引擎 互联网+ 
云计算中隐私需求的建模与一致性检测被引量：3
《计算机研究与发展》2015年第10期2395-2410,共16页王进 黄志球 
国家自然科学基金项目(61272083;61262002);江苏省普通高校研究生科研创新计划项目(CXZZ11_0218);南京航空航天大学基本科研业务费专项青年科技创新基金项目(NS2012129)
云计算中应用分层、服务外包以及数据的分布存储等特性引发了隐私保护的新挑战.如何刻画不同服务提供者的隐私需求,并保证不同参与方隐私需求在全局应用上一致无冲突是云计算隐私保护的一个核心问题.在对隐私需求的分类和建模目标系统...
关键词：云计算 隐私需求 形式化模型 需求约简 声明式语言 
基于混合编程的航空公司机组调度实现技术研究
《电脑知识与技术》2015年第1期54-57,共4页王进 夏洪山 
国家软科学研究计划,基于枢纽机场的机场群协作运行关键理论、方法和政策研究（2008GXQ6B）
该文研究了机组调度系统的基本功能单元和算法,论述了在机组调度系统中应用Delphi、Visual C＋＋、MATLAB混合编程技术和方法,分析了混合编程技术在系统开发中的独特优势,完成了基于混合编程的航空公司调度系统的开发。
关键词：机组调度 DELPHI MATLAB VISUAL C++ 混合编程 
面向多服务交互的相容性分析与适配器生成
《吉林大学学报（工学版）》2014年第4期1094-1103,共10页范大娟 黄志球 肖芳雄 祝义 王进 
国家自然科学基金项目(61272083;61170043);'863'国家高技术研究发展计划项目(2009AA010307);中国博士后科学基金项目(20110491411);江苏省博士后科研资助计划项目(1101092C)
针对已有服务适配方法大多只考虑两个服务交互的简单场景且不支持BPEL代码的自动生成的问题,提出了一种面向多个服务交互的适配器自动生成方法。在通过对有限自动机进行扩展以建模服务的签名和行为信息的基础上,给出了分析多个服务之间...
关键词：计算机软件 服务组合 适配器模型 相容性分析 多服务交互 消息映射 
BPEL谓词约束建模及可行路径分析
《计算机研究与发展》2014年第4期838-847,共10页王进 黄志球 唐佳俊 陈哲 肖芳雄 
国家自然科学基金项目(61272083;61262002;61100034);江苏省普通高校研究生科研创新计划资助项目(CXZZ11_0218);中央高校基本科研业务费专项青年科技创新基金项目(NS2012129)
为了解决由于缺乏谓词约束表达式的建模和分析带来的业务流程执行语言(business process execution language,BPEL)中路径分析不准确问题,提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法,并在此基础上提出了BPEL可行路径的...
关键词：服务组合 业务流程执行语言 谓词约束 XPATH 路径分析 
面向行为的Web服务组合隐私策略描述研究被引量：1
《计算机科学与探索》2013年第7期592-601,共10页陆嘉俊 黄志球 王进 沈国华 柯昌博 
国家自然科学基金 Nos.61100034;61170043;中国博士后科学基金 No.20110491411;江苏省博士后科研资助计划项目 No.1101092C~~
验证Web服务组合是否满足用户隐私需求,是目前Web服务组合中隐私保护的研究热点,但现有研究很少关注带有行为特征的隐私需求。提出了一种限制隐私数据访问与服务调用时序关系的面向行为隐私需求的描述方法,为其形式化验证奠定了基础。...
关键词：WEB服务组合 面向行为的隐私策略 可扩展标记语言(XML) 
基于本体的特征模型演化的一致性验证被引量：3
《计算机应用研究》2013年第7期2072-2076,共5页何文民 沈国华 黄志球 王进 范大娟 
国家自然科学基金资助项目(61100034;61170043);南京航空航天大学软件质量保障与测试技术研究生主题创新实验室支持
针对特征模型的演化导致特征间的冲突问题,从特征模型的演化方面进行研究,提出了一种基于本体的特征模型演化的一致性验证方法。首先采用本体理论方法对特征模型的演化进行分析和建模,建立本体的特征模型元模型;其次基于上述元模型,为...
关键词：本体 演化 一致性验证 本体特征模型的元模型 领域特征模型 产品特征模型 演化策略 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部