系统工程与电子技术
繫統工程與電子技術
계통공정여전자기술
SYSTEMS ENGINEERING AND ELECTRONICS
2012年
6期
1153-1160
,共8页
何红悦%王智学%董庆超%徐景%张兆巍
何紅悅%王智學%董慶超%徐景%張兆巍
하홍열%왕지학%동경초%서경%장조외
能力需求元模型%行为建模%模型形式化%模型验证
能力需求元模型%行為建模%模型形式化%模型驗證
능력수구원모형%행위건모%모형형식화%모형험증
针对C4 ISR系统需求分析行为建模中,统一建模语言(unified modeling language,UML)的行为模型验证困难问题,提出了一种C4ISR系统能力需求行为建模及验证方法.从构建C4ISR能力元概念模型入手,通过扩展UML行为元模型得到能力行为元模型,然后使用能力行为元模型采构建能力需求的行为模型.为了检查行为模型是否满足能力元概念模型、能力行为元模型和领域规则约束等模型一致性和领域完整性问题,将行为模型的语义形式化为OWL DL和DL-Safe规则表示的本体,并定义模型检查规则通过对本体进行逻辑推理和查询实现模型验证.
針對C4 ISR繫統需求分析行為建模中,統一建模語言(unified modeling language,UML)的行為模型驗證睏難問題,提齣瞭一種C4ISR繫統能力需求行為建模及驗證方法.從構建C4ISR能力元概唸模型入手,通過擴展UML行為元模型得到能力行為元模型,然後使用能力行為元模型採構建能力需求的行為模型.為瞭檢查行為模型是否滿足能力元概唸模型、能力行為元模型和領域規則約束等模型一緻性和領域完整性問題,將行為模型的語義形式化為OWL DL和DL-Safe規則錶示的本體,併定義模型檢查規則通過對本體進行邏輯推理和查詢實現模型驗證.
침대C4 ISR계통수구분석행위건모중,통일건모어언(unified modeling language,UML)적행위모형험증곤난문제,제출료일충C4ISR계통능력수구행위건모급험증방법.종구건C4ISR능력원개념모형입수,통과확전UML행위원모형득도능역행위원모형,연후사용능역행위원모형채구건능력수구적행위모형.위료검사행위모형시부만족능력원개념모형、능역행위원모형화영역규칙약속등모형일치성화영역완정성문제,장행위모형적어의형식화위OWL DL화DL-Safe규칙표시적본체,병정의모형검사규칙통과대본체진행라집추리화사순실현모형험증.