Xususiyat modeli - Feature model

Dasturiy ta'minotni ishlab chiqishda, a xususiyati modeli ning barcha mahsulotlarini ixcham namoyish etishdir Dasturiy ta'minot liniyasi (Xususiyatlari) jihatidan (SPL). Xususiyat modellari xususiyatlar diagrammasi yordamida ingl. Xususiyat modellari mahsulot qatorini ishlab chiqish jarayonida keng qo'llaniladi va odatda hujjatlar, arxitektura ta'rifi yoki kod qismlari kabi boshqa aktivlarni ishlab chiqarish uchun ma'lumot sifatida ishlatiladi.^{[iqtibos kerak ]}

SPL - bu tegishli dasturlarning oilasi. Agar dasturni tuzish birliklari funktsiyalar bo'lsa - dastur funktsionalligi yoki rivojlanishining o'sishi - SPLdagi har bir dastur funktsiyalarning o'ziga xos va qonuniy kombinatsiyasi bilan aniqlanadi va aksincha.

Badiiy modellar birinchi bo'lib joriy etilgan Xususiyatlarga yo'naltirilgan domen tahlili 1990 yilda Kang tomonidan (FODA) usuli.^[1] O'shandan beri xususiyatlarni modellashtirish dasturiy mahsulotlar qatori tomonidan keng qabul qilingan va bir qator kengaytmalar taklif qilingan.

Fon

"Xususiyat" "a" ning "taniqli yoki o'ziga xos foydalanuvchi tomonidan ko'rinadigan tomoni, sifati yoki xususiyati" sifatida tavsiflanadi dasturiy ta'minot tizimi yoki tizim ".^[1] SPLni rivojlantirishning asosiy yo'nalishi shu kabi dasturlarni muntazam va samarali yaratishga qaratilgan. FODA - bu ma'lum bir SPL tomonidan qamrab olinadigan domendagi xususiyatlarni aniqlashga bag'ishlangan tahlil.^[1]

Model

Xususiyat modeli - bu xususiyatlarni va ularning bog'liqligini aniqlaydigan model, odatda xususiyatlar diagrammasi + chap (qarama-qarshi daraxtlar) cheklovlar shaklida. Bundan tashqari, bu mumkin bo'lgan kombinatsiyalar jadvali bo'lishi mumkin.^{[iqtibos kerak ]}

Diagramma

Xususiyat diagrammasi - bu asosan va-yoki daraxt bo'lgan xususiyat modelining ingl. Boshqa kengaytmalar mavjud: asosiy xususiyatlar, xususiyati klonlash, xususiyati atributlari, quyida muhokama qilinadi.

Konfiguratsiya

Xususiyat konfiguratsiyasi - bu SPL a'zosini tavsiflovchi xususiyatlar to'plami: agar funktsiya uning konfiguratsiyasida bo'lsa, unda funktsiya mavjud. Xususiyatlar konfiguratsiyasiga funktsiya modeli ruxsat beradi, agar u model tomonidan qo'yilgan cheklovlarni buzmasa.

Xususiyat daraxti

