UMLステートダイアグラムからすべての組み合わせを取得する方法

Question

可能なすべての組み合わせのリストを取得したい単純なUML状態図があります。誰かが私のためにこれを行うことができるプログラムやアルゴリズムを知っていますか？

Answer 1

単一の状態図（たとえば、単一のクラス）については、それらをダイアグラムから列挙するだけです。

遷移が連結されていない複数の状態図の場合、それは単なるデカルト積（中国語メニューとも呼ばれます）です。さまざまな独立した列挙を反復するネストループで生成できます。

しかし、それらが結合されていれば、物事はもっとやわらかくなります。ほとんどの場合、うまく設計されたシステムで可能な組み合わせを列挙することは可能ですが、一般的に不溶解問題（停止問題と呼ばれます）です。可能な状態は単純なデカルト積の部分集合であるが、サブセットは汎用アルゴリズムでは決定できない場合がある。

これは、あなたが提供した詳細（またはその欠如）で言えることです。

Answer 2

組み合わせによって実際に何を意味するかによって異なります...可能な状態、または状態図を通るすべてのパスの組み合わせ？または、状態図の同時並行構成を列挙できるように、状態図に並行/直交領域がありますか？