• 主题
高级搜索  >
历史搜索 清空历史
首页> 中文期刊> 《计算机科学》 >基于Petri网的软件动态演化的一致性分析

基于Petri网的软件动态演化的一致性分析

         
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

在分析软件动态演化面临的挑战的基础上,以扩展的Petri网为主形式化工具,基于面向动态演化的SA元模型DEAM,对如何保证动态演化的一致性问题进行分析.首先,讨论了一致性分析的总体思路和策略,确定以构件作为动态演化实施和分析的基本对象;其次,从构件结构演化的视角对构件的子网类型进行分析,提出了保证结构一致性的方法;再次,从构件行为演化的视角,分别从内部和外部观察构件演化前后的行为,并通过建立模拟关系来分析和判断演化前后构件的行为是否一致;最后,通过案例研究对所提方法的可行性进行验证.

著录项

  • 来源
    《计算机科学》 |2016年第11期|234-241|共8页
  • 作者

    谢仲文; 明利; 林英; 秦江龙; 莫启; 李彤;

  • 作者单位

    云南大学软件学院 昆明650091;

    云南省软件工程重点实验室 昆明650091;

    云南大学软件学院 昆明650091;

    云南大学软件学院 昆明650091;

    云南省软件工程重点实验室 昆明650091;

    云南大学软件学院 昆明650091;

    云南省软件工程重点实验室 昆明650091;

    云南大学软件学院 昆明650091;

    云南省软件工程重点实验室 昆明650091;

    云南大学软件学院 昆明650091;

    云南省软件工程重点实验室 昆明650091;

  • 原文格式 PDF
  • 正文语种 chi
  • 中图分类 软件工程;
  • 关键词

    软件动态演化; 软件体系结构; 行为模拟; 一致性保持;

相似文献

  • 中文文献
  • 外文文献
  • 专利