可能なすべての組み合わせのリストを取得したい単純な UML 状態図があります。私のためにこれを行うことができるプログラムまたはアルゴリズムを知っている人はいますか?
質問する
408 次
2 に答える
1
単一の状態図（たとえば、単一のクラス）の場合は、図からそれらを列挙するだけです。
遷移が結合されていない複数の状態図の場合、これは単なるデカルト積（中国語メニューとも呼ばれます）です。さまざまな独立した列挙を反復するネストされたループを使用して生成できます。
しかし、それらが結合されている場合、物事ははるかにトリッキーになります。適切に設計されたシステムで可能な組み合わせを列挙することはほとんどの場合可能ですが、一般に、それは不溶性の問題です（停止問題と呼ばれます）。可能な状態は単純なデカルト積のサブセットですが、どのサブセットを汎用アルゴリズムで決定することは不可能な場合があります。
あなたが提供した詳細（またはその欠如）で言えることはこれだけです。
于 2009-03-05T03:23:34.157 に答える
0
組み合わせで実際に何を意味するかによって異なります...可能な状態の組み合わせ、または状態図のすべてのパス？または、状態図のさまざまな同時構成を列挙できるようにするために、状態図に同時/直交領域がありますか?
于 2009-03-05T16:56:42.830 に答える