ソフトウェアの同時実行性をモデル/シミュレーションするツールはありますか?
https://stackoverflow.com/questions/1948474
-
21-09-2019 - |
italiano
english
français
española
中国
日本の
العربية
Deutsch
한국어
Português
Russian質問
アプリケーションの同時実行性/ロック スキームをグラフィカルな方法でモデル化し、いくつかの側面をシミュレートできる優れたツールはありますか?
ペトリ ネットが多かれ少なかれそれに使用できることは知っていますが、設計とシミュレーションができる優れた GUI ツールを知りません。
UML はそのような目的に何らかの形で使用できるのでしょうか?
良いリンクがあれば大変感謝しております。
解決
UML アクティビティ図はペトリ ネットとして表現できます (例: この論文を参照してください）。残念ながら、ペトリネットやアクティビティ図のシミュレーションに適した産業向けツールを私は知りません (ただし、簡単に見つかる学術プロジェクトはたくさんあります)。
モデルをシミュレーションしてもよろしいですか (シミュレーションとは、実際に座って Perti ネットがどのように実行されるかを確認したいという意味です)。通常、このタイプの分析は小規模で単純なアルゴリズムに適用できます。現実世界の状況では、おそらくやりたいと思うでしょう モデルチェック シミュレーションではなくアルゴリズムの。SPIN をチェックすることをお勧めします (多くの企業で使用されています。シーメンス）。また、私には良い経験があります 合金 そして プリズム. 。ただし、並列アルゴリズムの検証に重点を置いている場合は、最初に SPIN を検討することをお勧めします。
編集：シミュレーション用のツールをいくつかチェックしました。以下を参考にすることをお勧めします。
他のヒント
SPIN には、分散システムの検証のための一般的なツールですが、コマンドラインでのみ、私は考えています。しかし、スピンのウェブページ上で GOALと呼ばれる密接に関連GUIツールへのリンクがあります
私は、これはあなたが探しているものさを疑うんだけど、私は私の2セントでスローされます：
私の大学では、並行ソフトウェアシステム上の私たちのクラスでは、我々は標識と呼ばれるツールを使用します移行システムアナライザ（LTSA）の。それは実際にあなたがシステムの動作をモデル化するために使用できる言語です。
「コード」は、状態図と遷移表になっている。
ここでは、インタラクティブなJavaアプレットでありますこれはペトリネットを設計し、実行することができます。
私がそれを見てきましたので、長い時間がかかったが、それはプトレマイオスのように聞こえますぴったりでしょう。
あなたは共通/タイミング/カラーペトリネットをシミュレートするために、ペトリネットシムを確認することができ、それが付属していますリアルタイムでペトリネットの実行を表示する素敵なGUIます。
、LTSAを同時実行ツールを使用してみてください。 Javaプログラム。プログラムをシミュレートするために、（移行システム・アナライザの標識）。あなたはからダウンロードすることができます：
しかし、あなたはそれを使用している患者でなければならない、それはそれを使用する方法を学ぶために時間のカップルを取ることができます。 Javaプログラムをモデル化しながら、おそらく最も適しています。
そして、それは当然のUMLモデルを使用することは常に良いことだ：）
