田勇

作品数：5被引量：2H指数：1
导出分析报告
供职机构：中国科学院软件研究所更多>>
发文主题：软件过程模型工作流过程动态语义自动机图形建模更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程与设计》《计算机辅助设计与图形学学报》《计算机应用与软件》更多>>
所获基金：电子信息产业发展基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于数据依赖的过程合理性分析被引量：1
《计算机应用与软件》2008年第2期106-108,共3页丁婧 董广智 田勇 柳军飞 
软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响。首先介绍了过程模型SPM,在其基础上,提出了数据依赖的概念,并给出一种活动-数据关系;然后通过对该关系进行分...
关键词：软件过程 过程合理性 数据依赖 活动-数据关系 
一种弹性的软件过程模型验证工具被引量：1
《计算机工程与设计》2007年第7期1497-1500,共4页胡旷 董广智 田勇 柳军飞 
电子信息产业发展基金项目。
过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确...
关键词：软件过程 过程模型 验证工具 语义规则 可扩展标记语言 
工作流过程图形建模及基于自动机的动态语义
《计算机辅助设计与图形学学报》2007年第1期8-13,共6页董广智 田勇 柳军飞 
电子信息产业发展基金(信部运[2004]42号).
根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性.
关键词：工作流过程 图形建模 反应式控制 自动机 动态语义 
基于代价的过程动态变更
《计算机辅助设计与图形学学报》2006年第11期1781-1785,共5页田勇 董广智 柳军飞 
电子信息产业发展基金
通过实例说明工作流运作阶段存在多种动态变更途径;并采用矩阵表示过程的数据流和控制流,利用矩阵变换找到所影响范围内所有可能变更途径;最后对它们作代价分析,求出最佳变更途径·
关键词：工作流 动态变更 隐式选择 代价 异常处理 
分布式过程支持系统的研究
《计算机工程与设计》2005年第9期2368-2370,2380,共4页潘崇明 田勇 施海虎 柳军飞 
要支持异地软件开发,分布式的过程支持系统的建立是必要的。通过比较4种分布式的过程支持系统的体系结构,引擎分布、数据分布的结构能有效地支持分布式软件过程。设计实现了基于P2P方式的多引擎PSEE(Process-Sensitive Software Enginee...
关键词：软件过程 过程引擎 PSEE 分布式 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部