公共文化服务平台

一种考虑消息类型的服务可替换性验证方法: 2012年; 针对SOA中成员服务失效率较高的问题,提出一种考虑消息类型的、基于Web服务描述语言(WSDL)的服务可替换性验证方法。通过解析服务的WSDL描述文件给出服务的形式化表达式,根据服务契约判定2个服务形式化表达式间的替换关系,对比存在替换关系的2个服务的消息类型,得出2个服务是否可替换的结论。实验结果表明,该方法能得到更严格的服务可替换性关系。; 刘伟杨勇张亮; 关键词：WEB服务描述语言形式化

结构片断和运行日志相结合的流程设计推荐被引量：2: 2017年; 广泛且持久的业务运作造就了业务大数据背景,大量的业务运作历史记录信息可被利用,互联网时期企业唾手可得的运行日志和参考流程模型给当今企业流程建模带来了新的机遇.如何利用这些机遇尚缺乏有效的支撑技术,流程挖掘和流程检索仅可靠单一的来源、静态的标准、全局化粒度缓解上述矛盾,且不能体现流程设计这种活动创造性本质.提出一种用平均感知机综合历史执行日志和参考模型片段的设计时模型推荐方法.其特点是兼顾了日志数据和流程模型,并将设计这种人类所特有的创造性和对现实环境的适应性结合进流程建模过程中.在三个不同类型的数据集上的实验表明,本方法具有更好的人类行为贴近度:真实的生物信息学实验流程(实验准确度53.69%)、相关工作对比数据集(+42.35%)、Pro M仿真工具PLG生成的大规模数据(比只考虑流程时+9.46%,比只考虑日志时+5.94%),证实了通过抽取多重特征的平均感知机的流程设计时即时推荐技术可有效地辅助流程业务建模.; 宇菲郭立鹏张亮; 关键词：业务流程建模

基于混成系统的物联网服务建模与验证被引量：5: 2013年; 物联网是物理世界和信息世界的无缝融合,它将信息世界的快速发展能力带到了物理世界,促使信息与实体服务方式发生深刻的变革.物联网服务的正确建模和验证需要统一描述现实世界中的物理实体和计算机中的软件系统.鉴于这一需求的复杂性,现有的物联网分析模型大都割裂了物理世界与信息世界,因此不能准确反映物联网服务区别于Web服务的重要特征.解决这一问题,是促进物联网服务能够真正向智能、可靠发展的先决条件.本文利用混成系统对信息系统的离散指令与物理设备连续行为刻画能力,提出一种基于混成系统理论的物联网服务建模与验证框架,其中原子服务由物理设备与相应的控制系统共同组成的混成系统构成,组合服务再由分布式混成系统组织各原子服务构成.这一物联网服务建模与验证框架有效地统一了物理设备、控制系统与组合服务系统,从而具备了对物联网服务的深度建模与全面验证能力.; 叶林汤瀑郭立鹏张亮; 关键词：混成系统

延迟绑定任务间相互依赖型业务流程的建模与实现: 2013年; 使业务流程模型适应环境的变化是企业保持竞争力的重要任务.建模期间无法预知的变化是一类常见且困难的挑战,需在运行时根据流程实例和上下文动态绑定.前人的工作(如Worklet)可将任务延迟到运行时绑定或建模到子流程.但是,尚无有效方法处理流程中这些任务延迟绑定到的子流程间的依赖关系.提出一种业务流程依赖建模方法,设计了一个基于WSCoordination的协同规范使处理任务延迟绑定的Web服务在前述依赖关系下协同工作,并通过扩展YAWL和Worklet实现的原型系统证实所提出机制的可行性.该机制是一种兼顾流程运行时灵活性和流程约束的业务流程管理方法.; 周征奇张亮; 关键词：业务流程管理

BPDetector:一种可扩展的业务模式识别框架被引量：1: 2016年; 为了有效地发现业务模式,提出一种基于复杂事件处理技术的可扩展业务模式识别框架,该框架不仅可以从日志中发现业务模式以及相应的配置参数,还具可伸缩特征,即框架与待发现的业务模式及其个数不存在紧密关系。以中国移动公司办公系统内部的业务流程执行日志为例,基于Esper复杂事件处理开源工具开发了业务模式识别系统,验证了该方法的可行性和有效性。; 闾亚雷建坤杨丽琴张亮; 关键词：复杂事件处理

