0
点赞
收藏
分享

微信扫一扫

支持需求追踪的语义模型


1. 基于谓词逻辑的符号系统

1.1符号系统​​支持需求追踪的语义模型_谓词符号​​ 语法​​支持需求追踪的语义模型_谓词符号_02​​

(1)个体变元:表示抽象或泛指的软件制品或制品属性,如:1 ,2 , ⋯ ,1 ,2 ; (2)二元谓词符号:用于描述个体变元间的关系,如:1222, ⋯ ,2

(3)联接词符号:​​支持需求追踪的语义模型_谓词符号_03​​;

(4)括号与逗号:(、,、)

若定义集合

:描述制品标识符的有限集合;集合:描述制品属性的有限集合;集合:描述有限二元谓词集合;集合:由一元否定联接符构成的集合;集合:括号与逗号的集合,则形式语言Σ的字母集 = { ∪ ∪ ∪ ∪ }

​​支持需求追踪的语义模型_关联关系_04​​中的公式由字母集及一系列公式生成规则产生

定义

3.2

语言Σ中合式公式ω的生成规则:

(1)ω = 2(,) ∈ Σ,其中(,∈ ∪ )且2

(2)ω = ¬2(,) ∈ Σ,其中(,∈ ∪ )且2

(3)公式ω只能通过规则(1)、(2)产生。

字母集合={ 2 ∈ ;,∈ ∪ ; , ()∈E ; ​​支持需求追踪的语义模型_谓词符号_05​​∈K}

公式生成规则:公式ω只能通过规则(1)、(2)产生。

1.2符号系统​​支持需求追踪的语义模型_关联关系_06​​ 语义

符号化的公式并没有实际的含义,需要结合一个具体的语义模型对公式中的变元符号或谓词符号进行解释。​​支持需求追踪的语义模型_关联关系_07​​

对于一个给定的项目,定义集合′:表示项目中可唯一标识的有限制品集合,如需求、设

计元素等;定义集合′:表示有限的制品属性集合,如制品的关键度等级、抽象层次等;定义集合:表示实际项目中有限的关系集合,如制品间的关联关系,制品与其抽象层次的对应关系等。则​​支持需求追踪的语义模型_抽象层次_08​​的语义模型​​支持需求追踪的语义模型_关联关系_09​​由如下几个部分组成:

​​支持需求追踪的语义模型_抽象层次_10​​

。​​支持需求追踪的语义模型_关联关系_11​​

{S,C,P,K,E}具体化后S代表制品,C代表制品的属性,P代表变元之间的关系R。

​​支持需求追踪的语义模型_谓词符号_12​​

​​支持需求追踪的语义模型_抽象层次_13​​

1.2符号系统​​支持需求追踪的语义模型_关联关系_14​​ 的公理和定理

​​支持需求追踪的语义模型_谓词符号_15​​

举报

相关推荐

0 条评论