Gibt es ein Tool zu Modell / Simulieren Software Gleichzeitigkeit?

Question

Gibt es ein gutes Werkzeug gibt, die eine Anwendung Gleichzeitigkeit modellieren / Sperrschema in grafischer Form und das kann einige der Aspekte simulieren?

Ich weiß, dass Petri-Netze können, dass mehr verwendet werden, oder weniger, aber ich weiß nicht, ein guten GUI-Tool, das Design und simulieren kann.

Ist UML in irgendeiner Weise verwendbar für solche Zwecke?

sind Jedes gute Verbindungen sehr geschätzt.

Answer 1

UML-Aktivitätsdiagramme können als Petri-Netze ausgedrückt werden (zB dieses Papier ). Ich kenne keine gute industrielle orientierte Werkzeuge zur Simulation von Petri-Netzen oder Aktivitätsdiagramm (aber es gibt viele wissenschaftliche Projekte, die Sie leicht finden) leider.

Sind Sie sicher, dass Sie Ihr Modell simuliert werden soll (durch Simulation Ich meine, dass Sie tatsächlich sitzen wollen und sehen, wie Ihr Perti Netz ausgeführt wird)? Normalerweise wird diese Art der Analyse ist für kleine und einfache Algorithmen. In realen Situation würden Sie wahrscheinlich wie Modell tun Überprüfung Ihres Algorithmus anstatt Simulation. Ich würde Sie empfehlen SPIN (von vielen Unternehmen eingesetzt, zum Beispiel Siemens) zu überprüfen. Ich habe auch eine positive Erfahrung mit Alloy und Prism . Aber wenn Sie Ihren Fokus auf die Überprüfung parallele Algorithmen, die ich würde vorschlagen, Sie SPIN zu betrachten zuerst.

Edit: Ich habe einige Werkzeuge für Simulation und ich kann raten bei der Suche

1) http://sourceforge.net/projects/visual-petri/

2) http://www.renew.de/

3) http://www.winpesim.de/index.html

Answer 2

SPIN ein beliebtes Tool ist für die Verifikation von verteilten Systemen, sondern Befehlszeile nur ich denke, . Aber auf der Spin Webseite gibt es einen Link zu einem eng verwandten GUI-Tool namens GOAL

Answer 3

Ich bin Zweifel, dies ist das, was Sie suchen, aber ich werde in meinen zwei Cent werfen:

An meiner Universität, in unserer Klasse auf gleichzeitige Softwaresystemen verwenden wir ein Tool namens Beschriftete Transition System Analyzer (LTSA) . Es ist eigentlich eine Sprache, dass Sie das Verhalten eines Systems modellieren können.

Der „Code“ wird in ein Zustandsdiagramm und eine Übergangstabelle eingeschaltet.

Answer 4

Hier ist ein interaktives Java-Applet der ein Petri-Netz entwerfen und auszuführen.

Answer 5

Es ist schon eine lange Zeit, da ich sie geschaut haben, aber es klingt wie Ptolemäus wäre eine gute Passform.

Answer 6

Sie können prüfen, Petri Net Sim , zu simulieren common / timed / farbig Petrinetzen, kommt es mit eine nette GUI, dass Displays Petri-Netz Ausführung in Echtzeit.

Answer 7

Versuchen Sie, die Gleichzeitigkeit Tool, LTSA. Java-Programm. (Labeled Transition System Analyzer), zu simulieren Programme. Sie können es von herunterladen:

http://www.doc.ic.ac.uk/ltsa/

Aber Sie müssen geduldig sein, während es verwendet wird, kann es ein paar Stunden dauern, zu lernen, wie es zu benutzen. Wahrscheinlich funktioniert am besten, während Java-Programme zu modellieren.

Und es ist immer gut, UML-Modelle natürlich zu verwenden:)