计算机与数字工程
計算機與數字工程
계산궤여수자공정
COMPUTER & DIGITAL ENGINEERING
2011年
11期
58-62
,共5页
UML模型%描述逻辑%SHOIN(D)
UML模型%描述邏輯%SHOIN(D)
UML모형%묘술라집%SHOIN(D)
针对UML模型中可能会存在的概念不一致、概念冗余等语义一致性问题,该文提出一种基于描述逻辑的UML模型形式化与模型验证方法.该方法首先采用描述逻辑的子系统SHOIN(D)形式化描述UML类图、状态图以及活动图的基本模型构造,进而将UML模型转换为相应的描述逻辑本体,最终借助现有的本体推理机制验证UML模型的语义一致性问题.该方法可以为下一代的软件CASE工具实现软件模型自动推理和验证提供一种可选的技术方案.
針對UML模型中可能會存在的概唸不一緻、概唸冗餘等語義一緻性問題,該文提齣一種基于描述邏輯的UML模型形式化與模型驗證方法.該方法首先採用描述邏輯的子繫統SHOIN(D)形式化描述UML類圖、狀態圖以及活動圖的基本模型構造,進而將UML模型轉換為相應的描述邏輯本體,最終藉助現有的本體推理機製驗證UML模型的語義一緻性問題.該方法可以為下一代的軟件CASE工具實現軟件模型自動推理和驗證提供一種可選的技術方案.
침대UML모형중가능회존재적개념불일치、개념용여등어의일치성문제,해문제출일충기우묘술라집적UML모형형식화여모형험증방법.해방법수선채용묘술라집적자계통SHOIN(D)형식화묘술UML류도、상태도이급활동도적기본모형구조,진이장UML모형전환위상응적묘술라집본체,최종차조현유적본체추리궤제험증UML모형적어의일치성문제.해방법가이위하일대적연건CASE공구실현연건모형자동추리화험증제공일충가선적기술방안.
