Y at-il un outil de modélisation / simulation du logiciel concurrency?

Question

Y at-il un bon outil là-bas qui peut modéliser une concurrence demande / schéma de verrouillage de manière graphique et qui peut simuler certains des aspects?

Je sais que les réseaux de Petri peuvent être utilisés pour que plus ou moins, mais je ne sais pas un bon outil graphique qui peut concevoir et simuler.

est UML en aucune manière utilisable à ces fins?

Les bons liens sont très appréciés.

Answer 1

UML Les diagrammes d'activité peuvent être exprimés en réseaux de Petri (par exemple voir cet article ). Malheureusement, je ne connais pas de bons outils industriels orientés pour la simulation des réseaux de Petri ou diagramme d'activités (mais il y a beaucoup de projets académiques que vous pouvez facilement trouver).

Êtes-vous sûr que vous souhaitez simuler votre modèle (par simulation, je veux dire que vous voulez vraiment vous asseoir et regarder comment est en cours d'exécution de votre réseau Perti)? Habituellement, ce type d'analyse est applicable pour les algorithmes petits et simples. Dans la situation du monde réel que vous aimeriez probablement faire vérification de votre algorithme plutôt que la simulation. Je vous recommande de vérifier SPIN (utilisé par de nombreuses entreprises, par exemple Siemens). Aussi j'ai une expérience positive alliage et prisme . Mais si votre accent est mis sur la vérification des algorithmes parallèles, je vous suggère de considérer d'abord SPIN.

Edit: J'ai vérifié quelques outils pour la simulation et je vous conseille de regarder

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

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

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

Answer 2

SPIN est un outil populaire pour la vérification des systèmes distribués, mais la ligne de commande que je pense . Mais sur la page web de Spin il y a un lien vers un outil graphique étroitement lié appelé BUT

Answer 3

Je doute que ce soit ce que vous cherchez, mais je vais jeter mes deux cents:

A mon université, dans notre classe sur les systèmes logiciels concurrents, nous utilisons un outil appelé Labellisé transition Analyseur de système (LTSA) de . Il est en fait une langue que vous pouvez utiliser pour modéliser le comportement d'un système.

Le "code" est transformé en un diagramme d'état et une table de transition.

Answer 4

Voici un applet Java interactif qui peut concevoir et exécuter un réseau de Petri.

Answer 5

Il a été longtemps que je l'ai regardé, mais il semble que Ptolémée serait un bon ajustement.

Answer 6

Vous pouvez consulter Petri Net Sim , pour simuler commun / chronométré / couleur Petrinets, il est livré avec une interface graphique agréable qui affiche Petri exécution net en temps réel.

Answer 7

Essayez d'utiliser l'outil d'accès concurrentiel, LTSA. programme Java. (Labellisé Analyseur de transition du système), pour simuler des programmes. Vous pouvez le télécharger à partir de:

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

Mais vous devez être patient pendant l'utilisation, il peut prendre quelques heures pour apprendre à l'utiliser. fonctionne probablement mieux lors de la modélisation des programmes Java.

Et il est toujours bon d'utiliser des modèles UML bien sûr:)