アプリケーションの同時実行/ロックスキームをグラフィカルな方法でモデル化でき、いくつかの側面をシミュレートできる優れたツールはありますか？
ペトリネットは多かれ少なかれそのために使用できることは知っていますが、設計とシミュレーションができる優れたGUIツールはわかりません。
UMLはそのような目的に何らかの形で使用できますか？
良いリンクは大歓迎です。
7 に答える
4
UML アクティビティ図は、ペトリネットとして表現できます (たとえば、この論文を参照してください)。残念ながら、ペトリ ネットやアクティビティ ダイアグラムのシミュレーション用の優れた産業用ツールを知りません (しかし、簡単に見つけることができる学術プロジェクトはたくさんあります)。
モデルをシミュレートしてもよろしいですか (シミュレーションとは、実際に座って Perti ネットがどのように実行されているかを確認したいという意味です)? 通常、このタイプの分析は、小規模で単純なアルゴリズムに適用できます。実際の状況では、シミュレーションではなく、アルゴリズムのモデル チェックを行いたいと思うでしょう。SPIN (Siemens などの多くの企業で使用されています) を確認することをお勧めします。また、 AlloyとPrismについても良い経験をしています。ただし、並列アルゴリズムの検証に焦点を当てている場合は、最初に SPIN を検討することをお勧めします。
編集：シミュレーション用のいくつかのツールをチェックしましたが、見ることをお勧めします
于 2009-12-25T23:22:19.113 に答える
2
SPINは分散システムの検証によく使われるツールですが、コマンド ラインのみだと思います。しかし、Spin の Web ページには、 GOALと呼ばれる密接に関連した GUI ツールへのリンクがあります。
于 2009-12-22T19:28:33.163 に答える
2
これがあなたが探しているものだとは思えませんが、私は 2 セントを投入します。
私の大学では、並行ソフトウェア システムに関するクラスで、Labeled Transition System Analyzer (LTSA)というツールを使用しています。実際には、システムの動作をモデル化するために使用できる言語です。
「コード」は、状態図と遷移表に変換されます。
于 2009-12-27T16:32:47.307 に答える
1
これは、ペトリネットを設計して実行できる インタラクティブな Java アプレットです。
于 2009-12-22T19:23:48.667 に答える
1
久しぶりに見ましたがプトレマイオス が似合いそうです。
于 2009-12-25T23:28:56.913 に答える
1
Petri Net Simをチェックして、共通/時間指定/色付きの Petrinet をシミュレートできます。Petri Net の実行をリアルタイムで表示する優れた GUI が付属しています。
于 2011-07-31T22:33:10.153 に答える