计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2006年
8期
23-25,31
,共4页
模型检查%重写逻辑%代数规范%UML
模型檢查%重寫邏輯%代數規範%UML
모형검사%중사라집%대수규범%UML
在模型驱动开发的场景下,保证UML模型的一致性具有重要意义,但目前大多数UML/MDA工具仅提供了有限支持.该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法.首先定义了基于两级代数规范的实施构架以分别检查UML模型的设计时和运行时语义一致性,其次定义了检查包括类图、状态机图和顺序图在内的多图一致性的重写规则.该方法为保持面向可执行的UML模型的一致性提供了有效支持.
在模型驅動開髮的場景下,保證UML模型的一緻性具有重要意義,但目前大多數UML/MDA工具僅提供瞭有限支持.該文提齣瞭一種基于代數重寫邏輯的UML模型一緻性檢查的方法.首先定義瞭基于兩級代數規範的實施構架以分彆檢查UML模型的設計時和運行時語義一緻性,其次定義瞭檢查包括類圖、狀態機圖和順序圖在內的多圖一緻性的重寫規則.該方法為保持麵嚮可執行的UML模型的一緻性提供瞭有效支持.
재모형구동개발적장경하,보증UML모형적일치성구유중요의의,단목전대다수UML/MDA공구부제공료유한지지.해문제출료일충기우대수중사라집적UML모형일치성검사적방법.수선정의료기우량급대수규범적실시구가이분별검사UML모형적설계시화운행시어의일치성,기차정의료검사포괄류도、상태궤도화순서도재내적다도일치성적중사규칙.해방법위보지면향가집행적UML모형적일치성제공료유효지지.
