Referati jizzax 2021 Mavzu: uml tilidagi paketlar uml tili meta modelining asosiy paketlari

Paket sxemasi



META-MODEL MEXANIZMI

UML to'rt darajali meta-modellashtirish arxitekturasiga asoslangan. Har bir keyingi daraja M3 dan M0 gacha etiketlanadi va odatda mos ravishda meta-metamodel, metamodel, sinf diagrammasi va ob'ekt diagrammasi deb nomlanadi. Mi darajasidagi diagramma Mi+1 darajasidagi diagrammaning namunasidir. Shuning uchun ob'ekt diagrammasi (M0-darajali diagramma) ba'zi bir sinf diagrammasining (M1-darajali diagrammaning) namunasidir va bu sinf diagrammasi metamodelning (M2-darajali diagramma) namunasidir. M3-darajali diagrammasi metamodelning tuzilishini aniqlash uchun ishlatiladi va Meta Object Facility (MOF) bu darajaga tegishli. UML metamodeli M2 darajasiga tegishli.

Biz namunaviy namunani tekshirishni Mi-darajali diagramma biz da'vo qilayotgan tegishli Mi+1-darajali diagrammaning to'g'ri namunasi yoki yo'qligini tekshirish uchun tekshiriladigan jarayon deb belgilaymiz. Biz foydalanuvchi tomonidan belgilangan modelni UML metamodeli va ob'ekt diagrammasini foydalanuvchi tomonidan belgilangan sinf diagrammasi bilan tekshirishi mumkin bo'lgan vositani ishlab chiqdik. Biz Mi-darajali diagrammani misol diagrammasi va Mi+1-darajali diagrammani spetsifikatsiya diagrammasi sifatida belgilaymiz.

Biz UML modelini (spetsifikatsiyalar diagrammasi, OCL cheklovlari va namuna diagrammasidan iborat) modelni taqlid qilishni tekshirishni amalga oshirish uchun bajariladigan spetsifikatsiyaga tarjima qiladigan vositani ishlab chiqdik. Asbob foydalanuvchi tomonidan belgilangan modelni metamodelga asoslangan ob'ekt diagrammasiga aylantirish va metamodelga nisbatan haqiqiy ob'ekt diagrammasi yoki yo'qligini tekshirish orqali foydalanuvchi tomonidan belgilangan modelni UML metamodeliga qarshi tekshiradi. Asbob shuningdek, ob'ekt diagrammasini foydalanuvchi tomonidan belgilangan modelga nisbatan tekshiradi. Model namunasini tekshirish namuna diagrammasi haqiqiyligini ta'minlash uchun spetsifikatsiya sinfi diagrammasida ko'rsatilgan grafik va OCL cheklovlarini tekshirish orqali amalga oshiriladi.
Asbob UML modellarini o'n yildan ko'proq vaqt oldin doktor Yuriy Gurevich tomonidan taqdim etilgan Abstract State Machines (ASM) ga aylantiradi. Abstrakt holat mashinasi - bu joriy holat asosida barcha mumkin bo'lgan yangilanishlarni ishga tushirish orqali o'z o'zgaruvchilari yangilanishlari to'plamini hisoblaydigan holat mashinasi. Yangilanishlar to'plamini hisoblash bir vaqtning o'zida sodir bo'ladi va yangi holatning paydo bo'lishiga olib keladi. ASMlar rasmiy ravishda aniqlanishi mumkin va dasturiy ta'minotning aniq modellarini aniqlash uchun ishlatilishi mumkin.
Biz Microsoft Research kompaniyasining Software Engineering Foundations (FSE) guruhi tomonidan ishlab chiqilgan mavhum holat mashinalari kontseptsiyasiga asoslangan bajariladigan spetsifikatsiya tili bo'lgan yuqori darajadagi AsmL tilidan foydalanamiz. Bu Microsoft-ning .NET ramkasida ishlaydigan yuqori darajadagi spetsifikatsiya tili bo'lib, to'plamlar va ketma-ketliklar va yuqori darajadagi operatsiyalar kabi til konstruksiyalariga ega bo'lib, dasturchiga dastur nima qilish kerakligini, lekin uni qanday qilish kerakligini belgilash imkonini beradi. AsmL ham ob'ektga yo'naltirilgan, shuning uchun UML sinflarini va ularning xususiyatlarini AsmLga tarjima qilish oson.