有人能推荐任何验证[关闭]的UML工具吗?

如果您使用的是Visual Studio,您可以尝试使用Vs2010 Ultimate的RC版本。您可以为.NET代码生成依赖关系图,以查找断开连接或无法访问的代码。您可以从依赖关系图或现有工件创建层关系图,绘制允许的依赖关系,然后使用层验证来确保不引入无效的依赖关系。这个版本还包括5个UML图:类、组件、序列、用例和活动。

如何:从代码生成图形文档 : http://msdn.microsoft.com/en-us/library/dd409453%28VS.100%29.aspx#SeeSpecificSource

可以使用Visual Studio Ultimate通过 生成有向图文档。这些图表示代码元素及其关系 作为一组由链接或边连接的节点。你可以用这些图表来帮助你 可视化、探索和分析代码。

如何:使用体系结构资源管理器查找代码 : http://msdn.microsoft.com/en-us/library/dd409431%28VS.100%29.aspx

您可以使用 体系结构资源管理器。您可以在Visual Studio解决方案中浏览源代码,或者 在.dll文件或.exe文件中编译了托管代码。您可以使用体系结构资源管理器浏览 通过安装其他提供程序的其他域。当你找到你想要的代码 可视化,您可以生成图来探索代码中的关系。

如何:从工件创建层图表 : http://msdn.microsoft.com/en-us/library/dd465141%28VS.100%29.aspx

…使用层图来可视化系统的高级体系结构并验证 本规范符合本设计。要执行此任务,请组织并关联 从Visual Studio解决方案到逻辑、抽象组或层的工件。这些层 描述这些工件执行的主要任务或系统的主要组件。箭头 层之间表示层之间存在或应该存在的相互依赖关系。 人工产品。要对代码实施体系结构约束,请描述对 然后根据图表验证代码。通过在此中使用层关系图 通过这种方式,您可以帮助使代码更容易理解、重用和维护。

Layer Diagram http://i.msdn.microsoft.com/Dd465141.UML_LayerRefReading(en-us,VS.100).png

如何:根据层关系图验证代码 : http://msdn.microsoft.com/en-us/library/dd409395%28VS.100%29.aspx

根据层关系图验证代码有助于对代码实施体系结构约束 随着它的发展。执行此任务时,代码中的依赖项将与依赖项进行比较 在图表上。

钢筋混凝土下载 : http://www.microsoft.com/downloads/details.aspx?displaylang=en&FamilyID=457bab91-5eb2-4b36-b0f4-d6f34683c62a .

Visual Studio 2010体系结构发现和建模工具 论坛: http://social.msdn.microsoft.com/Forums/en-US/vsarch/threads

不,我不知道有什么UML工具可以做这些事情。我最近为我的雇主做了一个工具调查,我没有看到任何这样的功能。

当然,您会意识到,您所要求的功能水平是多么的高。你的写作就好像你希望这些是普遍的一样。

Sparx Enterprise Architect 做了很多验证。我不知道这是否能解决所有问题。

我可以指出一些研究原型工具,特别是用于验证和验证有或没有OCL约束的类图(例如我自己的验证工具 http://gres.uoc.edu/UMLtoCSP/ 或 http://www.db.informatik.uni-bremen.de/projects/USE/ 但是 这些就是工具:研究工具(这意味着所有的限制)。

我真的不知道有什么商业案例工具提供高级验证/验证功能。