Ma'ruza 2. Uml da tahlil Reja

2. UML da loyihalash
Asl nusxada ushbu UML maqsadi konstruksiya so'zi bilan aniqlanadi, biz uni diqqat bilan "dizayn" atamasi bilan etkazamiz. Gap shundaki, UML nafaqat mavhum dastur modellarini tavsiflash, balki ushbu ilovalarni tashkil etuvchi artefaktlarni, jumladan, dastur kodi kabilarni bevosita boshqarish uchun mo'ljallangan . Boshqacha qilib aytganda, UML maqsadlaridan biri, masalan, tegishli ilovalarning dastur kodini (aniqrog'i, kod qismlari) avtomatik ravishda yaratish mumkin bo'lgan bunday modellarni yaratishdir. Bundan tashqari, UML modellarining tabiati shundan iboratki, teskari jarayon ham mumkin: tugallangan dastur kodidan avtomatik ravishda model yaratish. Oldingi bandda aytilganlar har bir bayonotdan keyin tom ma'noda "ma'lum darajada", "ma'lum darajada" izohlarini talab qiladi. Eng zerikarlisi shundaki, ayni damda “daraja” va “o‘lchov”ni aniq ko‘rsatishning imkoni yo‘q. Sababi, hech kim buni qilish bilan shug'ullanmagani emas, balki bu juda qiyin ish. Avtomatik dastur sintezi Dastur sintezi - bu qandaydir spetsifikatsiyaga muvofiq dasturni avtomatik ravishda yaratish. Spetsifikatsiya usuliga ko'ra, avtomatik dastur sintezi bir necha toifalarga bo'linadi.
Agar spetsifikatsiya kirish va chiqish ma'lumotlarini bog'laydigan rasmiy mantiqiy shartlar shaklida berilgan bo'lsa, u holda dasturlarning deduktiv sintezi haqida gapiriladi.
Agar spetsifikatsiya misollar to'plami sifatida berilgan bo'lsa (ya'ni, kirishlar va ularning mos keladigan chiqishlari juftlari to'plami), u holda dasturlarning induktiv sintezi haqida gapiriladi. Ma'lum dasturlar sinflari mavjudki, ular uchun qancha va qanday misollar dasturni aniq sintez qilish uchun etarli ekanligini ko'rsatish mumkin. Buni geometriyadan o'xshatish bilan tushuntiramiz: agar to'g'ri chiziqdagi ikkita nuqtaning koordinatalari ma'lum bo'lsa, bu to'g'ri chiziq tenglamasini olish qiyin emas.
Ammo bizni qiziqtiradigan rasm (chiziq) haqida hech narsa ma'lum bo'lmasa, uni biron bir chekli nuqtalar to'plami (ya'ni misollar) bilan aniqlab bo'lmaydi. Masalaning, UML modellari ko’rinishidagi masalani rasmiy, lekin algoritmik bo’lmagan tavsiflashning boshqa barcha turlari transformatsion sintez deb ataladi.
Avtomatik (yoki avtomatlashtirilgan) loyihalash va texnik xususiyatlar bo'yicha ilovalarni qurish qiyin, ammo umidsiz emas. UML ni qo'llab-quvvatlaydigan vositalar doimo takomillashtirilmoqda, shuning uchun kelajakda UML ning uchinchi maqsadi birinchi o'ringa chiqishi mumkin.
UMLning maqsadi va qamrovini aniq tushunish uchun UMLni boshqa tegishli hodisalar bilan solishtirish foydalidir.
Birinchidan, UML dasturlash tili emas (garchi kod yaratish ma'qul bo'lsa-da, oldingi bo'limga qarang). Bu UML grafik tili emas, lekin amaliy dasturlash tillarining aksariyati chiziqli matn tillaridir. Eng muhimi, UML modellari uchun aniqlangan operatsion semantika yo'q, ya'ni modellarni kompyuterda ishga tushirishning aniq usuli yo'q. Bu juda qasddan qilingan, aks holda UML hisoblashning qandaydir modeliga bog'liq bo'lar edi, uning kontseptsiyalarining mavhumlik darajasi sezilarli darajada kamayishi kerak edi va u o'zining asosiy maqsadiga javob bermaydi: ilovalarni aniqlash vositasi sifatida xizmat qilish va boshqalar . Abstraksiyaning har qanday darajasidagi va turli mavzulardagi tizimlar. .
Ikkinchidan, UML asbob spetsifikatsiyasi emas (birgalikda, Rational Rose, Visual Paradigm, Microsoft Visio va boshqalar kabi vositalar nazarda tutilgan va mavjud bo'lsa-da). So'nggi yillarda kompyuter sanoatida odatda CASE12 vositalari deb ataladigan murakkab ilovalarni ishlab chiqish tizimlari keng tarqaldi. Bunday ishlab chiqish tizimlari faqat an'anaviy dasturlash tizimlari tomonidan qo'llab-quvvatlanadigan kodlash va disk raskadrovka bosqichlarini emas, balki ilovalarni ishlab chiqish jarayonining barcha bosqichlarini doimiy ravishda qo'llab-quvvatlashga va ta'minlashga harakat qiladi. Spetsifikatsiyani boshqarish va loyihalash odatda ilovalarni ishlab chiqish jarayonining muhim qismlari hisoblanganligi sababli, CASE vositalari UML ning asosiy maqsadiga ekvivalent bo'lishi kerakligi aniq. Biroq, tilning o'zi hech qanday tarzda uni qanday vositalar bilan qo'llab-quvvatlash kerakligini belgilamaydi. UML ni kompyuterda amalga oshirish bilan bog'liq barcha masalalarni hal qilish butunlay asbob ishlab chiqaruvchilarning ixtiyorida. Istisnosiz, so'nggi bir yoki ikki yil ichida bozorda paydo bo'lgan barcha CASE vositalari u yoki bu tarzda UMLni qo'llab-quvvatlaydi.
UML dan foydalanish usullari . UML turli muammolarni hal qilish uchun mo'ljallangan, shuning uchun uni turli usullarda ishlatish va amalda qo'llash mumkin. Quyida biz UML ning turli xil qo'llanilishini ahamiyati kamayishiga qarab sanab o'tamiz. Qavslar ichidagi raqamlar bizniki bo'lib, bu usulning hozirgi sharoitda qanchalik amaliy ahamiyatga ega va talabga ega ekanligiga juda sub'ektiv baho bo'lishi mumkin.

• 
  Rasmlar chizish (+3). UML grafik vositalari boshqa narsalarga qaramasdan ishlatilishi mumkin va kerak. Hatto qog'ozga qalam bilan chizilgan diagrammalar ham sizning fikringizni soddalashtirishga va o'zingiz uchun modellashtirilgan dastur yoki boshqa tizim haqida muhim ma'lumotlarni olish imkonini beradi. Biz UML dan foydalanishni muhimligi bo'yicha birinchi o'ringa qo'yamiz.
  
• 
  Axborot almashinuvi (+2). UML dan foydalanadigan va tushunadigan odamlar jamoasi tez sur'atlar bilan o'sib bormoqda. Agar siz UML dan foydalansangiz, siz boshqalarga tushunasiz va boshqalarni bir qarashda tushunasiz.
  
• 
  Tizim spetsifikatsiyasi (+1). Bu UML dan foydalanishning eng muhim usuli. Bizning reyting shkalamizda spetsifikatsiya uchun UML dan foydalanish birinchi o'rinda emas, chunki, afsuski, UML hali hamma hollarda spetsifikatsiyaning mutlaqo adekvat vositasi emas (misollar kitobning boshqa joylarida keltirilgan). Ammo til rivojlanib borgan sari, UML ko'p narsalarni orzu qiladigan hollar kamroq va kamroq bo'ladi.
  
• 
  Arxitektura yechimlarini qayta ishlatish (0). Ilgari ishlab chiqilgan yechimlarni qayta ishlatish samaradorlikni oshirishning kalitidir. Biroq, hozirgacha UML modellari cheklangan darajada qayta ishlatilgan. 0 ball (oltin o'rtacha) degani: yaxshi, lekin etarli emas.
  
• 
  Kod yaratish (-1). Oldinroq -1 bahosini tushuntirish uchun juda batafsil dalillar keltirildi. Kodni yaratish zarur va mumkin, ammo mavjud vositalarning imkoniyatlarini ortiqcha baholamaslik kerak.
  
• 
  Simulyatsiya modellashtirish (–2). Hisoblash tajribalari orqali modellashtirilayotgan ob'ekt to'g'risidagi ma'lumotlarni olish mumkin bo'lgan UML modellarini yaratish imkoniyatlari hali ham ushbu maqsadlar uchun mo'ljallangan maxsus tizimlarning imkoniyatlaridan past.
  
• 
  Modelni tekshirish (–3). Modeldan uning xossalari haqida rasmiy xulosalar chiqarish mumkin bo‘lsa yaxshi bo‘lardi: model izchil, izchil, samarali va hokazo.UML biror narsani tekshirish imkonini beradi, lekin, albatta, juda kam. Bu erda an'anaviy dasturlash tizimlariga o'xshatish o'rinlidir: ular sintaktik xatolardan tez va ishonchli tarzda xalos bo'lishga imkon beradi, ammo mantiqiy xatolar bilan vaziyat ancha yomon.