基于梯度的改进动态Web服务选择算法: 2019年; 随着Web2.0的迅速发展,互联网上发布的Web服务越来越多,不同服务供应商提供的服务通过整合以提供功能更强大的组合服务。每个服务节点上功能相似的Web服务的QoS(quality of service)不同,因此,QoS全局最优动态Web服务选择成为了服务组合中的一大挑战。在传统的粒子群优化算法的基础上引入梯度的思想,文中设计了一种用于解决动态Web服务选择问题的改进算法gPSO-GODSS。将问题抽象为带QoS约束的多目标组合优化问题,并进一步将其向单目标转化。利用梯度的方法改进粒子群算法的更新速度,从而改进算法的收敛速度,最终产生一组满足约束条件的优化服务组合流程集。理论分析和实验结果证明了该算法的可行性和有效性,且gPSO-GODSS算法收敛的执行效率和收敛速度均优于已有的PSO-GODSS算法。; 杨丽琴康国胜; 关键词：粒子群算法

基于扩展WSDL行为描述的Web服务组合被引量：1: 2014年; 互联网上存在丰富的Web服务以及自动服务组合方法,但这些自动组合方法(如经典的Roman模型)均要求服务暴露其行为,以此作为服务是否可自动合成的先决条件。现有的Web服务描述文档(如W3C的WSDL标准)缺乏对服务行为的有效描述,使得这些自动化服务组合方法在实际中不可行。针对该问题,提出一种在WSDL中扩展服务行为描述的服务接口方案,基于GMF实现服务行为编辑器,帮助用户在WSDL中协同添加或编辑服务行为,并利用Axis2开源框架开发客户端生成器,根据WSDL中的服务行为反向自动生成具有服务行为的客户端。以k-lookahead算法为例在Seekda服务库中应用该服务方案,实验结果验证了其可行性。; 王龙张亮; 关键词：服务客户端

物联网系统的组合与验证被引量：2: 2013年; 目前针对物联网的研究主要是对系统进行整体分析,设计与验证过程较复杂。为此,利用混成系统对物联网系统进行建模,将一个复杂的物联网系统拆分成若干个小的成员系统,分别验证每个成员系统的特性,并通过组合实现对整个物联网系统的验证。以智能交通系统为例进行分析,结果表明,该方法可降低系统分析和验证的复杂度,提高模块化程度,保证物联网系统的可扩展性。; 汤瀑叶林郭立鹏张亮; 关键词：物联网混成系统组件系统组合

基于jBPM5的业务模型执行方法与实现被引量：2: 2015年; 企业的发展与并购这种自底向上的发展方式常常导致企业内部业务流程的异构、冗余和不一致,严重阻碍了业务活动的运作和企业的统一决策。为解决这一问题,基于业务模式的异构业务流程整合方法将流程中的业务行为抽象为业务模式,通过对业务模式的建模得到业务模型,从而给出异构业务流程统一模型视图。辅佐以可配置的业务模式,统一视图的业务模型可根据具体的应用场景配置为具体的业务模式,得到具体的流程。然而,关于业务模型的执行方法目前仍然是一项挑战。提出了一种基于jBPM5的业务模型执行方法,通过对模型中可配置的业务模式节点引入业务规则,并借助规则引擎执行规则驱动模式的执行,从而执行整个业务模型。最后,以中国移动公司办公系统内部发文流程模型整合应用为例,基于jBPM5和Drools开发了业务模式流程整合执行机制,验证了该方法的有效性。; 田朝阳康国胜杨丽琴张亮张笑楠高翔; 关键词：执行引擎 DROOLS

面向大数据试验场应用的资源优化分配: 2017年; 针对多个用户申请有限的资源的情况,提出两段式优化资源分配方法,在满足用户需求的同时确保资源的公平有效分配.根据以往的执行日志自动确定单类应用相对于资源投入量的饱和点.根据占优资源公平分享原则,为每类应用动态确定可投入运行的实例数量,实现全局最优化配置,在平台层面体现资源共享、杜绝欺诈、公平最优以及帕累托均衡等特性.选择Clik+公用的基准测试程序集,以Docker容器作为应用运行环境验证应用的普遍性,实验结果表明:两段式优化资源分配方法提升了资源利用率,且在多用户同时申请资源时优化了资源配置.模拟并检验了两阶段优化资源分配算法的可行性及有效性.; 白如帆雷建坤张亮; 关键词：资源分配

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(60873115)

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

国家自然科学基金(60873115)

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