Rodin tool
ரோடின் கருவி என்பது நிகழ்வு-பி இல் முறையான மாடலிங்கிற்கான ஒரு மென்பொருள் கருவியாகும். ஆரம்பத்தில் ரோடின் திட்டம் (2004-2007) உட்பட பல கூட்டு ஐரோப்பிய ஒன்றிய திட்டங்களின் ஒரு பகுதியாக இது உருவாக்கப்பட்டது. கண்ணோட்டம் நிகழ்வு-பி என்பது பி-முறையிலிருந்து உருவாக்கப்பட்ட ஒரு குறியீடு மற்றும் முறையாகும், மேலும் இது மாடலிங்கின் அதிகரிக்கும் பாணியுடன் பயன்படுத்தப்பட வேண்டும். இன்க்ரிமெண்டல் மாடலிங் யோசனை நிரலாக்கத்திலிருந்து எடுக்கப்பட்டுள்ளதுஃ நவீன நிரலாக்க மொழிகள் ஒருங்கிணைந்த மேம்பாட்டு சூழலுடன் வருகின்றன, அவை நிரல்களை மாற்றியமைக்கவும் மேம்படுத்தவும் எளிதாக்குகின்றன. ரோடின் கருவி நிகழ்வு-பி க்கு அத்தகைய சூழலை வழங்குகிறது. ரோடின் கருவியின் இரண்டு பண்புகள் அதன் பயன்பாட்டின் எளிமை மற்றும் அதன் விரிவாக்கம் ஆகும். கருவி மாடலிங்கில் கவனம் செலுத்துகிறது. இது மாதிரிகளை மாற்றியமைக்கவும், மாதிரியின் மாறுபாடுகளை முயற்சிக்கவும் பயனரை அனுமதிக்கிறது. கருவியும் விரிவாக்கக்கூடியது. இது கருவியை குறிப்பிட்ட தேவைகளுக்கு ஏற்ப மாற்றியமைக்க உதவுகிறது, எனவே கருவி அதற்கு நேர்மாறாக கோருவதற்குப் பதிலாக தற்போதுள்ள மேம்பாட்டு செயல்முறைகளுக்கு ஏற்றவாறு மாற்றியமைக்கப்படலாம். ஒரு தொடர்புடைய நிகழ்வு-பி விக்கி உள்ளது. ரோடின் ("சிக்கலான அமைப்புகளுக்கான கடுமையான திறந்த மேம்பாட்டு சூழல்") என்பது எக்லிப்ஸ் ஐடிஇ (ஜாவா அடிப்படையிலான) இன் நீட்டிப்பாகும். ரோடின் எக்லிப்ஸ் பில்டர் பின்வருவனவற்றை நிர்வகிக்கிறதுஃ நன்கு வடிவமைக்கப்பட்ட மற்றும் வகை சரிபார்ப்பு சான்று கடமை (பிஓ) ஜெனரேட்டர் சான்று மேலாளர் (பிஎம்) மாற்றங்களை பரப்புதல் ரோடின் சான்று மேலாளர் (பிஎம்) பிஎம் ஒவ்வொரு பிஓ தானியங்கி மற்றும் ஊடாடும் முறைகளுக்கு ஒரு ஆதார மரத்தை உருவாக்குகிறார் பிஎம் பயன்படுத்தப்பட்ட கருதுகோள்களை நிர்வகிக்கிறார் பிஎம் நியாயப்படுத்துபவர்களை அழைக்கிறார்ஃ வெளியேற்ற இலக்கு, அல்லது இலக்கை துணை இலக்குகளாகப் பிரிக்கவும் நியாயப்படுத்துபவர்களின் தொகுப்புஃ எளிமைப்படுத்துதல், விதி அடிப்படையிலான, முடிவு நடைமுறைகள், பிஎம் மற்றும் காரணிகளை வரையறுக்க அடிப்படை தந்திரோபாயங்கள் தொழில்துறை பயன்பாடுகள் மற்றும் வழக்கு ஆய்வுகள் ரோடின் திட்டத்தில் ஐந்து தொழில்துறை வழக்கு ஆய்வுகள் அடங்கும், அவை கருவிகளை சரிபார்க்க உதவியது மற்றும் கருவிகளைப் பயன்படுத்துவதற்கான பொருத்தமான முறையை விரிவுபடுத்த உதவியது. ரோடின் திட்டத்தின் தொழில்துறை பங்குதாரர்களால் வழக்கு ஆய்வுகள் வழிநடத்தப்பட்டன, மற்ற பங்குதாரர்களால் ஆதரிக்கப்பட்டன. வழக்கு ஆய்வுகள் பின்வருமாறு இருந்தனஃ ஒரு இயந்திரக் கட்டுப்பாட்டாளருக்கான தோல்வி மேலாண்மை அமைப்பு; மொபைல் இணைய தொழில்நுட்பத்திற்கான ஒரு தளத்தின் ஒரு பகுதி; தகவல்தொடர்பு நெறிமுறைகளின் பொறியியல்; ஒரு காற்று-போக்குவரத்து காட்சி அமைப்பு; ஒரு சுற்றுப்புற வளாக பயன்பாடு. ரோடின் பி4 இலவச புரோவர்களுக்கான சில செருகுநிரல்கள் வழங்குநர்ஃ கிளியர்சி செயல்பாடுஃ யூஎம்எல்-பி வழங்குநரை தேற்றம் நிரூபிக்கிறதுஃ சவுத்தாம்ப்டன் பல்கலைக்கழகம் செயல்பாடுஃ நிகழ்வு-பி ஆதரவு வகுப்பு வரைபடங்கள் மற்றும் மாநில விளக்கப்படங்களுக்கான யூஎம்எல் போன்ற வரைகலை முன் முனை புரோபி வழங்குநர்ஃ டுசெல்டோர்ஃப் பல்கலைக்கழகம் செயல்பாடுஃ நிகழ்வு-பி மாதிரிகளின் அனிமேஷன் மற்றும் மாதிரி சரிபார்ப்பு; தவறான ஆதார இலக்குகளுக்கான எதிர் எடுத்துக்காட்டுகள், குறிப்பாக, ஆதார கடமைகள் பிராமா வழங்குநர்ஃ கிளியர்சி செயல்பாடுஃ பி மாதிரிகளின் அனிமேஷன். இதன் நோக்கம் இரண்டு மடங்கு ஆகும்ஃ நிகழ்வு-பி மாதிரிகளின் நிலைகள் மற்றும் மாற்றங்களைக் கண்காணிக்க ஒரு மாதிரியுடன் பரிசோதனை செய்தல் ஃப்ளாஷ் அனிமேஷன் மாடுலரைசேஷன் வழங்குநர்ஃ நியூகேஸில் பல்கலைக்கழக செயல்பாடுஃ நிகழ்வு-பி வளர்ச்சிகளை மாதிரியின் தர்க்கரீதியான அலகுகளாக கட்டமைத்தல், தொகுதிகள் என்று அழைக்கப்படுகிறது; மாதிரி கலவை; மாதிரி மறுபயன்பாடு குறிப்புகள் மேலும் படிக்க ஜீன்-ரேமண்ட் அப்ரியல். தி பி-புக்ஃ அர்த்தங்களுக்கு திட்டங்களை ஒதுக்குதல். கேம்பிரிட்ஜ் பல்கலைக்கழக அச்சகம், 1996, (). ஜீன்-ரேமண்ட் அப்ரியல், மைக்கேல் பட்லர், ஸ்டீபன் ஹாலர்ஸ்டெட் மற்றும் லாரண்ட் வோய்சின். Event-B க்கான திறந்த விரிவாக்கக் கருவி சூழல். Z. லியு மற்றும் J. அவர், ஆசிரியர்கள், ICFEM 2006, LNCS, தொகுதி 4260, பக்கங்கள் 588-605. ஸ்பிரிங்கர், 2006. அப்தோல்பாகி ரெசாசாதே, நீல் எவன்ஸ் மற்றும் மைக்கேல் பட்லர். நிகழ்வு-பி மற்றும் ரோடினைப் பயன்படுத்தி ஒரு தொழில்துறை, வழக்கு ஆய்வின் மறுவடிவமைப்பு. பி. சி. எஸ்-எஃப். ஏ. சி. எஸ் கிறிஸ்துமஸ் 2007 கூட்டத்தில், 2007. ரோடின். வழங்கக்கூடிய டி 18: வழக்கு ஆய்வு முன்னேற்றங்கள் குறித்த இடைநிலை அறிக்கை. மைக்கேல் பட்லர் மற்றும் ஸ்டீபன் ஹாலர்ஸ்டெட், தி ரோடின் ஃபார்மல் மாடலிங் டூல், ஐரோப்பிய ஒன்றிய ஆராய்ச்சி திட்டம் IST 511599 ரோடின். கிரகணம் தள முகப்புப்பக்கம். வெளிப்புற இணைப்புகள் நிகழ்வு-பி மற்றும் ரோடின் இயங்குதளம் நிகழ்வு-பி மற்றும் சோர்ஸ்ஃபோர்ஜ் 2007 மென்பொருள் முறைமைகள் கருவிகள் முறையான விவரக்குறிப்பு மொழிகளில் ரோடின் ஆவணப்படுத்தல் விக்கி ரோடின்