OCL约束UML Profile Rational Software Architect

时间:2013-02-19 15:51:17

标签: profile ocl stereotype

我有一个UML配置文件,我需要在ModeBehaviour的构造型中添加一个约束,这是StateMachine的扩展。

约束:拥有的国家必须被定型为模式,拥有的过渡必须被定型为ModeTransition

对于约束的第一部分,我认为它可以从以下开始:self.submachine,因为这将引用ModeBehaviour的拥有状态?从那里我不知道如何看待这些状态是否是刻板印象模式。

任何方向都非常有用。

1 个答案:

答案 0 :(得分:1)

要确定Element是否附加了特定的构造型,只需使用getAppliedStereotype函数即可。例如,如果您想知道 self 元素是否具有 MyProfile 配置文件中的 MyStereotype 构造型,请使用

self.getAppliedStereotype("MyProfile::MyStereotype") <> null

将其与您的特定用途相匹配只是一项练习:)