Rodin tool
રોડિન ટૂલ ઇવેન્ટ-બીમાં ઔપચારિક મોડેલિંગ માટેનું સોફ્ટવેર ટૂલ છે. તે શરૂઆતમાં RODIN પ્રોજેક્ટ (2004-2007) સહિત અનેક સહયોગી યુરોપિયન યુનિયન પ્રોજેક્ટના ભાગ રૂપે વિકસાવવામાં આવી હતી. ઝાંખી ઇવેન્ટ-બી એ બી-પદ્ધતિમાંથી વિકસાવવામાં આવેલી સંકેત અને પદ્ધતિ છે અને તેનો ઉપયોગ મોડેલિંગની વૃદ્ધિશીલ શૈલી સાથે કરવાનો છે. વૃદ્ધિશીલ મોડેલિંગનો વિચાર પ્રોગ્રામિંગમાંથી લેવામાં આવ્યો છેઃ આધુનિક પ્રોગ્રામિંગ ભાષાઓ સંકલિત વિકાસ વાતાવરણ સાથે આવે છે જે કાર્યક્રમોને સુધારવા અને સુધારવામાં સરળ બનાવે છે. રોડિન ટૂલ ઇવેન્ટ-બી માટે આવું વાતાવરણ પૂરું પાડે છે. રોડિન સાધનની બે લાક્ષણિકતાઓ તેના ઉપયોગમાં સરળતા અને તેની વિસ્તરણક્ષમતા છે. આ સાધન મોડેલિંગ પર ધ્યાન કેન્દ્રિત કરે છે. તે વપરાશકર્તાને મોડેલમાં ફેરફાર કરવાની અને મોડેલની વિવિધતાઓને અજમાવવાની મંજૂરી આપે છે. સાધન પણ વિસ્ત્તૃત કરી શકાય તેવું છે. આનાથી સાધનને ચોક્કસ જરૂરિયાતો અનુસાર અનુકૂલન કરવું શક્ય બને છે, જેથી સાધનને વિપરીત માંગ કરવાને બદલે હાલની વિકાસ પ્રક્રિયાઓમાં ફિટ થવા માટે અનુકૂળ કરી શકાય છે. એક સંકળાયેલ ઇવેન્ટ-બી વિકી છે. રોડિન ("જટિલ પ્રણાલીઓ માટે કઠોર ઓપન ડેવલપમેન્ટ એન્વાયર્નમેન્ટ") એ ઇક્લિપ્સ IDE (જાવા-આધારિત) નું વિસ્તરણ છે. રોડિન એક્લિપ્સ બિલ્ડર નીચેનાનું સંચાલન કરે છેઃ સારી રચના અને પ્રકાર ચેકર પ્રૂફ ઓબ્લિગેશન (પી. ઓ.) જનરેટર પ્રૂફ મેનેજર (પી. એમ.) ફેરફારોનો પ્રચાર રોડિન પ્રૂફ મેનેજર (પી. એમ.) પીએમ દરેક પી. ઓ. ઓટોમેટિક અને ઇન્ટરેક્ટિવ મોડ્સ માટે પ્રૂફ ટ્રીનું નિર્માણ કરે છે પીએમ વપરાયેલી પૂર્વધારણાઓનું સંચાલન કરે છે પીએમ તર્ક કરનારાઓને બોલાવે છેઃ ડિસ્ચાર્જ ગોલ, અથવા ગોલને પેટા ગોલમાં વિભાજિત કરે છે તર્ક કરનારાઓનો સંગ્રહઃ સરળીકરણ, નિયમ-આધારિત, નિર્ણય પ્રક્રિયાઓ, પીએમ અને તર્ક કરનારાઓને વ્યાખ્યાયિત કરવા માટે મૂળભૂત વ્યૂહરચનાઓની ભાષા ઔદ્યોગિક કાર્યક્રમો અને કેસ સ્ટડીઝ રોડિન પ્રોજેક્ટમાં પાંચ ઔદ્યોગિક કેસ સ્ટડીઝનો સમાવેશ થાય છે જેણે ટૂલસેટને માન્ય કરવામાં મદદ કરી અને સાધનોનો ઉપયોગ કરવા માટે યોગ્ય પદ્ધતિનું વિસ્તરણ કરવામાં મદદ કરી. કેસ સ્ટડીનું નેતૃત્વ રોડિન પ્રોજેક્ટના ઔદ્યોગિક ભાગીદારો દ્વારા કરવામાં આવ્યું હતું, જેને અન્ય ભાગીદારો દ્વારા ટેકો આપવામાં આવ્યો હતો. કેસ સ્ટડીઝ નીચે મુજબ હતીઃ એન્જિન કંટ્રોલર માટે નિષ્ફળતા વ્યવસ્થાપન સિસ્ટમ; મોબાઇલ ઇન્ટરનેટ ટેકનોલોજી માટેના પ્લેટફોર્મનો એક ભાગ; સંચાર પ્રોટોકોલનું એન્જિનિયરિંગ; એર-ટ્રાફિક ડિસ્પ્લે સિસ્ટમ; એક એમ્બિયન્ટ કેમ્પસ એપ્લિકેશન. રોડિન બી4 ફ્રી પ્રોવર્સ માટે કેટલાક ઉપલબ્ધ પ્લગ-ઇન્સ પ્રોવાઇડરઃ ક્લિયરસી ફંક્શનઃ પ્રમેય પ્રોવર્સ યુએમએલ-બી પ્રોવાઇડરઃ યુનિવર્સિટી ઓફ સાઉધમ્પ્ટન ફંક્શનઃ યુએમએલ જેવા ગ્રાફિકલ ફ્રન્ટ-એન્ડ માટે ઇવેન્ટ-બી સહાયક વર્ગ આકૃતિઓ અને રાજ્ય ચાર્ટ્સ પ્રોબી પ્રોવાઇડરઃ યુનિવર્સિટી ઓફ ડસેલડોર્ફ ફંક્શનઃ એનિમેશન અને ઇવેન્ટ-બી મોડેલ્સની મોડેલ-ચેકિંગ; ખોટા પ્રૂફ ગોલ્સ માટે કાઉન્ટરએક્સામ્પલ્સ, ખાસ કરીને, પ્રૂફ જવાબદારીઓ બ્રામા પ્રોવાઇડરઃ ક્લિયરસી ફંક્શનઃ બી મોડેલ્સની એનિમેશન. તેનો હેતુ બે ગણો છેઃ સ્થિતિઓનું નિરીક્ષણ કરવા માટે એક મોડેલ સાથે પ્રયોગ અને ઇવેન્ટ-બી મોડેલોના ફ્લેશ એનિમેશનનું પરિવર્તન મોડ્યુલરાઇઝેશન પ્રોવાઇડરઃ ન્યૂકેસલ યુનિવર્સિટી ફંક્શનઃ મોડેલિંગના લોજિકલ એકમોમાં ઇવેન્ટ-બીના વિકાસની રચના, જેને મોડ્યુલો કહેવાય છે; મોડેલ કમ્પોઝિશન; મોડેલનો ફરીથી ઉપયોગ સંદર્ભો જીન-રેમન્ડ એબ્રિયલ. બી-બુકઃ અર્થો માટે કાર્યક્રમો સોંપવા. કેમ્બ્રિજ યુનિવર્સિટી પ્રેસ, 1996 (). જીન-રેમન્ડ એબ્રિયલ, માઈકલ બટલર, સ્ટીફન હેલરસ્ટેડ અને લોરેન્ટ વોઇસિન. ઇવેન્ટ-બી માટે એક ખુલ્લું એક્સ્ટેન્સિબલ ટૂલ એન્વાયર્નમેન્ટ. ઝેડ. લિયુ અને જે. તેઓ, સંપાદકો, ICFEM 2006, LNCS, વોલ્યુમ 4260, પૃષ્ઠો 588-605. સ્પ્રિંગર, 2006. અબ્દોલબાગી રેઝાઝાદેહ, નીલ ઇવાન્સ અને માઈકલ બટલર. ઇવેન્ટ-બી અને રોડિનનો ઉપયોગ કરીને ઔદ્યોગિક, કેસ સ્ટડીનો પુનર્વિકાસ. BCS-FACS ક્રિસમસ 2007 મીટિંગ, 2007 માં. રોડીન. ડિલિવરેબલ D18: કેસ સ્ટડી વિકાસ પર મધ્યવર્તી અહેવાલ. માઈકલ બટલર અને સ્ટીફન હેલરસ્ટેડ, ધ રોડિન ફોર્મલ મોડેલિંગ ટૂલ, EU રિસર્ચ પ્રોજેક્ટ IST 511599 RODIN. ઇક્લિપ્સ પ્લેટફોર્મ હોમપેજ. બાહ્ય કડીઓ ઇવેન્ટ-બી અને રોડિન પ્લેટફોર્મ ઇવેન્ટ-બી અને રોડિન દસ્તાવેજીકરણ વિકી રોડિન સોર્સફોર્જ 2007 સોફ્ટવેર પર ઔપચારિક પદ્ધતિઓ સાધનો ઔપચારિક સ્પષ્ટીકરણ ભાષાઓ