公共文化服务平台

基于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网; 文献传递

一种构件动态演化内部一致性保证方法: 本发明属于软件构件演化技术领域，公开了一种构件动态演化内部一致性保证方法及系统，首先从构件内部对其动态演化前后的一致性进行分析，在此领域尚属鲜见；其次，将图论中的有向图的同态映射关系迁移到构件的内部类中，并与进程代数中的...; 郑明李彤莫启谢仲文林英秦江龙周小煊向文坤何云李响成蕾王晓芳郑交交杨真谛; 文献传递

协同业务过程的建模及正确性修正被引量：3: 2020年; 由自底向上建模方法建立的协同业务过程中通常存在不一致,故对其进行正确性分析是确保其正确实施的重要手段.现有方法大多关注正确性检测,这使得协同业务过程的正确性分析过程复杂且耗时.而正确性修正方法能够避免正确性检测方法中存在的重复检测和调整,但这方面的研究较少,不能有效地应用于协同业务过程修正.为此,基于简单路径提出一种协同业务过程正确性修正方法.首先,在考虑活动同步及异步交互情况下,将部分正确协同业务过程行为抽象为完整的简单路径,并将其合并成核;然后,利用协调映射技术将核映射为修正业务过程,通过将所有的修正业务过程并发组合建立修正协同业务过程.修正协同业务过程符合协同业务过程的实际特征,且含有修正前协同业务过程中所有完整的轨迹,也未引入隐藏轨迹,从而避免了有效性确认.最后,通过实验与现有方法进行对比分析,结果表明:相对已有工作,在考虑协同业务过程实际特征的情况下,协同业务过程正确性修正方法能够更加有效地对协同业务过程进行正确性修正.; 莫启代飞笪建朱锐朱锐谢仲文

基于关联矩阵的软件演化过程结构验证: 2015年; 软件演化过程领域将软件演化和软件过程领域联系起来,为了适应新的需求和新的环境,越来越多的软件演化过程模型被建模出来。针对软件演化过程模型结构合理性验证还没有有效实现的问题,对基于白盒建模的软件演化过程模型的结构性质进行了验证,其中包括结构有界性、可重复性和守恒性等,采用了关联矩阵的方法,证明了通过白盒建模得到的软件演化过程模型自身具备着非常优良的结构性质,提高了软件演化过程的质量。; 刘金卓于倩赵娜谢仲文郁湧杭菲璐金运志; 关键词：软件演化过程关联矩阵

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

谢仲文