هل هناك أداة لنمذجة/محاكاة توافق البرامج؟

Question

هل هناك أداة جيدة يمكن أن تصمم مخططًا للتزامن/قفل التطبيق بطريقة رسومية ويمكنها محاكاة بعض الجوانب؟

أعلم أنه يمكن استخدام Nets Betri لهذا أكثر أو أقل ، لكنني لا أعرف أداة واجهة المستخدم الرسومية الجيدة التي يمكنها تصميم ومحاكاة.

هل UML بأي حال من الأحوال قابلة للاستخدام في مثل هذه الأغراض؟

أي روابط جيدة موضع تقدير كبير.

Answer 1

يمكن التعبير عن مخططات نشاط UML على أنها شبكات بتري (على سبيل المثال انظر هذه الورقة). لسوء الحظ ، لا أعرف أي أدوات ذات توجه صناعي جيد لمحاكاة شبكات Petri أو مخطط النشاط (ولكن هناك العديد من المشاريع الأكاديمية التي يمكنك العثور عليها بسهولة).

هل أنت متأكد من أنك تريد محاكاة النموذج الخاص بك (من خلال المحاكاة أعني أنك تريد بالفعل الجلوس والنظر في كيفية تنفيذ شبكة Perti الخاصة بك)؟ عادة ما ينطبق هذا النوع من التحليل على الخوارزميات الصغيرة والبسيطة. في وضع العالم الحقيقي ربما ترغب في القيام به فحص النموذج من الخوارزمية بدلاً من المحاكاة. أوصيك بالتحقق من الدوران (تستخدمه العديد من الشركات ، على سبيل المثال Siemens). أيضا لدي تجربة إيجابية مع سبيكة و نشور زجاجي. ولكن إذا كان تركيزك على التحقق من الخوارزميات المتوازية ، فأنا أقترح عليك أن تفكر في الدوران أولاً.

تحرير: لقد راجعت بعض الأدوات للمحاكاة وأستطيع أن أنصح بالنظر إلى

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

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

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

Answer 2

غزل هي أداة شائعة للتحقق من الأنظمة الموزعة ولكن هي سطر الأوامر فقط على ما أعتقد. ولكن على صفحة ويب الدوران ، يوجد رابط لأداة واجهة المستخدم الرسومية ذات الصلة الوثيقة تسمى هدف

Answer 3

أشك في أن هذا ما تبحث عنه ، لكنني سأرمي في سنتي:

في جامعتي ، في صفنا على أنظمة البرمجيات المتزامنة ، نستخدم أداة تسمى محلل نظام الانتقال المسمى (LTSA). إنها في الواقع لغة يمكنك استخدامها لنمذجة سلوك النظام.

يتم تحويل "الكود" إلى مخطط حالة وجدول انتقالي.

Answer 4

هنا تطبيق Java تفاعلي والتي يمكن تصميم وتشغيل شبكة بتري.

Answer 5

لقد مر وقت طويل منذ أن نظرت إليه ، لكن يبدو الأمر كذلك بطليموس سيكون مناسبا.

Answer 6

يمكنك التحقق Petri Net Sim, ، لمحاكاة Petrinets المشتركة/المحددة/الملونة ، يأتي مع واجهة المستخدم الرسومية لطيفة يعرض تنفيذ صافي بتري في الوقت الفعلي.

Answer 7

حاول استخدام أداة التزامن ، LTSA. برنامج جافا. (محلل نظام الانتقال المسمى) ، لمحاكاة البرامج. يمكنك تنزيله من:

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

ولكن عليك التحلي بالصبر أثناء استخدامه ، قد يستغرق الأمر بضع ساعات لتعلم كيفية استخدامه. ربما يعمل بشكل أفضل أثناء نمذجة برامج Java.

ومن الجيد دائمًا استخدام نماذج UML بالطبع :)