公共文化服务平台

王进: 作品数：22 被引量：33H指数：3; 供职机构：南京航空航天大学计算机科学与技术学院更多>>; 发文基金：国家自然科学基金国家高技术研究发展计划中国博士后科学基金更多>>; 相关领域：自动化与计算机技术经济管理机械工程更多>>

合作作者

带时间约束的Web服务异步交互相容性分析: 在服务组合中为了满足用户的需求规约，有时不可避免地采用异步交互方式，但异步交互行为不可能无限等待。针对带有时间属性限制的异步交互的Web服务组合问题，提出了一种基于时间自动机的服务相容性检测算法。利用扩展时间属性的Web...; 夏洋洋黄志球王珊珊范大娟王进; 关键词：WEB服务时间自动机

基于BPEL的RESTful Web服务异步交互及组合研究: RESTful Web 服务由于其轻量级和明确语义等特性，已成为云计算环境下发布服务的首要方法。但由于RESTfulWeb服务仅支持同步的交互方式，在面对复杂业务逻辑时难以通过服务组合的方式来满足业务需求。本文提出了一种...; 铁威黄志球王进; 关键词：异步交互 BPEL; 文献传递

面向行为的Web服务组合隐私策略描述研究被引量：1: 2013年; 验证Web服务组合是否满足用户隐私需求,是目前Web服务组合中隐私保护的研究热点,但现有研究很少关注带有行为特征的隐私需求。提出了一种限制隐私数据访问与服务调用时序关系的面向行为隐私需求的描述方法,为其形式化验证奠定了基础。给出了带有目标和义务等特性的面向行为的隐私策略模型,并使用六元组进行表示。给出了该模型的XML Schema定义,在此基础上实现了自然语言描述的隐私需求到XML表示的隐私策略的转换。通过案例分析说明了该方法的有效性。; 陆嘉俊黄志球王进沈国华柯昌博; 关键词：WEB服务组合

基于SLA的动态云体系结构被引量：2: 2011年; 为维护云计算中云服务消费者和云服务提供商双方的利益,提出一种基于服务等级协议(SLA)的动态云体系结构。该体系结构采用WS-Agreement规约语言描述SLA,分析SLA的协商生成过程,动态监控SLA的执行,并根据案例推理理论采取响应动作,避免SLA违约。实验结果表明,该体系结构可维护双方的利益,提高云服务的运行效率。; 刘春勇黄志球王进徐丙凤; 关键词：云计算服务等级协议

支持模型检测的云计算隐私建模方法研究: 可伸缩性，按需付费以及基于网络的消息传递是云计算的三个核心特征。云计算强调一切皆服务。基础设施层、平台层以及面向最终用户的软件层都被包装为不同形式的服务，并通过不同的交互方式和数据协议完成协作。这种分层可伸缩的协作方式为...; 王进; 关键词：云计算隐私策略

面向超媒体链接的RESTful服务隐私建模方法被引量：7: 2017年; 表述性状态传递(RESTful)服务已成为当前以云计算、物联网为代表的泛在服务体系结构中使用最广泛的服务交互方式.与传统SOAP/WS-*Web服务不同,RESTful服务的超媒体特性使得其服务响应中常包含能作为引擎驱动新资源调用的链接.RESTful服务请求/响应过程包含复杂的内部状态变迁,也带来了更大的隐私泄露风险.如何在超媒体驱动的动态交互方式中精确刻画隐私活动并支持面向隐私需求的验证,是RESTful服务隐私保护的1个基本问题.提出了一种RESTful服务应用状态隐私的形式化模型并研究了从RESTful服务描述向此模型的自动转换方法.在该模型中,不仅通过RESTful服务中隐私活动的元建模确保了对隐私操作的精确刻画,同时形式化定义了RESTful服务资源操作、链接等基本概念以及之间的关联关系.最后讨论了该理论方法的实现框架,并通过案例分析和基于自行开发的实现工具的实验说明了方法的可用性.; 王进黄志球; 关键词：超媒体

飞机排班中多任务调度技术研究: 飞机排班是航空公司生产计划中的一个重要环节，直接关系航班成本和航班效益。如何科学、合理、高效地进行飞机排班是降低航空公司成本、提高航班运行效率和效益的关键。本文重点对飞机排班中的多任务调度技术进行研究，以提高飞机排班效率...; 王进; 关键词：多任务调度多AGENT系统; 文献传递

基于混合编程的航空公司机组调度实现技术研究: 2015年; 该文研究了机组调度系统的基本功能单元和算法,论述了在机组调度系统中应用Delphi、Visual C＋＋、MATLAB混合编程技术和方法,分析了混合编程技术在系统开发中的独特优势,完成了基于混合编程的航空公司调度系统的开发。; 王进夏洪山; 关键词：DELPHI MATLAB VISUAL C++混合编程

金融分布式数据库异步全局索引研究: 2023年; 伴随移动支付的快速发展,传统的金融核心业务所使用的集中式数据库面临性能、可用性等方面的挑战。为此有研究者提出了采用计算和存储分离架构的分布式数据库解决思路,通过网络连接构建在物理上分散、逻辑上集中的分布式数据库管理系统。全局索引是分布式数据库提升查询效率的重要手段,但当前的全局索引主要通过在传统网络中利用同步机制来实现。这种机制在金融数据管理的典型交易和批量导入数据场景下面临单表索引数量少、吞吐量降低、事务响应时间抖动等亟需解决的问题。为此,提出了一种基于分布式数据库的异步全局索引架构,通过新增MQ消息队列、分布式缓存,以及利用RDMA网络,实现一种满足金融典型场景需求的异步全局索引。为了验证有效性,与Oracle、CockroachDB在相同的场景下进行大量对比分析,实验结果表明,在金融核心业务数据的批量导入、交易等场景中,该方法的主要性能指标比现有方法提升60%以上,而对系统资源需求降低20%以上。; 金磐石李博涵秦小麟邢磊李晓栋王进; 关键词：分布式数据库异步低时延

BPEL谓词约束建模及可行路径分析: 2014年; 为了解决由于缺乏谓词约束表达式的建模和分析带来的业务流程执行语言(business process execution language,BPEL)中路径分析不准确问题,提出了一种针对BPEL中XPath表达式的谓词约束分析和建模方法,并在此基础上提出了BPEL可行路径的分析算法.与以往BPEL建模中大多仅考虑结构化行为不同,该方法系统分析了数据封装对执行路径的影响.该方法综合考虑BPEL中表达式的语法结构以及结构化活动对BPEL中变量的影响,采用扩展行为影响的变量结构树对BPEL中原子数据表达式进行建模,并进一步考虑了复合谓词表达式的建模和基于此模型的BPEL可行路径分析方法.最后,结合案例分析了该方法的可行性.; 王进黄志球唐佳俊陈哲肖芳雄; 关键词：业务流程执行语言 XPATH