¿Existe una herramienta para modelar / simular concurrencia de software?

Question

¿Hay una buena herramienta por ahí que puede modelar una simultaneidad de aplicación / sistema de bloqueo de una manera gráfica y que puede simular algunos de los aspectos?

Sé que las redes de Petri se pueden utilizar para que más o menos, pero no sé una buena herramienta de interfaz gráfica de usuario que puede diseñar y simular.

Es UML en cualquier forma utilizable para tales fines?

Cualquier buenas conexiones son muy apreciados.

Answer 1

Los diagramas de actividad UML se puede expresar como redes de Petri (por ejemplo, ver este documento ). Por desgracia no sé buenas herramientas orientadas industriales para la simulación de redes de Petri o Diagrama de Actividad (pero hay muchos proyectos académicos que se pueden encontrar fácilmente).

¿Está seguro de que desea simular el modelo (por simulación quiero decir que en realidad se quiere sentar y ver cómo se está ejecutando su red Perti)? Por lo general, este tipo de análisis es aplicable para los algoritmos pequeñas y sencillas. En situación del mundo real es probable que le gustaría hacer modelo de comprobación de su algoritmo en lugar de simulación. Yo recomendaría que para comprobar SPIN (utilizado por muchas empresas, por ejemplo, Siemens). También tengo una experiencia positiva con aleación y Prisma . Pero si su atención se centra en la verificación de algoritmos paralelos Yo sugeriría que usted considere SPIN primero.

Edit: he comprobado algunas herramientas para la simulación y puedo aconsejar mirando

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

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

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

Answer 2

SPIN es una herramienta popular para la verificación de los sistemas distribuidos, pero es la línea de comandos solamente pienso . Pero en la página web de la vuelta hay un enlace a una herramienta de interfaz gráfica de usuario muy relacionado llamado META

Answer 3

Me cabe duda de que esto es lo que busca, pero voy a tirar mi granito de arena:

En mi universidad, en nuestra clase de sistemas de software concurrentes, se utiliza una herramienta llamada Etiquetada transición System Analyzer (CSALP) . En realidad es un lenguaje que se puede utilizar para modelar el comportamiento de un sistema.

El "código" se convierte en un diagrama de estado y una tabla de transición.

Answer 4

Aquí es un applet de Java interactivo que puede diseñar y ejecutar una red de Petri.

Answer 5

Ha sido un largo tiempo desde que he mirado, pero suena como Tolomeo sería una buena opción.

Answer 6

Puede comprobar Petri Net Sim , para simular común / periódica / color Petrinets, viene con una bonita interfaz gráfica que muestra la ejecución de Petri Net en tiempo real.

Answer 7

Trate de usar la herramienta de concurrencia, CSALP. programa Java. (Con la etiqueta de transición de analizador de sistema), para simular programas. Se puede descargar de:

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

Pero hay que ser paciente mientras que la usa, puede tardar un par de horas para aprender a usarlo. Probablemente es mejor funciona dando el ejemplo de los programas de Java.

Y siempre es bueno utilizar modelos UML, por supuesto:)