Amallar
- Holatlarni baholash: qo’shish, o’zgartirish, qayta nomlash, almashtirish, eskirgan deb belgilash, iste’foga chiqarish va olib tashlash uchun deterministik evolyutsiya holatlari.
- Ta’sir va qarorni rejalashtirish: har bir holatni uning vakolatli egalariga biriktirish.
- Bog’liqliklarga tayyor to’plamni qayta hisoblash: bog’liq o’tishlarning xavfsiz tartibini aniqlash.
- O’tishni tekshirish: o’tishdan keyin kuzatilgan holat kutilgan shaklga mos kelishini tasdiqlash.
- Tiklash tavsiyalari: o’tish uzilib qolganda xavfsiz oldinga yoki orqaga qadamlarni tasvirlash.
- SCSEV baholash: birinchi boshqariladigan SEV profili bu amallarni faqat hujjatlardan iborat bilim sahifalari evolyutsiyasiga qo’llaydi.
- Yangilik va kuzatuv tekshiruvlari: ko’rib chiquvchining e’tibori uchun yangi yoki kutilmagan sahifalarni aniqlash.
- Triggerlarni birlashtirish va hayot sikli sessiyasiga bog’lash: takroriy baholashni kamaytirish va holatlarni sessiyaga bog’lash.
- Graf proyeksiyasi: ko’rib chiqish uchun bir martalik graflar.
SCSEV profili
SCSEV SSFV funksiyalarni boshqarish, barqaror qxctl buyruq haqiqati va engine amal deskriptorlaridan qayta foydalanadi. U takroriy engine yoki reyestr yaratmaydi. Birinchi engine bosqichi faqat hisobot va faqat taklif uchun; bardoshli tashqi amallar qxctl va knowledge session coordinator orqali alohida avtorizatsiya qilinadi.SEV faqat o’qish, so’rov, tasdiqlash va taklif qilish uchun. Kanonik qo’llash SKV engine’lari oilasi bo’ylab o’chirilgan holda qoladi.
Bog’liq sahifalar
SKV haqida umumiy ma'lumot
Umumiy freymvork va Contract Quad modeli.
SSFV
SCSEV profili qayta foydalanadigan funksiyalarni boshqarish.
SAV
O’zgartirilgan komponentlar uchun kompozitsiya va moslikni baholash.
qxctl vektor buyruqlari
Tasdiqlangan evolution grammatikasi amalga oshirilgach,
qxctl evolution ... sifatida taqdim etiladi.