公共文化服务平台

李彤: 作品数：269 被引量：843H指数：14; 供职机构：云南大学更多>>; 发文基金：国家自然科学基金云南省自然科学基金云南省教育厅科学研究基金更多>>; 相关领域：自动化与计算机技术文化科学自然科学总论经济管理更多>>

合作作者

基于模型的验证及其方法被引量：9: 2001年; 基于模型的验证（Ｍｏｄｅｌ－ｂａｓｅｄ　Ｖｅｒｉｆｉｃａｔｉｏｎ）方法在软件开发中，特别是安全性系统、复杂系统的开发中占有的地位越来越重要。ＭＢＶ侧重于在开发的早期找出错误，从而避免时间、金钱的耗费及重复性的劳动。在研究各种ＭＢＶ技术的基础上，着重于软件系统的模型验证方法，对各种方法作了基本的介绍，并总结了发展方向。; 赵辉李彤; 关键词：SMV SPIN 软件开发软件系统

结合Petri网和Pi演算的协同业务过程建模被引量：9: 2015年; 协同业务过程使组织业务过程同其他组织的业务过程间进行交互和协作,以形成相对稳定的过程视图,从而满足共同的商业目标。为确保过程模型的正确性,采用形式化方法对协同业务过程进行建模变得越来越重要。将Petri网和Pi演算进行交叉应用,提出了一种协同业务过程的建模方法。该方法采取关注点分离的原则,一方面,从控制流角度,针对协同业务过程面向流的特点,提出公共视图,使用Petri网直观描述参与协同组织的业务过程的静态结构和状态转换;另一方面,从交互角度,针对协同业务过程面向协作的特点,提出协作视图,使用Pi演算描述业务过程间的交互。为建立Petri网和Pi演算间的关联,提出了进程标号迁移系统。与传统的业务过程建模方法相比,该方法能有效支持协同业务过程具有的个性化特征。; 代飞莫启林雷蕾朱锐李彤谢仲文; 关键词：PETRI网 PI演算

一种多视角的跨组织业务过程建模方法被引量：7: 2015年; 为有效支持传统的组织内业务过程的建模方法,采用多视点的思想,秉承关注点分离的原则,使用Petri网,提出一种多视角的跨组织业务过程建模方法。该方法以自底向上的方式,从内部视角、公共视角和协作视角三种视角对跨组织业务过程的不同方面进行描述,得到私有过程、公共过程、协作过程三种不同的过程形态。使用该方法对供应链的购买过程进行了建模说明,与现有建模方法相比,说明该方法可有效支持跨组织业务过程的个性化特征。; 代飞莫启林雷蕾李彤顾思雅朱锐; 关键词：业务过程建模 PETRI网

面向方面业务过程建模的正确性控制与检测被引量：3: 2018年; 在组织机构不断将其业务转向面向过程模式从而获得低成本、高效率、高服务质量与高生产力的同时,积累了成百上千的业务过程模型.为了支持这些大批业务过程柔性建模并提高业务过程模型可重用性,采用关注点分离思想,将实现不同功能的活动按照横切关注点活动和基本业务活动实施分离,提出面向方面业务过程建模框架.提供业务过程可重用建模方法的同时,灵活可控地实现过程模型正确性保障与检测.在面向方面业务过程建模框架中,首先定义面向方面业务过程元模型,将横切关注点活动封装为横切方面,将基本业务活动建模为基本过程.然后,按照业务过程模型正确性需求,基于面向方面编织特征,定义面向方面业务过程模型正确性,设计方面间编织正确性准则和方面织入基本过程正确性准则,为面向方面业务过程建模提供预防错误与异常建模的方法,并提出过程建模正确性检测方法,在建模过程中保证无错误与异常.在此基础上,提出面向方面业务过程建模方法,证明过程模型的结构正确性、性质合理性和行为一致性,并设计实现建模辅助工具TPAT(Trustworthy business Process Aided Tool),为面向方面业务过程建模提供技术支持.最后,通过在两个银行业务案例分析中使用所提出的理论、方法和技术,并进行性能评估,说明所提出的理论和方法是可行的,开发的辅助工具是有效的.面向方面方法可以为业务过程建模提供灵活可重用的建模方法,通过使用建模正确性准则并在建模过程中监控异常与错误,保证业务过程模型正确性,支持组织机构获得更好的过程支持和日益变更环境的适应性.; 张璇王旭王旭李彤刘俊晖; 关键词：面向方面建模业务过程建模 PETRI网

