您的位置： 专家智库 > >

郁涌

作品数：3 被引量：14H指数：2
供职机构：云南大学软件学院更多>>
发文基金：国家自然科学基金云南省教育厅科学研究基金云南省科技厅科研基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 3篇中文期刊文章

领域

  • 3篇自动化与计算...

主题

  • 2篇软件演化过程
  • 2篇PETRI网
  • 1篇代数
  • 1篇代数语义
  • 1篇元模型
  • 1篇面向对象
  • 1篇建模方法
  • 1篇过程建模方法
  • 1篇ACP
  • 1篇COMMUN...
  • 1篇ALGEBR...

机构

  • 3篇云南大学
  • 1篇昆明理工大学
  • 1篇云南农业大学
  • 1篇云南省科学技...

作者

  • 3篇李彤
  • 3篇郁涌
  • 2篇谢仲文
  • 2篇赵娜
  • 2篇于倩
  • 1篇彭琳
  • 1篇王剑
  • 1篇卢萍
  • 1篇代飞
  • 1篇钱晔
  • 1篇李鹏

传媒

  • 2篇计算机科学
  • 1篇软件学报

年份

  • 1篇2017
  • 1篇2016
  • 1篇2012
共 3 条 记 录，以下是 1-3
全选 清除 导出
排序方式：
一种软件演化过程模型的代数语义被引量：13
2012年
随着大量的软件演化过程模型被软件演化过程元模型建模产生,如何验证过程模型的正确性,是摆在人们面前的一个重要任务.针对软件演化过程元模型,引入进程代数ACP(algebra of communicating processes)对其扩展,提出软件演化过程元模型代数,使用进程项指定软件演化过程模型的代数语义,在进程代数的统一框架下,基于等式推理验证软件演化过程模型的行为,使行为验证方式从模型推导变为代数推导.这种方法充分结合了Petri网和ACP的长处,可以有效地支持软件演化过程的形式验证.
代飞李彤谢仲文于倩卢萍郁涌赵娜
关键词：软件演化过程代数语义PETRI网COMMUNICATING
面向对象的可信构件网的组装研究
2017年
以当前可信软件研究中的一个热点问题——基于构件的可信软件构造及其关键理论和技术为主要内容开展研究工作。在前期的工作中,根据面向对象的思想对Petri网进行扩展,提出了基于面向对象思想的可信构件网,从而对构建的基于构件的可信软件模型中的可执行的构件集进行描述。在描述的可信构件网模型框架中,将讨论两个构件基于连接件的并行组装、选择组装、顺序组装、循环组装。通过连接件的连接作用,根据一定的组织关系协调构件之间的关系,最终将组合的构件形成一个有机的整体。
赵娜王剑王剑李彤李鹏郁涌
关键词：PETRI网
一种面向同步交互的软件演化过程建模方法被引量：2
2016年
全球化软件开发导致以交互方式协作开发的频率和复杂性越来越高。为了控制和规范软件演化的开发行为进而提高软件质量,文献[10]设计了软件演化过程元模型EPMM,由EPMM定义的软件演化过程模型未能形式描述其交互的特点。基于EPMM^([10])定义的软件演化过程包括全局层、过程层、活动层和任务层4个抽象层的思想,设计了软件演化过程元模型CEPMM。CEPMM定义的软件演化过程模型可形式描述同步交互的特点是在其活动层,由此提出一种基于通信系统演算(CCS)的软件演化过程活动层的建模方法,然后在Visual Studio平台下实现软件演化过程活动层可视化的建模工具CAmodel。CEPMM构建的软件演化过程活动层模型不仅可以描述并发、迭代等特点,还可以形式描述同步交互的特性,为模型进行严格的数学方法分析、推理奠定了基础。
钱晔李彤郁涌孙吉红于倩彭琳
全选 清除 导出
共1页<1>
聚类工具0