Xususiyat daraxti (ba'zida Feature Model yoki Feature Diagrammasi deb ham ataladi) - bu tobora ortib borayotgan tafsilotlar guruhlarida echimning xususiyatlarini ingl. Xususiyat daraxtlari - bu echimga qo'shiladigan xususiyatlarni va ular bilan qanday bog'liqligini oddiy vizual tarzda sarhisob qilishning ajoyib usullari.^[2]

Xususiyatlarni modellashtirish yozuvlari

Mavjud xususiyatlarni modellashtirish yozuvlari uchta asosiy guruhga bo'linishi mumkin, ya'ni:

Asosiy xususiyat modellari
Kardinallikka asoslangan xususiyat modellari
Kengaytirilgan xususiyat modellari

Asosiy xususiyat modellari

Ota-ona xususiyati va uning farzand xususiyatlari (yoki pastki xususiyatlari) o'rtasidagi munosabatlar quyidagicha tasniflanadi:

Majburiy - bola xususiyati talab qilinadi.
Ixtiyoriy - bola xususiyati ixtiyoriy.
Yoki - pastki funktsiyalardan kamida bittasi tanlanishi kerak.
Muqobil (xor) - pastki xususiyatlardan biri tanlanishi kerak

Xususiyatlar o'rtasidagi ota-ona munosabatlaridan tashqari, daraxtlararo cheklovlarga yo'l qo'yiladi. Eng keng tarqalgan:

A B ni talab qiladi - mahsulotdagi A ni tanlash B ni tanlashni nazarda tutadi.
A chiqarib tashlagan B - A va B bitta mahsulotning bir qismi bo'lishi mumkin emas.

Misol tariqasida, quyidagi rasm konfiguratsiya qilinadigan on-layn xarid qilish tizimlarini belgilash va qurish uchun funktsiya modellaridan qanday foydalanish mumkinligini ko'rsatadi. Har bir dasturning dasturiy ta'minoti u taqdim etadigan xususiyatlar bilan belgilanadi. Ildiz xususiyati (ya'ni elektron do'kon) SPL-ni aniqlaydi. Har qanday xarid qilish tizimi katalog, to'lov modullari, xavfsizlik siyosati va ixtiyoriy ravishda qidirish vositasini amalga oshiradi. Elektron do'konlar yuqori yoki standart xavfsizlik siyosatini amalga oshirishi kerak (birini tanlang) va turli xil to'lov modullarini taqdim etishi mumkin: bank o'tkazmasi, kredit karta yoki ularning ikkalasi. Bundan tashqari, daraxtlararo to'siq xarid qilish tizimlarini, shu jumladan kredit karta to'lov modulini yuqori xavfsizlik siyosatini amalga oshirishga majbur qiladi.

Konfiguratsiya qilinadigan elektron do'kon tizimini aks ettiruvchi xususiyatlar diagrammasi.

Kardinallikka asoslangan xususiyat modellari

Ba'zi mualliflar asosiy xususiyat modellarini kengaytirishni taklif qilishadi UML - shaklning ko'pligi kabi [n, m] bilan n pastki chegara bo'lish va m yuqori chegara. Ular ota-ona tanlanganida mahsulotning bir qismi bo'lishi mumkin bo'lgan kichik xususiyatlar sonini cheklash uchun ishlatiladi.^[3]

Agar yuqori chegara bo'lsa m funktsiyani biz xohlagancha klonlash mumkin (boshqa cheklovlar hurmat qilinsa). Ushbu yozuv o'zboshimchalik bilan ko'plab komponentlar bilan kengaytiriladigan mahsulotlar uchun foydalidir.

Kengaytirilgan xususiyat modellari

Boshqalar "atributlar" yordamida funktsiyalarga qo'shimcha funktsional ma'lumotlarni qo'shishni taklif qilishadi. Ular asosan nom, domen va qiymatdan iborat.^[4]

Semantik

Xususiyat modeli semantikasi - bu xususiyat modeli ruxsat beradigan xususiyat konfiguratsiyasining to'plamidir. Eng keng tarqalgan yondashuv - bu xususiyatlar sxemasining semantikasini olish uchun matematik mantiqdan foydalanish.^[5] Har bir xususiyat a ga mos keladi mantiqiy o'zgaruvchi va semantikasi a shaklida ushlanib qoladi taklif formulasi. Ushbu formulaning qoniqarli baholash xususiyatlari diagrammasi tomonidan ruxsat etilgan xususiyat konfiguratsiyalariga mos keladi, masalan, agar ${displaystyle f_ {1}}$ ning majburiy sub-xususiyati hisoblanadi ${displaystyle f_ {2}}$ , formulada cheklov mavjud ${displaystyle f_ {1} Leftrightarrow f_ {2}}$ .^[6]

Quyidagi jadvalda asosiy ibtidoiylarning tarjimasi keltirilgan. Diagrammaning semantikasi - bu diagrammada mavjud bo'lgan elementlarning tarjimalarining birlashtiruvchisi. Diagramma ildiz otgan daraxt deb taxmin qilamiz.

Xususiyat diagrammasi ibtidoiy	Semantik
${displaystyle r}$ ildiz xususiyati	${displaystyle r}$
${displaystyle f_ {1}}$ ning ixtiyoriy pastki xususiyati ${displaystyle f}$	${displaystyle f_ {1} Rightarrow f}$
${displaystyle f_ {1}}$ ning majburiy pastki xususiyati ${displaystyle f}$	${displaystyle f_ {1} Leftrightarrow f}$
${displaystyle f_ {1}, nuqta, f_ {n}}$ ning muqobil pastki xususiyatlari ${displaystyle f}$	${displaystyle left (f_ {1} lor dots lor f_ {n} Leftrightarrow fight) land igwedge _ {i$
${displaystyle f_ {1}, nuqta, f_ {n}}$ yoki ning pastki xususiyatlari ${displaystyle f}$	${displaystyle f_ {1} lor dots lor f_ {n} Leftrightarrow f}$
${displaystyle f_ {1}}$ chiqarib tashlaydi ${displaystyle f_ {2}}$	${displaystyle lnot (f_ {1} land f_ {2})}$
${displaystyle f_ {1}}$ talab qiladi ${displaystyle f_ {2}}$	${displaystyle f_ {1} Rightarrow f_ {2}}$

Mahsulotlarni sozlash

SPL mahsuloti deklarativ ravishda foydalanuvchi xohishiga ko'ra xususiyatlarni tanlash yoki bekor qilish bilan belgilanadi. Bunday qarorlar xususiyat modeli tomonidan qo'yilgan cheklovlarni hurmat qilishi kerak. "Konfigurator" - bu konfiguratsiya jarayonida foydalanuvchiga yordam beradigan vosita. Masalan, konfiguratsiyani muvaffaqiyatli bajarish uchun mos ravishda tanlanishi kerak bo'lgan yoki kerak bo'lmagan xususiyatlarni avtomatik ravishda tanlash yoki bekor qilish orqali. Hozirgi yondashuvlardan foydalanish birlik tarqalishi^[7] va CSP echimlari.^[4]

Xususiyatlari va tahlillari

Xususiy modelni tahlil qilish marketing strategiyalari yoki texnik qarorlar qabul qilish uchun muhim bo'lgan modelning ayrim xususiyatlariga qaratilgan. Adabiyotda bir qator tahlillar aniqlangan.^[8]^[9] Oddiy tahlillar xususiyati modeli yaroqsizligini (hech qanday mahsulotni anglatmasligini), unda o'lik xususiyatlarni (biron bir mahsulotning bir qismi bo'la olmaydigan xususiyatlarni) o'z ichiga olganligini yoki model tomonidan taqdim etilgan dasturiy mahsulotlar qatoridagi mahsulotlarning sonini aniqlaydi. Boshqa tahlillar bir nechta xususiyat modellarini taqqoslashga qaratilgan (masalan, model a yoki yo'qligini tekshirish uchun ixtisoslashuv yoki qayta ishlash yoki umumlashtirish boshqasi).^[10]

Shuningdek qarang

Domen tahlili
Domen muhandisligi
Xususiyatlarga yo'naltirilgan dasturlash - dasturiy mahsulotlar qatorini sintez qilish uchun paradigma
Mahsulot oilaviy muhandislik
Dasturiy ta'minot liniyalari

Adabiyotlar

^ ^a ^b ^v Kang, K.C. va Koen, S.G va Gess, JA. va Novak, W.E. va Peterson, A.S., "Xususiyatlarga yo'naltirilgan domen tahlili (FODA) texnik-iqtisodiy asoslari", Texnik hisobot CMU / SEI-90-TR-021, SEI, Karnegi Mellon universiteti, 1990 yil noyabryuklab olish
^ "Feature Tree | BAwiki".
^ Czarnecki, K. va Helsen, S. va Eisenecker, U., "Xususiyat modellaridan foydalangan holda bosqichma-bosqich konfiguratsiya", Dasturiy ta'minot liniyalari bo'yicha uchinchi xalqaro konferentsiya materiallari (SPLC '04), kompyuter fanidan ma'ruza yozuvlarining 3154 jildi. Springer Berlin / Heidelberg, 2004 yil avgust. yuklab olish.
^ ^a ^b D. Benavides, P. Trinidad va A. Ruis-Kortes. "Badiiy modellar bo'yicha avtomatlashtirilgan fikrlash". Ilg'or axborot tizimlari muhandisligi bo'yicha 17-konferentsiya (CAiSE'05). Portu, Portugaliya. 2005 yil yuklab olish
^ Schobbens, P.-Y.; Heymans, P .; Trigaux, J.-C. "Xususiyat diagrammalari: So'rov va rasmiy semantika, "Talablar muhandisligi, 14-IEEE Xalqaro konferentsiyasi, jild, №., 139-148 betlar, 2006 yil 11-15 sentyabr. yuklab olish
^ Amador Duran, Devid Benavides, Serxio Segura, Pablo Trinidad va Antonio Ruis-Kortes "OLTIN: Avtomatik spetsifikatsiya sinovlari bilan tasdiqlangan dasturiy mahsulotlar qatorlarini avtomatlashtirilgan tahlil qilish uchun rasmiy asos". Dasturiy ta'minot va tizimni modellashtirish. 2015 yil. yuklab olish
^ Batory, D., "Xususiyat modellari, grammatika va taklif formulalari", 9-Xalqaro dasturiy ta'minot mahsulotlarini ishlab chiqarish bo'yicha konferentsiya materiallari (SPLC '05) yuklab olish^{[doimiy o'lik havola ]}
^ D. Benavides, A.Ruiz-Kortes, P. Trinidad va S. Segura. "Xususiyat modellarini avtomatlashtirilgan tahlillari bo'yicha so'rov ". Jornadas de Ingeniería del Software y Base de Datos (JISBD'06). Sitges, Ispaniya. 2006
^ Benavides, Devid; Segura, Serxio; Ruiz Kortes, Antonio (2010). "20 yildan keyin badiiy modellarning avtomatlashtirilgan tahlili: Adabiyot sharhi". Axborot tizimlari. 35 (6): 615–636. doi:10.1016 / j.is.2010.01.001. hdl:11441/24694.
^ T. Thuem, D. Batory va C. Kaestner. "Badiiy modellarga tahrirlar haqida mulohaza yuritish ". Dasturiy ta'minot bo'yicha xalqaro konferentsiya (ICSE), 2009 yil may.

Tashqi havolalar

[KangEtAl90-1] v Kang, K.C. va Koen, S.G va Gess, JA. va Novak, W.E. va Peterson, A.S., "Xususiyatlarga yo'naltirilgan domen tahlili (FODA) texnik-iqtisodiy asoslari", Texnik hisobot CMU / SEI-90-TR-021, SEI, Karnegi Mellon universiteti, 1990 yil noyabryuklab olish

[2] "Feature Tree | BAwiki".

[3] Czarnecki, K. va Helsen, S. va Eisenecker, U., "Xususiyat modellaridan foydalangan holda bosqichma-bosqich konfiguratsiya", Dasturiy ta'minot liniyalari bo'yicha uchinchi xalqaro konferentsiya materiallari (SPLC '04), kompyuter fanidan ma'ruza yozuvlarining 3154 jildi. Springer Berlin / Heidelberg, 2004 yil avgust. yuklab olish.

[benavides05-caise-4] D. Benavides, P. Trinidad va A. Ruis-Kortes. "Badiiy modellar bo'yicha avtomatlashtirilgan fikrlash". Ilg'or axborot tizimlari muhandisligi bo'yicha 17-konferentsiya (CAiSE'05). Portu, Portugaliya. 2005 yil yuklab olish

[Schobbens-5] Schobbens, P.-Y.; Heymans, P .; Trigaux, J.-C. "Xususiyat diagrammalari: So'rov va rasmiy semantika, "Talablar muhandisligi, 14-IEEE Xalqaro konferentsiyasi, jild, №., 139-148 betlar, 2006 yil 11-15 sentyabr. yuklab olish

[Duran-6] Amador Duran, Devid Benavides, Serxio Segura, Pablo Trinidad va Antonio Ruis-Kortes "OLTIN: Avtomatik spetsifikatsiya sinovlari bilan tasdiqlangan dasturiy mahsulotlar qatorlarini avtomatlashtirilgan tahlil qilish uchun rasmiy asos". Dasturiy ta'minot va tizimni modellashtirish. 2015 yil. yuklab olish

[7] Batory, D., "Xususiyat modellari, grammatika va taklif formulalari", 9-Xalqaro dasturiy ta'minot mahsulotlarini ishlab chiqarish bo'yicha konferentsiya materiallari (SPLC '05) yuklab olish^{[doimiy o'lik havola ]}

[benavides06-jisbd-8] D. Benavides, A.Ruiz-Kortes, P. Trinidad va S. Segura. "Xususiyat modellarini avtomatlashtirilgan tahlillari bo'yicha so'rov ". Jornadas de Ingeniería del Software y Base de Datos (JISBD'06). Sitges, Ispaniya. 2006

[benavides10-is-9] Benavides, Devid; Segura, Serxio; Ruiz Kortes, Antonio (2010). "20 yildan keyin badiiy modellarning avtomatlashtirilgan tahlili: Adabiyot sharhi". Axborot tizimlari. 35 (6): 615–636. doi:10.1016 / j.is.2010.01.001. hdl:11441/24694.

[thuem09-icse-10] T. Thuem, D. Batory va C. Kaestner. "Badiiy modellarga tahrirlar haqida mulohaza yuritish ". Dasturiy ta'minot bo'yicha xalqaro konferentsiya (ICSE), 2009 yil may.

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]