Rodin tool
রডিন টুল হল ইভেন্ট-বি-তে আনুষ্ঠানিক মডেলিংয়ের জন্য একটি সফ্টওয়্যার টুল। প্রাথমিকভাবে রোডিন প্রকল্প (2004-2007) সহ বেশ কয়েকটি সহযোগী ইউরোপীয় ইউনিয়ন প্রকল্পের অংশ হিসাবে এটি তৈরি করা হয়েছিল। সংক্ষিপ্ত বিবরণ ইভেন্ট-বি হল বি-পদ্ধতি থেকে বিকশিত একটি স্বরলিপি এবং পদ্ধতি এবং এটি মডেলিংয়ের ক্রমবর্ধমান শৈলীর সাথে ব্যবহার করার উদ্দেশ্যে করা হয়েছে। ক্রমবর্ধমান মডেলিংয়ের ধারণাটি প্রোগ্রামিং থেকে নেওয়া হয়েছেঃ আধুনিক প্রোগ্রামিং ভাষাগুলি সমন্বিত উন্নয়ন পরিবেশের সাথে আসে যা প্রোগ্রামগুলিকে সংশোধন এবং উন্নত করা সহজ করে তোলে। রডিন টুল ইভেন্ট-বি-র জন্য এমন একটি পরিবেশ প্রদান করে। রডিন সরঞ্জামের দুটি বৈশিষ্ট্য হল এর ব্যবহারের সহজতা এবং সম্প্রসারণযোগ্যতা। সরঞ্জামটি মডেলিংয়ের উপর দৃষ্টি নিবদ্ধ করে। এটি ব্যবহারকারীকে মডেলগুলি সংশোধন করতে এবং একটি মডেলের বৈচিত্র্যগুলি চেষ্টা করার অনুমতি দেয়। সরঞ্জামটিও সম্প্রসারণযোগ্য। এটি সরঞ্জামটিকে নির্দিষ্ট প্রয়োজনের সাথে খাপ খাইয়ে নেওয়া সম্ভব করে তোলে, তাই সরঞ্জামটিকে বিপরীত দাবি করার পরিবর্তে বিদ্যমান উন্নয়ন প্রক্রিয়াগুলির সাথে খাপ খাইয়ে নেওয়ার জন্য অভিযোজিত করা যেতে পারে। একটি সম্পর্কিত ইভেন্ট-বি উইকি রয়েছে। রডিন ("জটিল ব্যবস্থার জন্য কঠোর উন্মুক্ত উন্নয়ন পরিবেশ") হল ইক্লিপস আইডিই (জাভা-ভিত্তিক)-এর একটি সম্প্রসারণ। রডিন এক্লিপস নির্মাতা নিম্নলিখিত বিষয়গুলি পরিচালনা করেনঃ সু-গঠন এবং টাইপ চেকার প্রুফ বাধ্যবাধকতা (পিও) জেনারেটর প্রুফ ম্যানেজার (পিএম) পরিবর্তনের প্রচার রডিন প্রুফ ম্যানেজার (পিএম) প্রধানমন্ত্রী প্রতিটি পিও স্বয়ংক্রিয় এবং ইন্টারেক্টিভ মোডের জন্য একটি প্রুফ ট্রি তৈরি করেন প্রধানমন্ত্রী ব্যবহৃত অনুমানগুলি পরিচালনা করেন প্রধানমন্ত্রী যুক্তিবিদদের আহ্বান করেনঃ ডিসচার্জ গোল, বা লক্ষ্যকে উপগোলে বিভক্ত করুন যুক্তিবিদদের সংগ্রহঃ সরলীকরণকারী, নিয়ম-ভিত্তিক, সিদ্ধান্ত পদ্ধতি, পিএম এবং যুক্তিবিদদের সংজ্ঞায়িত করার জন্য মৌলিক কৌশলের ভাষা শিল্প অ্যাপ্লিকেশন এবং কেস স্টাডি রডিন প্রকল্পে পাঁচটি শিল্প কেস স্টাডি অন্তর্ভুক্ত ছিল যা টুলসেটকে বৈধ করতে কাজ করেছিল এবং সরঞ্জামগুলি ব্যবহারের জন্য একটি উপযুক্ত পদ্ধতির বিশ্লেষণে সহায়তা করেছিল। কেস স্টাডিগুলি অন্যান্য অংশীদারদের দ্বারা সমর্থিত রডিন প্রকল্পের শিল্প অংশীদারদের দ্বারা পরিচালিত হয়েছিল। কেস স্টাডিগুলি নিম্নরূপ ছিলঃ একটি ইঞ্জিন নিয়ন্ত্রকের জন্য একটি ব্যর্থতা পরিচালন ব্যবস্থা; মোবাইল ইন্টারনেট প্রযুক্তির জন্য একটি প্ল্যাটফর্মের অংশ; যোগাযোগ প্রোটোকলের প্রকৌশল; একটি এয়ার-ট্র্যাফিক ডিসপ্লে সিস্টেম; একটি পরিবেষ্টিত ক্যাম্পাস অ্যাপ্লিকেশন। রডিন বি4-মুক্ত প্রোভার সরবরাহকারীর জন্য কিছু উপলব্ধ প্লাগ-ইনঃ ক্লিয়ারসি ফাংশনঃ উপপাদ্য প্রোভার ইউএমএল-বি প্রদানকারীঃ সাউদাম্পটন ফাংশন বিশ্ববিদ্যালয়ঃ ইভেন্ট-বি-র জন্য ইউএমএল-এর মতো গ্রাফিকাল ফ্রন্ট-এন্ড সমর্থনকারী ক্লাস ডায়াগ্রাম এবং স্টেট চার্ট প্রোবি প্রদানকারীঃ ডুসেলডর্ফ ফাংশন বিশ্ববিদ্যালয়ঃ ইভেন্ট-বি মডেলগুলির অ্যানিমেশন এবং মডেল-চেকিং; মিথ্যা প্রমাণ লক্ষ্যগুলির জন্য পাল্টা উদাহরণ, বিশেষত, প্রমাণ বাধ্যবাধকতা ব্রামা প্রদানকারীঃ ক্লিয়ারসি ফাংশনঃ বি মডেলগুলির অ্যানিমেশন। উদ্দেশ্যটি দ্বিগুণঃ অবস্থা পর্যবেক্ষণের জন্য একটি মডেলের সাথে পরীক্ষা-নিরীক্ষা এবং ইভেন্ট-বি মডেলগুলির ফ্ল্যাশ অ্যানিমেশন মডুলারাইজেশন সরবরাহকারীঃ নিউক্যাসল ইউনিভার্সিটি ফাংশনঃ মডেলিংয়ের যৌক্তিক ইউনিটে ইভেন্ট-বি বিকাশের কাঠামো, যাকে মডিউল বলা হয়; মডেল রচনা; মডেল পুনঃব্যবহার রেফারেন্স আরও পড়া জিন-রেমন্ড অ্যাব্রিয়াল। বি-বুকঃ অর্থের জন্য প্রোগ্রাম বরাদ্দ করা। কেমব্রিজ ইউনিভার্সিটি প্রেস, 1996 ()। জিন-রেমন্ড অ্যাব্রিয়াল, মাইকেল বাটলার, স্টেফান হ্যালারস্টেড এবং লরেন্ট ভয়েসিন। ইভেন্ট-বি-এর জন্য একটি উন্মুক্ত সম্প্রসারণযোগ্য সরঞ্জাম পরিবেশ। জেড. লিউ এবং জে। তিনি, সম্পাদক, আই. সি. এফ. ই. এম 2006, এল. এন. সি. এস, ভলিউম 4260, পৃষ্ঠা <আই. ডি1>। স্প্রিঙ্গার, 2006। আব্দুলবাগি রেজাজাদেহ, নিল ইভান্স এবং মাইকেল বাটলার। ইভেন্ট-বি এবং রডিন ব্যবহার করে একটি শিল্প, কেস স্টাডির পুনর্বিন্যাস। বিসিএস-এফএসিএস ক্রিসমাস 2007 মিটিং, 2007-এ। রডিন। বিতরণযোগ্য ডি 18: কেস স্টাডি উন্নয়নের উপর মধ্যবর্তী প্রতিবেদন। মাইকেল বাটলার এবং স্টেফান হ্যালারস্টেড, দ্য রডিন ফরমাল মডেলিং টুল, ইইউ রিসার্চ প্রজেক্ট আই. এস. টি 511599 রডিন। ইক্লিপস প্ল্যাটফর্মের হোমপেজ। বাহ্যিক লিঙ্ক ইভেন্ট-বি এবং রডিন প্ল্যাটফর্ম ইভেন্ট-বি এবং রডিন ডকুমেন্টেশন উইকি রডিন সোর্সফোর্জ 2007 সফ্টওয়্যার ফর্মাল মেথড টুলস ফর্মাল স্পেসিফিকেশান ল্যাঙ্গুয়েজ