田勇
- 作品数:6 被引量:5H指数:1
- 供职机构:中国科学院软件研究所更多>>
- 发文基金:电子信息产业发展基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种弹性的软件过程模型验证工具被引量:1
- 2007年
- 过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。
- 胡旷董广智田勇柳军飞
- 关键词:语义规则可扩展标记语言
- 工作流过程图形建模及基于自动机的动态语义被引量:3
- 2007年
- 根据过程执行的特点,定义了一种以活动为中心的反应式过程元模型,并为其提供了一种图形表示,同时为此元模型指定了一种体现过程运行时行为的动态语义,该语义可表示为一个有限状态自动机.最后举例说明了如何应用它分析过程模型的语义正确性.
- 董广智田勇柳军飞
- 关键词:工作流过程图形建模自动机动态语义
- 分布式过程支持系统的研究
- 2005年
- 要支持异地软件开发,分布式的过程支持系统的建立是必要的。通过比较4种分布式的过程支持系统的体系结构,引擎分布、数据分布的结构能有效地支持分布式软件过程。设计实现了基于P2P方式的多引擎PSEE(Process-Sensitive Software Engineering Environment)——MEPSS,在MEPSS中,每个引擎具有自治性,同时各引擎间通过交互形成一个完整的过程支持系统。
- 潘崇明田勇施海虎柳军飞
- 关键词:分布式
- 软件过程柔性运作的研究
- 软件质量和生产率的高低极大地取决于生产过程的好坏。软件过程技术通过定义、运作、监控、度量过程模型,对实际的软件过程提供指导和控制,已经成为软件工程领域的研究重点之一。软件过程技术和软件工程环境SEE(SoftwareEn...
- 田勇
- 关键词:软件开发软件过程模型并发控制
- 基于数据依赖的过程合理性分析被引量:1
- 2008年
- 软件过程模型的很多语义上的错误和歧义都是由数据依赖关系引起的,例化阶段数据依赖关系的研究,对过程的执行效率有很大影响。首先介绍了过程模型SPM,在其基础上,提出了数据依赖的概念,并给出一种活动-数据关系;然后通过对该关系进行分析,提出了保证过程模型实例语义合理的基本规则;最后应用有穷状态自动机理论,实现了保证这些规则的算法。
- 丁婧董广智田勇柳军飞
- 关键词:数据依赖
- 基于代价的过程动态变更
- 2006年
- 通过实例说明工作流运作阶段存在多种动态变更途径;并采用矩阵表示过程的数据流和控制流,利用矩阵变换找到所影响范围内所有可能变更途径;最后对它们作代价分析,求出最佳变更途径·
- 田勇董广智柳军飞
- 关键词:工作流异常处理