我是纸莎草造型的新手。我在Papyrus论坛上问了同样的问题，但我没有得到任何答复。我相信，有人可以在这方面帮助我。无论如何，我想知道如何在纸莎草状态机中进行面向方面的建模。我有一些状态机。每个州都有自己的状态不变量。除此之外，还有许多约束在多个状态中充当状态不变量。因此，在每个状态中添加所有这些约束作为状态不变将使状态机更复杂和混乱。在这种情况下，面向方面的建模可能是更好的选择。因此，可以将单个约束添加到同一方面的状态的状态不变量。即，状态的完全状态不变量将是其自身的状态不变量和来自该方面的约束。 纸莎草纸有可能吗？知道怎么做吗？有什么建议吗？