Formal sun’iy til kamida quyidagi qismlardan tavsiflanishi kerak : - Formal sun’iy til kamida quyidagi qismlardan tavsiflanishi kerak :
- Sintaksis – til tuzilmalarini tuzish qoidalarini
Aniqlash; - Sementika – til tuzilmalariga ma’no kiritish qoidalarini aniqlash;
- Pragmatika (pragmatis)– aniq maqsadlarga erishish uchun til tuzilmalaridan foydalanish qoidalarini aniqlash.
UML – bu modellashtirish tili. - UML – bu modellashtirish tili.
- Dasturiy ta’minotni ishlab chiqish munosabatida ma’lum til vositalari bilan shakillantirilgan taxlil fazalari va loyixalashtirish natijalarini model deb atashga kelishildi. Modellarni tuzish bo’yicha faoliyat tabiyki, modellashtirishdir. Aynan shu ma’noda UML modellashtirish tili xisoblanadi. UML rivojlanish tarixi hali yakun topmadi – til muntazam mukammalashmoqda, boyib bormoqda va kengaymoqda.
- UML modeli – bu, birinchi navbatda, obekt va hodisa, shuningdek, biz keying bo’limlarda ko’rib chiqadigan unifikatsiya (birlashtirish) printsipini buzmagan holda UML mualliflari tilga qo’sha olgan xar qaysi boshqa narsalar tavfsifidir.
Do'stlaringiz bilan baham: |