Ensuring UML Models Consistency Using the OCL Environment

Ensuring UML Models Consistency Using the OCL Environment
复制标题

使用 OCL 环境确保 UML 模型的一致性

DOI：
10.1016/j.entcs.2003.09.005
复制
发表时间：
2004
期刊：
--
影响因子：
--
通讯作者：
Sorin Moldovan
Sorin Moldovan
中科院分区：
--
文献类型：
--
作者：
D. Chiorean;M. Pasca;A. Cârcu;Cristian Botiza;Sorin Moldovan

文献摘要

被引文献

相似文献

关于统一建模语言模型一致性的话题变得越来越重要。拥有一个检查UML模型一致性的工具是非常有用的。使用XMI标准，一致的模型可以从检查器工具转移到任何其他的UML工具。本文通过实例说明，使用基于OCL的框架来检查UML模型是一种很有价值的方法。示例中获得的结果突出了UML定义中的一些缺陷，并证明了OCL在管理工具特性方面提供了所需的支持。
The topic of UML model consistency is becoming increasingly important. Having a tool that checks the consistency of UML models is very useful. Using the XMI standard, the consistent models can be transferred from the checker tool to any other UML tool. By means of practical examples, this paper shows that using a framework based on OCL is a valuable approach when checking UML models. The results obtained in the examples highlight some shortcomings in the UML definition and prove that OCL offers the support needed in managing tool peculiarities.