소프트웨어 동시성을 모델링/시뮬레이션하는 도구가 있습니까?

Question

응용 프로그램 동시성/잠금 방식을 그래픽으로 모델링하고 일부 측면을 시뮬레이션 할 수있는 좋은 도구가 있습니까?

나는 Petri Nets가 그 이상으로 사용될 수 있다는 것을 알고 있지만, 디자인하고 시뮬레이션 할 수있는 좋은 GUI 도구를 모릅니다.

UML은 어떤 식 으로든 그러한 목적으로 사용할 수 있습니까?

좋은 링크는 매우 감사합니다.

Answer 1

UML 활동 다이어그램은 Petri Nets로 표현할 수 있습니다 (예 : 이 논문을 참조하십시오). 불행히도 나는 Petri Nets 또는 활동 다이어그램의 시뮬레이션을위한 훌륭한 산업 지향 도구를 모릅니다 (그러나 쉽게 찾을 수있는 학업 프로젝트가 많이 있습니다).

모델을 시뮬레이션하고 싶다고 확신합니까 (시뮬레이션을 통해 실제로 앉아서 Perti Net이 어떻게 실행되는지보고 싶습니까)? 일반적 으로이 유형의 분석은 작고 간단한 알고리즘에 적용됩니다. 실제 상황에서 당신은 아마도 모델 점검 시뮬레이션보다는 알고리즘의. 스핀을 확인하는 것이 좋습니다 (예 : 많은 회사에서 사용). 또한 긍정적 인 경험이 있습니다 합금 그리고 프리즘. 그러나 귀하의 병렬 알고리즘을 확인하는 데 초점을 맞추면 먼저 스핀을 고려해야합니다.

편집 : 시뮬레이션을위한 몇 가지 도구를 확인했으며보고 조언 할 수 있습니다.

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

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

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

Answer 2

회전 분산 시스템의 검증을위한 인기있는 도구이지만 내가 생각하는 명령 줄입니다. 그러나 스핀 웹 페이지에는 밀접하게 관련된 GUI 도구에 대한 링크가 있습니다. 목표

Answer 3

나는 이것이 당신이 찾고있는 것임을 의심하지만, 나는 내 두 센트를 던질 것이다.

우리 대학에서 동시 소프트웨어 시스템에 대한 수업에서 우리는 라벨링 된 Transition System Analyzer (LTSA). 실제로 시스템의 동작을 모델링하는 데 사용할 수있는 언어입니다.

"코드"는 상태 다이어그램과 전환 테이블로 바뀝니다.

Answer 4

대화 형 Java 애플릿이 있습니다 페트리 네트를 설계하고 실행할 수 있습니다.

Answer 5

내가 그것을 본 지 오랜 시간이 지났지 만 프톨레마이오스 잘 맞을 것입니다.

Answer 6

당신은 확인할 수 있습니다 Petri Net Sim, 공통/시간/색상 페트리넷을 시뮬레이션하기 위해, Petri Net Execution을 실시간으로 표시하는 멋진 GUI가 제공됩니다.

Answer 7

동시성 도구 인 LTSA를 사용해보십시오. 자바 프로그램. 프로그램을 시뮬레이션하기 위해 (전환 시스템 분석기). 다음에서 다운로드 할 수 있습니다.

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

그러나 사용하는 동안 인내심을 가져야합니다. 사용 방법을 배우는 데 몇 시간이 걸릴 수 있습니다. 아마도 Java 프로그램을 모델링하는 동안 가장 잘 작동합니다.

그리고 물론 UML 모델을 사용하는 것이 항상 좋습니다 :)