计算机工程与应用
計算機工程與應用
계산궤공정여응용
COMPUTER ENGINEERING AND APPLICATIONS
2010年
21期
72-75
,共4页
需求分解%领域本体%采用语义万维网规则语言(SWRL)%形式化方法%需求验证
需求分解%領域本體%採用語義萬維網規則語言(SWRL)%形式化方法%需求驗證
수구분해%영역본체%채용어의만유망규칙어언(SWRL)%형식화방법%수구험증
需求质量已经成为确保软件项目成功的一个重要因素,对复杂软件系统的需求进行检查和验证,是需求工程中非常重要的工作.在基于领域本体的需求获取和分析等相关工作基础上,提出了一种基于本体和语义规则的需求一致性验证方法,将自然语言描述的需求分解成若干结构良好的最小需求项,使用领域本体的概念模型对其进行形式化和结构化的表示.通过领域本体中的知识来映射需求语义,采用语义万维网规则语言(SWRL)来定义需求一致性验证的推理规则,并通过实例对此方法进行了分析和验证.
需求質量已經成為確保軟件項目成功的一箇重要因素,對複雜軟件繫統的需求進行檢查和驗證,是需求工程中非常重要的工作.在基于領域本體的需求穫取和分析等相關工作基礎上,提齣瞭一種基于本體和語義規則的需求一緻性驗證方法,將自然語言描述的需求分解成若榦結構良好的最小需求項,使用領域本體的概唸模型對其進行形式化和結構化的錶示.通過領域本體中的知識來映射需求語義,採用語義萬維網規則語言(SWRL)來定義需求一緻性驗證的推理規則,併通過實例對此方法進行瞭分析和驗證.
수구질량이경성위학보연건항목성공적일개중요인소,대복잡연건계통적수구진행검사화험증,시수구공정중비상중요적공작.재기우영역본체적수구획취화분석등상관공작기출상,제출료일충기우본체화어의규칙적수구일치성험증방법,장자연어언묘술적수구분해성약간결구량호적최소수구항,사용영역본체적개념모형대기진행형식화화결구화적표시.통과영역본체중적지식래영사수구어의,채용어의만유망규칙어언(SWRL)래정의수구일치성험증적추리규칙,병통과실례대차방법진행료분석화험증.