面向任务的作战系统模型一致性研究

• 作者: 张杰 燕雪峰
• 来源期刊: 电子科技
• 学科: 工学
• 关键词: 面向任务 需求分析 图文法 模型一致性
• 年，卷（期）: 2013,（4）
• 所属期刊栏目: 图像·编码与软件
• 页码范围: 55-59
• 页数: 5页
• 分类号: TP391
• 字数: 4419字
• 语种: 中文

摘要

为检测作战系统中任务模型的一致性,文中基于图文法提出一种形式化的检测方法:把作战系统模型转换成属性图文法,并检测功能需求间冲突和依赖.循环依赖将导致模型无法执行,错误依赖则表示功能需求与动态模型的执行流程不一致.文中对此提出相应的依赖检测算法,循环依赖检测算法通过深度优先搜索找到依赖关系中的环,错误依赖检测算法通过遍历活动图检测依赖关系与动态模型的执行流程是否一致.最后基于该方法实现了作战系统模型一致性检测系统并结合实例进行验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张杰	南京航空航天大学计算机科学与技术学院	35	111	5.0	9.0
2	燕雪峰	南京航空航天大学计算机科学与技术学院	34	192	7.0	12.0