=Paper= {{Paper |id=Vol-1221/paper68 |storemode=property |title=KABAN-2: Kullanıcı AraBirimi ve Geçerleme Altyapısı |pdfUrl=https://ceur-ws.org/Vol-1221/68_Bildiri.pdf |volume=Vol-1221 |dblpUrl=https://dblp.org/rec/conf/uyms/SimsekDT14 }} ==KABAN-2: Kullanıcı AraBirimi ve Geçerleme Altyapısı== https://ceur-ws.org/Vol-1221/68_Bildiri.pdf 
 KABAN-2.XOODQÕFÕ$ra %LULPLYH*HoHUOHPH$OW\DSÕVÕ

                      $WDNDQùLPúHN øEUDKLP'HPLU=DKLU7H]FDQ

                           78%ø7$.%ø/*(0ø/7$5(1$QNDUD
                                     e-posta:
                           atakan.simsek@tubitak.gov.tr
                           ibrahimdemir.mail@gmail.com
                           zahir.tezcan@tubitak.gov.tr



       Özetçe. Simülasyon SURMHOHULJLELYHULOHULQ|QHPDU]HWWL÷LVLVWHPYHDUD\]SD
       UDPHWUHOHULQLQ NDUPDúÕN ROGX÷X YH SDUDPHWUHOHULQ ELU ELULQL HWNLOHGL÷L X\JXOD
       malarda, verilerin sistematik ve etkin bir geçerleme sürecine tabi WXWXOPDVÕYD]
       JHoLOPH] ELU |QNRúXOGXU 9HUL SDUDPHWUHOHULQGH \DSÕODQ ELU \DQOÕúOÕN VLVWHPLQ
       \DQOÕú oDOÕúPDVÕQD VHEHS YHUPHNWH YH X\JXODPDQÕQ NDUPDúÕNOÕ÷Õ LOH GR÷UXVDO
       RUDQWÕGD KDWDQÕQ ND\QD÷ÕQÕ EXOPD YH KDWD o|]PH PDOL\HWLQH VHEHSROPDNWDGÕU
       Bu \D\ÕQGD, projelerdeki girdi X]D\ÕQÕKDWD\DVHEHEL\HWYHUPHPHNLoLQGLQDPLN
       RODUDNJHoHUOH\HQJHoHUOHGL÷LYHULLoLQRWRPDWLNDUD\]UHWHQUHWWL÷Larayüz-
       GH SURJUDPÕQ GR÷UX úHNLOGH NXOODQÕPÕQÕ ]RUXQOX NÕODQ JHoHUOHPH VLVWHPL VD\H
       sinde) .$%$1DOW\DSÕSURMHOHUL anlatÕOPDNWDGÕU.XUXPXPX]GD\ÕOODUFDNXOOD
       QÕODQ .$%$1-1 DOW\DSÕVÕ, projelerdeki tecrübeler ve ihtiyDoODU GR÷UXOWXVXQGD
       JHOLúWLULOLS KABAN-2 projesi KDOLQLDOPÕúWÕU %X\D\ÕQLNLVLQLGHNDSVDPDNWDGÕU

       Anahtar Kelimeler: Dinamik geçerleme, YHUL JYHQLOLUOL÷L Rtomatik arayüz
       ROXúWXUPD, semantik GR÷UXODPD


1      *ø5øù

   9HULNDOLWHVLQLQYHGR÷UXOX÷XQXQ|QHPDU]HWWL÷LSURMHOHUGHNXOODQÕFÕGDQWXWDUOÕYHUL
JLUGLVLVD÷ODPDNKD\DWL|QHPHVDKLSWLU.DUPDúÕNJLUGLX]D\ÕRODQSURMHOHUGHNXOODQÕFÕ
ne kadar yetkin bile olsa dikkatsizlik sonucu ya da KHVDS KDWDODUÕQGDQ GROD\Õ \DQOÕú
veri girdisi SURJUDPÕQKDWDOÕVRQXoUHWLPLQHya da oDOÕúPDPDVÕQDVHEHSYHUHELOPHN
WHGLUdDOÕúPDVUHVLVDDWOHUya da günlerle ifade edilen projelerde her ELUKDWDOÕoDOÕú
WÕUPD FLGGL ]DPDQ YH PDOL\HW SUREOHPOHUL oÕNDUDELOPHNWHGLU 'DKD GD N|WV H÷HU
KDWDOÕJLUGLNPHVLfark edilmezse YHEXDQDOL]LQVRQXoODUÕLQVDQKD\DWÕQÕLOJLOHQGLUHQ
güvenlik-kritik projelerde NXOODQÕODFDNVD LQVDQ KD\DWÕQÕ WHKOLNH\H DWDFDN VRQXoODU
RUWD\DoÕNDELOPHNWHGLU
   Uzun soluklu projelerde, genellikle ister GRNPDQÕ QHNDGDUL\LWDQÕPODQPÕúROXUVD
ROVXQLKWL\DoPDNDPÕQÕQLVWHNOHUL]DPDQODúHNLOOHQebilmektedir. 'H÷LúHQLVWHUOHUNDS
VDPÕQGD DUD\]Q \HQLGHQ WDVDUODQPDVÕ LKWL\DFÕ GR÷abilmektedir. Yeni girdilerin
HNOHQPHVL SDUDPHWUH JUXSODUÕQÕQ GH÷LúPHVL HQ D]ÕQGDQ SDUDPHWUHOHULQ \HULQLQ GH
÷LúPHVL SURMHOHUGH VÕN NDUúÕODúÕODQ GXUXPODU DUDVÕQGDGÕU %X GXUXPODUGD oR÷X NH]




                                               712
JHoPLúWH \DSÕODQLúOHULQLQELUNÕVPÕQÕQ NXOODQÕODPDPDVÕ YH]DPDQ-maliyet yükü gibi
sonuçlar RUWD\DoÕNPDNWDGÕU.
   @ &/,;>13], RuleML[14,15], ARML[12], Star-
burst[11], Ariel>@ GHWD\OÕ úHNLOGH DQDOL] HGLOPLúWLU øOJLOL oDOÕúPDODUÕQ DUWÕODUÕ YH
HNVLOHULLUGHOHQHUHN.$%$1NXUDOoDOÕúPDGLOLEXYHULOHUÕúÕ÷ÕQGDWDVDUODQPÕúWÕU


3      g1(5ø/(1dg=h0

    0 [xPozitif]
  -     y > 0 [yPozitif]
  -     z > 0 [zPozitif]
  -     ] ¥ [ð\ð >SLVDJRU@
  -     (x+y) > z & |x-y| < z & (x+z) > y & |x-z| < y & (z+y) > x & |z-y| < x [üçgen]
  NXUDOODUÕEHOLUOHQHELlir. Bu kurallar çerçevesinde geçerlemeler:
  -     x.Geçerli = xPozitif & üçgen [xKural]
  -     y.Geçerli = yPozitif & üçgen [yKural]
  -     z.Geçerli = zPozitif & üçgen [zKural]
  olarak belirlenebilir.




                  ùHNLO6. gUQHNdL]JH