UML 建模器发行说明

© Copyright International Business Machines Corporation 2006. All rights reserved. US Government Users Restricted Rights - Use, duplication or disclosure restricted by GSA ADP Schedule Contract with IBM Corp.

发行说明

1.0 局限性
   1.1 模型验证:时序图

1.0 局限性

1.1 模型验证:时序图

在模型中创建和处理 UML 时序图之后,可能会报告以下类型的验证错误:

必须仅定义从需要接口的角色端到提供该接口的角色端的组合件连接符“<Connector>”。

出现此错误/警告的原因是 UML 2.1 规范中存在不一致。UML 规范中此约束的定义有一个副作用,即它会阻止某些时序图创建通信图,这些时序图的生命线都不表示提供和需要接口的角色。为了增加可用性,将在所有创建的生命线提供的属性之间创建连接符,以便能够创建通信图。

IRJA0131W “<Receive Operation Event> ReceiveOperationEvent1”的属性“operation”没有值;它需要一个值。

IRJA0131W “<Send Operation Event> SendOperationEvent1”的属性“operation”没有值;它需要一个值。

IRJA0131W “<Receive Signal Event>”的属性“signal”没有值;它需要一个值。

IRJA0131W “<Send Signal Event>”的属性“signal”没有值;它需要一个值。

出现这些错误/警告的原因是 UML 规范要求为这些 UML 元素指定这些特征。然而,这会使用户不能将时序图用作“草图”,用户希望在草图中显示消息的一般流动情况,而不必实际指定/定义在这些消息中发送或接收的操作或信号。本产品允许使用这种在验证时会导致这些错误/警告的“草图”。