王宇

作品数：2被引量：1H指数：0
导出分析报告
供职机构：南京理工大学计算机科学与技术学院更多>>
发文主题：工作流系统工作流角色协同判定树元模型更多>>
发文领域：自动化与计算机技术电子电信更多>>
发文期刊：《现代电子技术》更多>>
所获基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
语境判定树建模与工作流设计验证被引量：1
《现代电子技术》2015年第13期81-84,共4页严悍 王宇 丁锋 朱文 许昌年 
针对多角色协同交互式工作流系统中多重语境约束交互操作导致冗余操作和错误操作的问题,提出语境判定树CDT模型。采用元模型建模方法给出CDT建模规范,利用令牌建立动态计算规则,并讨论比较CDT和其他模型的特点,分析语境判定树模型的优...
关键词：语境判定树 安全性验证 工作流系统 多角色协同 元模型 
基于蕴含关系的场景测试法路径优化方法研究
《现代电子技术》2015年第12期118-122,共5页严悍 许昌年 朱文 丁锋 王宇 
国家自然科学基金(61300053)
针对场景测试法中多场景切换代价优化问题,在复合状态分析、逻辑蕴含概念基础上,从测试场景结构分解的角度,给出状态蕴含和场景蕴含关系的定义及推论,由场景蕴含形成场景蕴含图SIG,然后采用图论方法求解优化路径。给出系统化处理方法,...
关键词：场景测试法 蕴含关系 路径优化 场景蕴含图 状态蕴含 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部