Rodin tool
روڈن ٹول ایونٹ-بی میں رسمی ماڈلنگ کے لیے ایک سافٹ ویئر ٹول ہے۔ اسے یورپی یونین کے کئی باہمی تعاون کے منصوبوں کے حصے کے طور پر تیار کیا گیا تھا، جس میں ابتدائی طور پر آر او ڈی آئی این پروجیکٹ (2004-2007) بھی شامل ہے۔ جائزہ ایونٹ-بی ایک اشارہ اور طریقہ ہے جو بی-طریقہ سے تیار کیا گیا ہے اور اس کا مقصد ماڈلنگ کے اضافی انداز کے ساتھ استعمال کرنا ہے۔ انکریمنٹل ماڈلنگ کا خیال پروگرامنگ سے لیا گیا ہے: جدید پروگرامنگ زبانیں مربوط ترقیاتی ماحول کے ساتھ آتی ہیں جو پروگراموں میں ترمیم اور بہتری لانا آسان بناتی ہیں۔ روڈن ٹول ایونٹ-بی کے لیے ایسا ماحول فراہم کرتا ہے۔ روڈن ٹول کی دو خصوصیات اس کے استعمال میں آسانی اور اس کی توسیع پذیری ہیں۔ ٹول ماڈلنگ پر مرکوز ہے۔ یہ صارف کو ماڈلز میں ترمیم کرنے اور ماڈل کی مختلف حالتوں کو آزمانے کی اجازت دیتا ہے۔ ٹول بھی قابل توسیع ہے۔ اس سے ٹول کو مخصوص ضروریات کے مطابق ڈھالنا ممکن ہو جاتا ہے، لہذا ٹول کو اس کے برعکس مطالبہ کرنے کے بجائے موجودہ ترقیاتی عمل میں فٹ ہونے کے لیے ڈھال لیا جا سکتا ہے۔ ایک متعلقہ ایونٹ-بی ویکی ہے۔ روڈن ("پیچیدہ نظاموں کے لیے سخت کھلی ترقی کا ماحول") ایکلپس آئی ڈی ای (جاوا پر مبنی) کی توسیع ہے۔ روڈن ایکلپس بلڈر مندرجہ ذیل کا انتظام کرتا ہے: اچھی ساخت اور ٹائپ چیکر پروف واجبات (پی او) جنریٹر پروف منیجر (پی ایم) تبدیلیوں کی تشہیر روڈن پروف منیجر (پی ایم) پی ایم ہر پی او آٹومیٹک اور انٹرایکٹو طریقوں کے لیے ایک پروف ٹری بناتا ہے۔ پی ایم استعمال شدہ مفروضوں کا انتظام کرتا ہے۔ پی ایم استدلال کرنے والوں کو بلاتا ہے: ڈسچارج گول، یا ہدف کو ذیلی مقاصد میں تقسیم کرتا ہے۔ استدلال کرنے والوں کا مجموعہ: آسان، اصول پر مبنی، فیصلہ کرنے کے طریقہ کار، پی ایم کی وضاحت کے لیے بنیادی حکمت عملی کی زبان اور استدلال کرنے والے صنعتی ایپلی کیشنز اور کیس اسٹڈیز۔ روڈن پروجیکٹ میں پانچ صنعتی کیس اسٹڈیز شامل تھے جنہوں نے ٹول سیٹ کی توثیق کرنے میں مدد کی اور ٹولز کے استعمال کے لیے ایک مناسب طریقہ کار کی وضاحت میں مدد کی۔ کیس اسٹڈیز کی قیادت روڈن پروجیکٹ کے صنعتی شراکت داروں نے کی، جسے دوسرے شراکت داروں کی حمایت حاصل تھی۔ کیس اسٹڈیز مندرجہ ذیل تھیں: انجن کنٹرولر کے لیے ناکامی کے انتظام کا نظام ؛ موبائل انٹرنیٹ ٹیکنالوجی کے لیے پلیٹ فارم کا حصہ ؛ مواصلاتی پروٹوکول کی انجینئرنگ ؛ ایئر ٹریفک ڈسپلے سسٹم ؛ ایک وسیع کیمپس ایپلی کیشن۔ روڈن بی 4 فری پروورز فراہم کنندہ کے لیے کچھ دستیاب پلگ ان: کلیئرسی فنکشن: تھیوریم پروورز یو ایم ایل-بی فراہم کنندہ: یونیورسٹی آف ساؤتھمپٹن فنکشن: ایونٹ-بی کے لیے یو ایم ایل کی طرح گرافیکل فرنٹ اینڈ سپورٹنگ کلاس ڈائیگرامز اور اسٹیٹ چارٹس پرو بی فراہم کنندہ: یونیورسٹی آف ڈسلڈورف فنکشن: ایونٹ-بی ماڈلز کی اینیمیشن اور ماڈل چیکنگ ؛ غلط ثبوت کے اہداف کے لیے جوابی مثالیں، خاص طور پر، ثبوت کی ذمہ داریاں براما فراہم کنندہ: کلیئرسی فنکشن: بی ماڈلز کی اینیمیشن۔ مقصد دو گنا ہے: حالتوں کا مشاہدہ کرنے کے لیے ایک ماڈل کے ساتھ تجربہ اور ایونٹ-بی ماڈلز کی فلیش حرکت پذیری ماڈیولرائزیشن فراہم کنندہ: نیو کیسل یونیورسٹی فنکشن: ماڈلنگ کی منطقی اکائیوں میں ایونٹ-بی کی ترقی کی تشکیل، جسے ماڈیول کہا جاتا ہے ؛ ماڈل کمپوزیشن ؛ ماڈل دوبارہ استعمال حوالہ جات مزید پڑھنے کے لیے جین ریمنڈ ابریل۔ بی بک: پروگراموں کو معنی میں تفویض کرنا۔ کیمبرج یونیورسٹی پریس، 1996، () جین ریمنڈ ابریل، مائیکل بٹلر، اسٹیفن ہالرسٹیڈ، اور لارنٹ وائسن۔ ایونٹ-بی کے لیے ایک کھلا توسیعی ٹول ماحول۔ زیڈ میں لیو اور جے۔ وہ، ایڈیٹرز، ICFEM 2006، LNCS، جلد 4260، صفحات 588-605۔ سپرنگر، 2006۔ عبد البغھی رضازادہ، نیل ایونز، اور مائیکل بٹلر۔ ایونٹ-بی اور روڈن کا استعمال کرتے ہوئے صنعتی، کیس اسٹڈی کی دوبارہ ترقی۔ بی سی ایس-ایف اے سی ایس کرسمس 2007 میٹنگ، 2007 میں۔ روڈن۔ ڈیلیوری ایبل D18: کیس اسٹڈی کی پیش رفت پر انٹرمیڈیٹ رپورٹ۔ مائیکل بٹلر اور اسٹیفن ہالرسٹیڈ، دی روڈن فارمل ماڈلنگ ٹول، ای یو ریسرچ پروجیکٹ IST 511599 روڈن۔ ایکلپس پلیٹ فارم کا ہوم پیج۔ بیرونی روابط ایونٹ-بی اور روڈن پلیٹ فارم ایونٹ-بی اور روڈن ڈاکیومینٹیشن ویکی روڈن آن سورس فورج 2007 سافٹ ویئر رسمی طریقوں کے اوزار رسمی تفصیلات کی زبانیں