क्या वहां कोई अच्छा टूल है जो एक ग्राफिकल तरीके से एक अनुप्रयोग समवर्ती/लॉकिंग योजना मॉडल कर सकता है और यह कुछ पहलुओं को अनुकरण कर सकता है?क्या सॉफ़्टवेयर समरूपता मॉडल/अनुकरण करने के लिए कोई उपकरण है?
मुझे पता है कि पेट्री नेट का उपयोग उस या कम के लिए किया जा सकता है, लेकिन मुझे एक अच्छा जीयूआई उपकरण नहीं पता है जो डिजाइन और अनुकरण कर सकता है।
क्या यूएमएल ऐसे उद्देश्यों के लिए किसी भी तरह प्रयोग योग्य है?
किसी भी अच्छे लिंक की बहुत सराहना की जाती है।
यूएमएल गतिविधि आरेख कहा उपकरण पेट्री जाल के रूप में व्यक्त किया जा सकता है (उदाहरण के लिए see this paper) के लिए एक कड़ी है। दुर्भाग्य से मैं पेट्री नेट या गतिविधि आरेख के सिमुलेशन के लिए किसी भी अच्छे औद्योगिक उन्मुख उपकरण नहीं जानता (लेकिन कई अकादमिक परियोजनाएं हैं जिन्हें आप आसानी से पा सकते हैं)।
क्या आप वाकई अपने मॉडल को अनुकरण करना चाहते हैं (सिमुलेशन द्वारा मेरा मतलब है कि आप वास्तव में बैठना चाहते हैं और देखें कि आपके पर्टी नेट को कैसे निष्पादित किया जा रहा है)? आम तौर पर इस प्रकार का विश्लेषण छोटे और सरल एल्गोरिदम के लिए लागू होता है। वास्तविक दुनिया की स्थिति में आप शायद सिमुलेशन के बजाय अपने एल्गोरिदम के model checking करना चाहेंगे। मैं आपको स्पिन की जांच करने की सलाह दूंगा (कई कंपनियों द्वारा उपयोग किया जाता है, उदाहरण के लिए सीमेंस)। इसके अलावा मुझे Alloy और Prism के साथ सकारात्मक अनुभव है। लेकिन यदि आपका ध्यान समांतर एल्गोरिदम की पुष्टि करने पर है तो मैं आपको स्पिन पर विचार करने का सुझाव दूंगा।
संपादित करें: मैं अनुकरण के लिए कुछ उपकरणों की जाँच की और मैं कम से
Here is an interactive Java applet जो पेट्री नेट को डिज़ाइन और चला सकता है।
इसके बाद से मैं एक लंबे समय हो गया है की तलाश में सलाह दे सकते हैं मैंने इसे देखा है, लेकिन ऐसा लगता है जैसे Ptolemy एक अच्छा फिट होगा।
मैं संदेह यह आपके लिए क्या देख रहे है, लेकिन मैं अपने दो सेंट में फेंक देंगे:
मेरे विश्वविद्यालय में समवर्ती सॉफ्टवेयर सिस्टम पर हमारी कक्षा में, हमने एक टूल Labelled Transition System Analyser (LTSA) कहा जाता है का उपयोग करें। यह वास्तव में एक ऐसी भाषा है जिसका उपयोग आप किसी सिस्टम के व्यवहार को मॉडल करने के लिए कर सकते हैं।
"कोड" एक राज्य आरेख और एक संक्रमण तालिका में बदल गया है।
आप सामान्य/समय/रंगीन पेट्रिनेट्स को अनुकरण करने के लिए Petri Net Sim देख सकते हैं, यह एक अच्छा जीयूआई है जो वास्तविक समय में पेट्री नेट निष्पादन प्रदर्शित करता है।
समवर्ती उपकरण, एलटीएसए का उपयोग करने का प्रयास करें। जावा प्रोग्राम (लेबल किए गए संक्रमण प्रणाली विश्लेषक), कार्यक्रम अनुकरण करने के लिए। आप से डाउनलोड कर सकते:
लेकिन आप इसे का उपयोग करते समय, यह बताती है उपयोग करने के लिए सीखने के लिए कुछ घंटों का समय लग सकता रोगी होना है।जावा प्रोग्राम मॉडलिंग करते समय शायद सबसे अच्छा काम करता है।
और पाठ्यक्रम के यूएमएल मॉडल का उपयोग करना हमेशा अच्छा होता है :)
आपके उत्तर के लिए बहुत बहुत धन्यवाद। मैं वास्तव में केवल प्रस्तुति उद्देश्यों के लिए सिमुलेशन करना चाहता हूं और केवल कुछ स्थितियों के सरलीकृत मॉडल के लिए: मान लें कि 3-4 धागे एक ही चीज करने की कोशिश कर रहे हैं जब डेटा सेटअप डी 1 है और पैरामीटर पी 1 हैं। –
आपका स्वागत है। मैंने अपने उत्तर में कुछ लिंक जोड़े हैं। –