云计算安全风险因素挖掘及应对策略被引量：30: 2015年; 云计算作为一种全新的服务模式,其特点决定了它面临着比传统网络和信息安全更多的安全风险问题,且该问题已成为制约云计算发展的重要因素。介绍了云计算体系结构及特征,分析了云计算安全风险研究现状,重点剖析了云计算技术和管理的安全风险因素,并给出应对策略,可供云服务商、云用户和云监管机构参考或借鉴,对云计算的进一步发展具有一定的指导意义。; 姜茸马自飞李彤张秋瑾; 关键词：云计算云安全管理风险

一种声明式EFSA推断算法以及其声明kTails和Synoptic的方法: 本发明公开了一种声明式EFSA推断算法,其特征在于，包括以下步骤：指定属性类型；属性类型包括扩展参数有限状态自动机EPFSA和绑定评估函数；采用绑定评估函数从日志轨迹中挖掘符合属性类型的实例；通过组合函数依次合并属性实例...; 张泽辉李彤朱锐汤雅惠贾雪彬候振刘启东; 文献传递

一种基于执行者过程树的双维度遗传过程挖掘方法: 本发明公开了一种基于执行者过程树的双维度遗传过程挖掘方法，其特征在于，包括以下步骤：控制流维度：使用IM算法分别对事件日志中的案例进行预挖掘，生成的过程模型作为遗传挖掘算法的初始种群，通过遗传挖掘算法对过程模型进行整合优...; 汤雅惠朱锐李彤吕昌龙王基书王强; 文献传递

细粒度同异步偏序权限建模角色访问控制模型被引量：2: 2014年; 角色访问控制的应用提高了系统易用性和健壮性.分析了RBAC模型,指出其在细粒度和表达能力等方面的一些缺陷,结合UML对其重构,提出支持偏序权限建模的细粒度面向对象RBAC模型,基于该模型结合部分GoF模式设计了通用应用框架.与其它应用框架相比有着良好的通用性,支持权限关系的同异步及偏序关系表达,并在细粒度动态访问控制上具有更好的灵活性和效率.; 刘鹏远李彤孙宝林蒋国银; 关键词：角色访问控制细粒度偏序

跨组织业务过程协同多视图模型被引量：2: 2015年; 为了解决企业间业务过程协同的建模问题,特别是模型的验证效率及异步通信机制问题,结合Petri网和pi演算各自的优势,提出了一种多视图的建模方法。基于Petri网建模跨组织业务过程模型的内部视图,将通信接口抽取出来并通过映射将其与内部变迁关联起来得到公共视图,并对异步通信机制进行研究,运用pi演算对其通信过程进行建模得到通信行为视图,进而使得跨组织业务过程协同的验证转换成pi演算的推演;通过对通信机制的分析,给出了两个活动进行调整时所要满足的条件并证明了满足该条件的调整是上下文无关的,通过建模实例阐述了该方法的有效性。; 笪建莫启李彤代飞朱锐骆霄林雷蕾程耀坤; 关键词：异步通信 PI演算

一种基于自适应超图的交通预测方法及系统: 本发明公开一种基于自适应超图的交通预测方法及系统，涉及交通预测技术领域，构建交通预测网络；所述交通预测网络包括自适应图结构生成器、跳过连接层、输出层和若干个时空块；所述时空块包括若干个时空层，所述时空层包括图卷积网络和门...; 朱超朱锐李彤陈婧肖强

李彤

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户反馈

李彤

合作作者

文献类型

领域

主题

机构

作者

传媒

年份

用户登录

用户反馈