计算机应用与软件
計算機應用與軟件
계산궤응용여연건
COMPUTER APPLICATIONS AND SOFTWARE
2005年
1期
24-26
,共3页
UML%可视化建模%一致性检查%交织
UML%可視化建模%一緻性檢查%交織
UML%가시화건모%일치성검사%교직
采用统一建模语言UML进行系统建模的过程中,模型一致性的建立和维护是正确建模的必要前提.但单靠人工检查的方式来保证模型的正确性,不仅给开发人员造成很大负担,而且容易出现差错或遗漏.因此,在UML可视化建模工具中提供模型一致性自动检测和维护机制至关重要.本文对UML主要模型图之间的关系进行了分析,识别出这些图之间的一些基本的一致性规则;在此基础上,提出了UML可视化建模工具中模型一致性检查机制的实施框架,并对实现该框架的主要思路进行了详细介绍.
採用統一建模語言UML進行繫統建模的過程中,模型一緻性的建立和維護是正確建模的必要前提.但單靠人工檢查的方式來保證模型的正確性,不僅給開髮人員造成很大負擔,而且容易齣現差錯或遺漏.因此,在UML可視化建模工具中提供模型一緻性自動檢測和維護機製至關重要.本文對UML主要模型圖之間的關繫進行瞭分析,識彆齣這些圖之間的一些基本的一緻性規則;在此基礎上,提齣瞭UML可視化建模工具中模型一緻性檢查機製的實施框架,併對實現該框架的主要思路進行瞭詳細介紹.
채용통일건모어언UML진행계통건모적과정중,모형일치성적건립화유호시정학건모적필요전제.단단고인공검사적방식래보증모형적정학성,불부급개발인원조성흔대부담,이차용역출현차착혹유루.인차,재UML가시화건모공구중제공모형일치성자동검측화유호궤제지관중요.본문대UML주요모형도지간적관계진행료분석,식별출저사도지간적일사기본적일치성규칙;재차기출상,제출료UML가시화건모공구중모형일치성검사궤제적실시광가,병대실현해광가적주요사로진행료상세개소.