序列图中状态不变的使用

state invariant use in sequence diagram

我正在尝试为一个模块创建序列图,该模块使用设置使其可针对不同用户进行自定义。我想在图表中描述这一点。我应该使用状态不变量吗?如果不是,什么是最合适的描述方式

每张图都显示了模型的一些特定上下文。在这种情况下,我会将整个序列分成几个不同的 SD。从主 SD 开始,您可以显示如何评估设置并导致相应的图表门。您可以使用一个片段来区分单个用户的情况:

然后针对单个案例创建单独的 SD,显示专门的流程: