您的位置: 专家智库 > >

谢仲文

作品数:59 被引量:86H指数:6
供职机构:云南大学更多>>
发文基金:国家自然科学基金云南省自然科学基金云南省教育厅科学研究基金更多>>
相关领域:自动化与计算机技术文化科学理学医药卫生更多>>

文献类型

  • 34篇期刊文章
  • 18篇专利
  • 5篇会议论文
  • 2篇学位论文

领域

  • 35篇自动化与计算...
  • 3篇文化科学
  • 2篇理学
  • 1篇经济管理
  • 1篇医药卫生
  • 1篇自然科学总论

主题

  • 18篇PETRI网
  • 9篇体系结构
  • 8篇软件体系结构
  • 6篇租户
  • 5篇软件演化过程
  • 4篇代数
  • 4篇一致性
  • 4篇软件体系结构...
  • 3篇业务过程模型
  • 3篇用户
  • 3篇有向图
  • 3篇软件工程
  • 3篇软件开发
  • 3篇软件系统
  • 3篇视图
  • 3篇公共
  • 3篇SAAS
  • 2篇大众化
  • 2篇代数构造
  • 2篇单模

机构

  • 58篇云南大学
  • 4篇昆明理工大学
  • 2篇西南林业大学
  • 2篇昆明医科大学
  • 1篇泰山学院
  • 1篇广西大学梧州...
  • 1篇云南电网有限...

作者

  • 59篇谢仲文
  • 44篇李彤
  • 23篇秦江龙
  • 22篇莫启
  • 21篇代飞
  • 18篇林英
  • 11篇刘金卓
  • 11篇赵娜
  • 9篇郁湧
  • 9篇于倩
  • 8篇张璇
  • 7篇朱锐
  • 5篇刘妙
  • 4篇王剑
  • 4篇何云
  • 3篇卢萍
  • 3篇赵莹
  • 3篇钱晔
  • 3篇王炜
  • 3篇孟祥兆

传媒

  • 9篇计算机科学
  • 3篇计算机应用与...
  • 3篇计算机科学与...
  • 2篇计算机集成制...
  • 2篇计算机研究与...
  • 2篇计算机工程与...
  • 2篇软件学报
  • 2篇江苏大学学报...
  • 1篇电信科学
  • 1篇计算机工程
  • 1篇计算机应用
  • 1篇云南大学学报...
  • 1篇小型微型计算...
  • 1篇计算机与数字...
  • 1篇计算机教育
  • 1篇广西大学梧州...
  • 1篇中华医学教育...
  • 1篇2012中国...
  • 1篇第十一届全国...

年份

  • 2篇2022
  • 3篇2021
  • 2篇2020
  • 2篇2019
  • 11篇2018
  • 6篇2017
  • 7篇2016
  • 4篇2015
  • 2篇2014
  • 3篇2013
  • 9篇2012
  • 3篇2011
  • 3篇2010
  • 1篇2009
  • 1篇2004
59 条 记 录,以下是 1-10
排序方式:
基于EPMM的软件过程结构合理性研究被引量:2
2013年
为了确保软件演化过程的正确性,有必要对软件演化所涉及的软件过程进行结构合理性研究,以提高软件演化的质量和效率、缩短软件演化的周期。针对EPMM建模产生的软件演化过程模型,从过程层的角度,提出结构合理性定义,并设计相应的判断算法。结果表明,结构合理性的检验有助于提高软件演化过程的质量。
代飞李彤谢仲文莫启金运志
关键词:软件演化过程PETRI网元模型
带租户演化容忍度的SaaS服务演化一致性判定方法
本发明属于计算软件技术领域,公开了一种带租户演化容忍度的SaaS服务演化一致性判定方法,从SaaS多租户单实例的应用模式出发,分层次细粒度建立服务实例描述模型,充分考虑租户演化要求,引入一致性度量值表示定量计算结果,结合...
王晓芳李彤谢仲文林英秦江龙莫启成蕾郑交交刘晓芳杨真谛郑明李响
文献传递
一种基于SPFA算法计算转发路径的动态路由控制方法和系统
本发明公开了一种基于SPFA算法计算转发路径的动态路由控制方法,根据网络信息通过SPFA算法计算最优路径;从所有交换机中筛选出最优路径经过的交换机id;解析该路径的起始IP地址;删除所有经过的交换机中符合该起始IP的流表...
于倩李彤孙子钧刘峻松赵莹宋星孟祥兆郁湧林英张璇谢仲文赵娜刘金卓
文献传递
基于EPMM的任务和活动的规范化研究被引量:3
2010年
为了开发高质量的软件过程,有必要对任务和活动进行规范。基于EPMM对活动和任务的形式化定义,通过对任务间的逻辑关联、消息关联的分析,提出了规范任务的概念,给出了活动第一范式、活动第二范式和活动第三范式的定义,并给出将低级别的活动范式转化为高级别的活动范式的算法。
谢仲文李彤秦江龙李经磊刘金卓
关键词:逻辑关联
一种面向SaaS多租户的多层模型及其构建方法
本发明属于软件技术领域,公开了一种面向SaaS多租户的多层模型及其构建方法,根据SaaS软件成熟度模型,将SaaS软件自顶向下按照不同的粒度分为了七个不同的层次。体现SaaS软件多租户、可伸缩、可配置的特点;有色Petr...
李响李彤谢仲文林英秦江龙莫启何云成蕾韩煦王晓芳郑交交杨真谛郑明
文献传递
基于Petri网的软件动态演化的一致性分析被引量:3
2016年
在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析。首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证。
谢仲文明利林英秦江龙莫启李彤
关键词:软件体系结构
一种将需求模型转换为软件体系结构模型的方法
需求模型到软件体系结构(SA)模型的转换是软件工程领域的一个研究热点。针对DERM所建立的ACP风格的需求模型,以扩展Petri网风格的SA模型为模型转换的目标,以行为映射为模型转换的依据,提出了一种将需求模型转换为SA...
谢仲文李彤代飞赵娜刘金卓金运志
关键词:软件体系结构PETRI网
文献传递
一种构件动态演化内部一致性保证方法
本发明属于软件构件演化技术领域,公开了一种构件动态演化内部一致性保证方法及系统,首先从构件内部对其动态演化前后的一致性进行分析,在此领域尚属鲜见;其次,将图论中的有向图的同态映射关系迁移到构件的内部类中,并与进程代数中的...
郑明李彤莫启谢仲文林英秦江龙周小煊向文坤何云李响成蕾王晓芳郑交交杨真谛
文献传递
基于加权二部图的大众化和新颖性商品推荐方法
本发明公开了一种基于加权二部图的大众化和新颖性商品推荐方法,具体包括以下步骤:步骤1,根据商品与用户之间的购买关系和评分建立加权二部图;步骤2,建立商品到用户的单模投影网络;步骤3,计算待推荐用户与推荐系统用户的相似性,...
郁湧骆永军于倩刘金卓赵娜谢仲文刘强
文献传递
一种构件系统建模及其动态演化一致性验证方法
本发明属于软件开发技术领域,公开了一种构件系统建模及其动态演化一致性验证方法,应用进程代数构造构件模型,并在此基础上得到粗粒度的构件系统;根据构件系统及其状态的变化,进行构件系统外部行为的提取,基于弱互模拟理论定义构件系...
李彤郑明林英谢仲文秦江龙莫启周小煊李响明利郑交交杨真谛王晓芳成蕾
文献传递
共6页<123456>
聚类工具0