关于UML类图中Is Specification与Is Active属性的技术咨询

Is Specification（规格类） #

勾选这个属性后，该类会被标记为规格元素，核心是定义一套"契约"——只规定必须具备的结构、行为要求，本身不直接被实例化。它和普通抽象类的区别在于，抽象类可能还包含部分可复用的实现逻辑，而规格类纯粹是规则的定义，比如UML中的接口就是典型的规格类。在EA里，标记为Is Specification的类，通常会和其他类建立「实现（Realization）」关系，要求其他类完全遵循它定义的规范。

Is Active（活动类） #

活动类是UML里的特殊类，它的实例（对象）拥有独立的执行线程，能主动发起行为，而非像普通类对象那样只能被动等待外部调用。比如系统中的后台监控服务、定时任务组件，这类需要持续运行、主动触发操作的对象，就适合建模为活动类。在EA中勾选该属性后，类的图标会显示粗边框，方便识别；同时你可以给它关联状态机，来描述这个活动类实例的主动生命周期流程。

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