Dasturlash texnologiyalarini avtomatlashtirish

Bazagaga asoslangan ob'ektga yo'naltirilgan dasturlash
Kompozit yondashuv juda katta spektrdagi vazifalarni hal qilish uchun juda foydali bo'lishi mumkin, u ob'ektga yo'naltirilgan va avtomatlarga asoslangan dasturlash paradigmalariga asoslanadi . Ishda [13] bu usul “ davlatga asoslangan obyektga yoʻnaltirilgan dasturlash ” deb nomlangan. Ushbu yondashuvning o'ziga xos xususiyati shundaki, Tyuring mashinalarida bo'lgani kabi [14], bu erda boshqaruvchi (avtomat) holatlar aniq ajratilgan. Ushbu holatlarning miqdori boshqa barcha ob'ektlar holati ( masalan, ish vaqti holatlari) miqdoridan sezilarli darajada kamroq. Dasturlashda “ davlatlar maydoni ” atamasi kiritilgan. Bu atama ob'ektni nazorat qiluvchi holatlar to'plamini anglatadi . Shunday qilib, bu yondashuv bunday bo'sh joy bo'lmagan holatlarga nisbatan ancha tushunarli xatti-harakatni ta'minlaydi . Vizual va ravshan bo'lishi uchun zarur bo'lgan hujjatlarning minimal to'plami, lekin dasturiy ta'minotning tarkibiy (statik) va xatti-harakat (dinamik) tomonlarini qat'iy tavsiflaydi. Boshqa har qanday yondashuv-dan foydalanganda bo'lgani kabi, bu yondashuv ham evristika, orqaga qadamlar, aniq ta'riflar va bir vaqtda vazifalarni talab qiladi. Ammo dastur ishlab chiqilgandan so'ng, taklif qilingan yondashuv qabul qilingan qarorlarni saqlash uchun ideal texnologiya deb nomlanishi mumkin.
Bilim sohasini tahlil qilgandan so'ng sinflarni aniqlash va sinf diagrammasini tuzish mumkin. Har bir sinf uchun og'zaki tavsif hech bo'lmaganda hal qilinishi kerak bo'lgan vazifalar ro'yxati shaklida tuzilishi kerak. Har bir sinf uchun tuzilish sxemasi ishlab chiqilishi kerak. Ushbu sxema uning interfeysi va tuzilishini tavsiflaydi. Muhim eslatma shundaki, sinflar atributlari va a'zo funktsiyalari avtomat va boshqalarga ajratilishi kerak. Agar bitta sinfda bir nechta avtomatlar mavjud bo'lsa, ularning o'zaro ta'sir qilish sxemasini tuzish kerak. Har bir avtomat uchun og'zaki ta'rif bog'lanish sxemasi va holatga o'tish grafigi bilan ishlab chiqilishi kerak . Har bir sinf alohida dastur moduli bilan amalga oshiriladi. Uning tuzilishi sinflar tuzilishiga izomorfdir .
Tegishli avtomatlarga ega bo'lgan a'zo funktsiyalar qog'ozda tasvirlangan shablonga muvofiq amalga oshiriladi [8]. Tizimni disk raskadrovka qilish va uning ish protokollarining to'g'riligini tasdiqlash uchun ish vaqtida avtomatik ravishda tuziladi. Ushbu protokollar avtomatlarni o'z ichiga olgan ob'ektlarning holati, o'tishlari, hodisalari, kirish va chiqish harakatlari nuqtai nazaridan ishlashini tavsiflaydi. Loyiha hujjatlarini tuzish kerak. Uning muhim qismi dastur hujjatlaridir. Yuqorida aytib o'tilganlardan shunday xulosa qilish mumkinki, avtomatlardan foydalanish dasturlarning harakatini aniqroq qiladi, chunki foydalanish ob'ektlari dasturlar tuzilishini aniqroq qiladi. Ta'riflangan yondashuv "Robocode" tizimi uchun tanklarni boshqarish tizimini ishlab chiqishda ishlatilgan [15]. Yuzlab boshqa tanklarni boshqarish tizimlaridan farqli o'laroq, ushbu tank uchun batafsil loyiha hujjatlari mavjud. Hujjatlar davlat o'tish grafiklarini, obligatsiyalar sxemalarini va boshqalarni o'z ichiga oladi. Tanklar harakatining batafsil proto-kollari jang tarixini kuzatishga imkon beradi. Protokollarni tuzish usuli qora quti ishlashining yangi paradigmasining asosini tashkil qilishi mumkin. Ta'riflangan texnologiyada avtomatlar sinflarning a'zo funktsiyalari ichida amalga oshirildi. Biroq , masalan, [16-18] maqolalarda tasvirlangan avtomatlarning ob'ektini amalga oshirishga boshqa yondashuvlar bo'lishi mumkin .
Avtomatlar, xususan, avtomatlarning asosiy funksiyalarini amalga oshiradigan sinfning avlodlari bo'lgan sinflar bilan ajralib turishi mumkin. Ushbu funksionallik Switch-texnology semantikasi tomonidan e'lon qilingan. Shuningdek, "davlat" yoki "davlatlar guruhi" tushunchalarini amalga oshiradigan sinflardan foydalanish mumkin. Avtomat dasturlari uchun dizayn namunasi "holat" [19] yoki boshqa naqshlar ham ishlatilishi mumkin. Xabarlar almashinuviga asoslangan parallel jarayonlarni avtomatlashtirishning o'ziga xos xususiyatlari qog'ozda ko'rib chiqiladi [20].
Yuqori sifatli loyiha hujjatlarining mavjudligi dasturni qayta tiklashni (dastur tuzilmasini o'zgar-tirish, uning funksionalligini bir xil saqlash) ancha osonlashtiradi. Oxirgi tezis yuqorida aytib o'tilgan tanklarni boshqarish tizimini qayta tiklash bilan tasdiqlangan. Ko'tarilgan dasturlarning "ob'yektligi" uchun refaktoring yakunlandi.