问OCL约束UML Profile Rational Software Architect
EN

Stack Overflow用户

提问于 2013-02-19 23:51:17

回答 1查看 325关注 0票数 0

我有一个UML Profile，我需要在我的ModeBehaviour构造型中添加一个约束，它是StateMachine的一个扩展。

约束:拥有的状态必须被构造型为模式，拥有的转换必须被构造型为ModeTransition

对于约束的第一部分，我认为它可以从: self.submachine开始，因为这将引用ModeBehaviour的拥有状态？从那里我不知道如何判断这些状态是否是作为模式的原型。

任何方向都会非常有帮助。

发布于 2013-02-20 23:15:56

要找出元素是否附加了特定的构造型，只需使用getAppliedStereotype函数。例如，如果您想要找出self元素是否具有来自MyProfile概要文件的MyStereotype构造型，请使用

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

让它适应您的特定用途，这是一个练习:)

票数 1

页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持

原文链接：

https://stackoverflow.com/questions/14961580

复制

相似问题

问OCL约束UML Profile Rational Software ArchitectEN