10.3969/j.issn.1000-3428.2006.08.009
基于重写逻辑的UML模型一致性检查方法
在模型驱动开发的场景下,保证UML模型的一致性具有重要意义,但目前大多数UML/MDA工具仅提供了有限支持.该文提出了一种基于代数重写逻辑的UML模型一致性检查的方法.首先定义了基于两级代数规范的实施构架以分别检查UML模型的设计时和运行时语义一致性,其次定义了检查包括类图、状态机图和顺序图在内的多图一致性的重写规则.该方法为保持面向可执行的UML模型的一致性提供了有效支持.
模型检查、重写逻辑、代数规范、UML
32
TP302(计算技术、计算机技术)
科技部科研项目G20000263
2006-05-18(万方平台首次上网日期,不代表论文的发表时间)
共4页
23-25,31