Esiste uno strumento per modellare / simulazione software di concorrenza?

Question

C'è un buon strumento là fuori che può modellare un concorrenza application / bloccaggio schema in modo grafico e in grado di simulare alcuni degli aspetti?

So che le reti di Petri possono essere utilizzati per che più o meno, ma non so un buon strumento di interfaccia grafica in grado di progettare e simulare.

È UML in alcun modo utilizzabile per tali scopi?

Tutti i buoni collegamenti sono molto apprezzati.

Answer 1

UML Activity Diagrams può essere espresso come reti di Petri (ad esempio, vedere questo documento ). Purtroppo non conosco nessun buoni strumenti orientati industriali per la simulazione di reti di Petri o Activity Diagram (ma ci sono molti progetti accademici che si possono facilmente trovare).

Sei sicuro che si vuole simulare il vostro modello (per simulazione voglio dire che in realtà si vuole sedersi e osservare come viene eseguita la vostra rete di Perti)? Solitamente questo tipo di analisi è applicabile per algoritmi piccole e semplici. Nella situazione del mondo reale che probabilmente vorrebbe fare model checking del vostro algoritmo piuttosto che di simulazione. Ti consiglierei di controllare SPIN (utilizzato da molte aziende, ad esempio Siemens). Anche io ho un'esperienza positiva con lega e Prism . Ma se il vostro obiettivo è quello di verificare algoritmi paralleli vorrei suggerire di prendere in considerazione SPIN prima.

Edit: ho controllato alcuni strumenti per la simulazione e posso consigliare guardando

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

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

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

Answer 2

SPIN è un popolare strumento per la verifica dei sistemi distribuiti, ma non è che penso a riga di comando . Ma sulla pagina web Spin c'è un link ad uno strumento GUI strettamente correlato chiamato OBIETTIVO

Answer 3

sto dubbio questo è quello che stai cercando, ma mi butto in miei due centesimi:

Nella mia università, nella nostra classe sui sistemi software concorrenti, usiamo uno strumento chiamato Labeled Transition System Analyzer (LTSA) . In realtà è un linguaggio che è possibile utilizzare per modellare il comportamento di un sistema.

Il "codice" è trasformato in un diagramma di stato e un tavolo di transizione.

Answer 4

Ecco un interattivo Java applet che può progettare e gestire una rete di Petri.

Answer 5

E 'passato molto tempo da quando ho guardato, ma suona come Tolomeo sarebbe una buona misura.

Answer 6

È possibile controllare Petri Net Sim , per simulare comuni / temporizzata / color Petrinets, si tratta con una bella interfaccia grafica che visualizza l'esecuzione Petri netto in tempo reale.

Answer 7

Provare a utilizzare lo strumento di concorrenza, LTSA. programma Java. (Labeled Transition System Analyzer), per simulare i programmi. È possibile scaricarlo da:

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

Ma devi essere paziente mentre lo si utilizza, si può prendere un paio d'ore per imparare a usarlo. funziona Probabilmente meglio, mentre la modellazione programmi Java.

Ed è sempre bene utilizzare modelli UML ovviamente:)