我有一个UML概要文件，我需要为我的ModeBehavior原型添加一个约束，它是StateMachine的扩展。
限制：所有国家必须定型为模式，所有过渡必须定型为现代过渡
对于约束的第一部分，我认为它可能始于：self.submachine，因为这将指的是ModeBehavior的所有状态？从那里我不知道如何看待这些州是否是模式的刻板印象。
任何方向都会非常有帮助。
要确定元素是否附加了特定的构造型，只需使用getAppliedStereotype函数。例如，如果您想从MyProfile配置文件中找出self元素是否具有MyStereotype构造型，请使用
self.getAppliedStereotype("MyProfile::MyStereotype") <> null
使其适应您的特定用途是一项练习：）