关于UML 2.5.1标准构造型实现要求及扩展可能性的问询

构造型的实现要求 #

UML 2.5.1规范第22节“Standard Profile”的PDF第721页明确：“标准Profile规定了一组预定义的标准构造型，合规工具必须支持标准Profile中的所有构造型。”

规范的表22.1仅对这些构造型的含义做了笼统解释，未明确具体实现要求：

• 像«Utility»这类构造型的实现逻辑清晰，只需约束类仅包含静态属性和操作，工具可直接强制执行；
• «Auxiliary»和«Focus»这类构造型，规范里仅作描述性标记使用，本身没有附带强制约束。

构造型的特化可能性 #

«Auxiliary»和«Focus»完全可以被其他Profile特化，以此添加更具体的实现规则和约束。UML的Profile机制本身支持对已有构造型的扩展特化，你可以基于这两个基础构造型定义新的构造型，附加自定义的元约束、标记值或语义规则，让它们具备实际可执行性。

StandardProfile.xmi文件的内容说明 #

StandardProfile.xmi文件仅包含该章节顶部图示里的结构，原因是XMI文件主要负责存储Profile的元模型结构（比如构造型的定义、基类关联等），而构造型的文字描述和隐含规则通常只在规范文档中体现，不会写入XMI文件。

内容的提问来源于stack exchange，提问作者Robert Hairgrove