Dasturiy injiniringa kirish

Kontekst Modellari Xizmat mogrammasi dinamik xizmatlar federatsiyasi tomonidan bajariladigan xizmat modelini anglatadi. Boshqacha qilib aytganda, mogram hamkorlikda xizmat ko'rsatuvchi provayderlarni a xizmat ko'rsatish federatsiyasi mogram tomonidan belgilangan ish vaqtida yaratilgan. Mogramlar xizmatni modellashtirish tilida (SML) yozilgan bo'lib, u ikki qismdan iborat: kontekstni modellashtirish Tili (CML) va ekskursiyaga yo'naltirilgan til (EOL). Birinchisi, o'zaro bog'liq funktsional kompozitsiyalar to'plamlari va to'plamlari uchun ma'lumotlar modellarini (ma'lumotlar kontekstlarini) belgilash uchun ishlatiladi - kontekst modellari. CML deklarativ xizmatga yo'naltirilgan dasturlash uchun ishlatilsa, EOL ob'ektga yo'naltirilgan kompozit xizmatlar-ekspluatatsiya. Model-bu biror narsaning, ayniqsa uning xususiyatlarini hisobga oladigan va funktsional kompozitsiyalar bilan bog'liq xizmat o'zgaruvchilari nuqtai nazaridan ifodalangan xususiyatlarini o'rganish uchun ishlatiladigan tizim, hodisa yoki xizmatning deklarativ namoyishi.
Har bir hisoblash jarayonida o'zgaruvchilar ma'lumotlar elementlarini ifodalaydi va echilayotgan muammolarning murakkabligi oshishi bilan o'zgaruvchilar soni ko'payadi. Xizmat o'zgaruvchisining qiymati matematikadagi kabi tenglama yoki formulaning bir qismi bo'lishi shart emas - uning qiymati xizmatni bajarish yoki xizmatning o'zi natijasidir. Adaptiv murakkab tizimlar uchun o'zaro bog'liq o'zgaruvchilarning katta to'plamlari bilan ishlash etarli dasturlash metodologiyasini talab qiladi.
SORCERDA bir modelning o'zaro bog'liq xizmat o'zgaruvchilari yozuvlar deyiladi. Modelda ishlatiladigan yozuvma'lumotlar qiymatining bir qismiga nom (yo'l) bilan ishora qiladi. Qiymat aniq bo'lishi yoki subroutine tomonidan hisoblanishi mumkin. Parametr-bu subroutine-da uning yo'li (semantik nomi) bilan nomlangan va yozuvning qiymatini qaytaradigan maxsus yozuv turi. Subroutines-da ishlatiladigan argumentlar deb nomlangan ushbu qiymatlarmodelning kirish yozuvlari bilan belgilanadi. Ko'pgina parametrlar funktsionaldir - funktsiyalarni argumentlari sifatida qabul qiladigan funktsiyalar. Chiqish yozuvlarining tanlangan kichik to'plami modelning o'rganilgan javobini belgilaydi. Xuddi standart matematik foydalanishda bo'lgani kabi, argument subroutine-ga o'tgan haqiqiy kirish, parametr esa subroutine-ni amalga oshirish ichidagi o'zgaruvchidir. Subroutine turiga qarab (baholash, iltijo, xizmat, yoki murakkab baholash) biz asosiy kontekst modellari to'rt turdagi ajrata (EntModel, ParModel, SrvModel, varmodel) bilan ServiceContext exertions uchun ma'lumotlar modeli sifatida, pastki-chap qismida tasvirlangan sifatida
Foydalanilgan adabiyotlar va internet manba’lar

1. 
   Ian Sommerville. SOFTWARE ENGINERING. 10th Edition. England Pearson Education Limited 2016.
   
2. 
   Piyerre Bourquye, Fairley R.E. GUIDE TO THE SOFTWARE ENGINEYeRING Body of Knowledge. Version 3.0. SVEBOK. A Project of the Ye Computer Sociyety. 2014. 355 page.
   
3. 
   https://ru.wikipedia.org
   
4. 
   https://hozir.org
   
5. 
   https://en.wikipedia.org/wiki/Context_model
   
6. 
   http://sorcersoft.org/project/site/context-models.html