支持需求追踪的语义模型
来源:互联网 发布:1962年中印战争知乎 编辑:程序博客网 时间:2024/06/06 11:35
1. 基于谓词逻辑的符号系统
1.1符号系统 语法
(1)个体变元:表示抽象或泛指的软件制品或制品属性,如:1 ,2 , ⋯ ,1 ,2 ; (2)二元谓词符号:用于描述个体变元间的关系,如:12,22, ⋯ ,2;
(3)联接词符号:;
(4)括号与逗号:(、,、)
若定义集合
:描述制品标识符的有限集合;集合:描述制品属性的有限集合;集合:描述有限二元谓词集合;集合:由一元否定联接符构成的集合;集合:括号与逗号的集合,则形式语言Σ的字母集 = { ∪ ∪ ∪ ∪ }
中的公式由字母集及一系列公式生成规则产生
定义
3.2
语言Σ中合式公式ω的生成规则:
(1)ω = 2(,) ∈ Σ,其中(,∈ ∪ )且2∈
(2)ω = ¬2(,) ∈ Σ,其中(,∈ ∪ )且2∈
(3)公式ω只能通过规则(1)、(2)产生。
字母集合={ 2 ∈ ;,∈ ∪ ; , ()∈E ; ∈K}
公式生成规则:公式ω只能通过规则(1)、(2)产生。
1.2符号系统 语义
符号化的公式并没有实际的含义,需要结合一个具体的语义模型对公式中的变元符号或谓词符号进行解释。
对于一个给定的项目,定义集合′:表示项目中可唯一标识的有限制品集合,如需求、设
计元素等;定义集合′:表示有限的制品属性集合,如制品的关键度等级、抽象层次等;定义集合:表示实际项目中有限的关系集合,如制品间的关联关系,制品与其抽象层次的对应关系等。则的语义模型由如下几个部分组成:
。
{S,C,P,K,E}具体化后S代表制品,C代表制品的属性,P代表变元之间的关系R。
1.2符号系统 的公理和定理
阅读全文
0 0
- 支持需求追踪的语义模型
- 安全性需求追踪模型
- 安全性需求存在的追踪关系
- 如何删除独立需求及历史独立需求的追踪
- html5支持的语义化标签
- boost中移动语义的支持
- 可追踪评估模型TAM的评估
- Web服务的语义表示模型
- 用于相关性计算的深度语义模型
- 设计的需求层次模型
- 需求模型
- 18.1.3 SHTTPD支持方法的需求
- 18.1.5 SHTTPD支持头部的需求
- 18.1.7 SHTTPD支持CGI的需求
- 探讨增强现实(AR)基于模型的追踪技术
- 简述Java内存模型的由来、概念及语义
- 深入理解Java内存模型的volatile语义
- 理解Java内存模型中的锁的语义
- 机房收费系统之退卡窗体--OLE错误
- 在redhat5.8x86_64位下安装asm+grid+oracle11gR2教程
- 22. Generate Parentheses
- 新版vue-init 脚手架去除dev-server.js问题
- Intellij IDEA中Spring配置aop增强事务 出现BeanCreationException异常处理方法
- 支持需求追踪的语义模型
- 形式为a^i b^j c^k的子序列数量-LintCode
- 12.9省选训练总结
- java的会话管理:Cookie和Session
- 使用JS--->2048游戏项目(一)
- 2017-12-10杭电OJ2017《字符串统计》
- 最小编辑代价 动态规划
- 类型转换
- 【技术重温】html之重点(四)