UML 建模器发行说明

(C) 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(R) Corp.

目录

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

1.0 局限性

1.1 验证模型:时序图

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

只能定义从需要接口的角色端到提供该接口的角色端的组装连接符“<Connector>”。

发生此错误/警告的原因是 UML 2.1 规范中存在不一致的情况。在 UML 规范中对此约束的定义具有副作用,即,如果时序图的生命线不表示提供接口和需要接口的角色,则将禁止为这些时序图创建通信图。为了可以创建通信图,将在所有已创建生命线的已表示属性之间创建连接符。

IRJA0131W“<Receive Operation Event> ReceiveOperationEvent1”的属性“operation”具有 0 个值;值的个数必须介于 1 到 1 之间。

IRJA0131W“<Send Operation Event> SendOperationEvent1”的属性“operation”具有 0 个值;值的个数必须介于 1 到 1 之间。

IRJA0131W“<Receive Signal Event>”的属性“signal”具有 0 个值;值的个数必须介于 1 到 1 之间。

IRJA0131W“<Send Signal Event>”的属性“signal”具有 0 个值;值的个数必须介于 1 到 1 之间。

由于 UML 规范要求对上述 UML 元素指定这些内容,所以会发生这些错误/警告。但是,这将导致如果不实际指定/定义消息中发送或接收的操作或信号,就无法将时序图用作用于显示一般消息流的“框架”。产品允许使用此类在验证时将会产生这些错误/警告的“框架”。