Pemodelan Tujuan dan Penalaran dengan Mereka

Abstrak Konsep tujuan telah digunakan di banyak domain seperti ilmu manajemen dan perencanaan strategis, kecerdasan buatan dan interaksi manusia komputer.  Baru-baru ini, pendekatan pendorong tujuan (goal-driven) telah dikembangkan dan mencoba untuk mendukung kebutuhan kegiatan rekayasa seperti persyaratan elisitasi, spesifikasi, validasi, modifikasi, penataan dan negosiasi. Bab ini pertama mengulas berbagai upaya penelitian yang dilakukan di baris ini penelitian dan menyajikan state-of-the-art dalam menggunakan tujuan untuk persyaratan engineering.  Ini kemudian menyajikan model tujuan tertentu, peta tujuan / strategi, dan menunjukkan bahwa peta dapat membantu dengan menghadapi tantangan sistem multi-tujuan baru muncul, yaitu sistem memaksakan variabilitas dalam persyaratan elaborasi dan penyesuaian dalam proses rekayasa persyaratan.

Pengantar Tujuan telah lama diakui menjadi komponen penting yang terlibat dalam Rekayasa Kebutuhan (RE) proses. Dalam tulisan mereka, Ross dan Schoman menyatakan "definisi persyaratan harus mengatakan mengapa maka dibutuhkan suatu sistem, berdasarkan kondisi saat ini dan diramalkan, yang mungkin operasi internal atau eksternal pasar. Ini harus mengatakan apa fitur sistem akan melayani dan memuaskan konteks ini. Dan itu harus mengatakan bagaimana sistem akan dibangun "[77]. Biasanya, sistem saat ini dianalisis; masalah yang menunjukkan dan peluang diidentifikasi; tinggi tujuan strategis tingkat ditimbulkan dan disempurnakan untuk mengatasi masalah tersebut dan menemui kesempatan tersebut; persyaratan tersebut kemudian dijabarkan untuk memenuhi tujuan ini. tujuan adalah sehingga kekuatan pendorong dari proses rekayasa persyaratan.

State-of-the-Art Review Menurut Axel van Lamsweerde [40], RE adalah "berkaitan dengan identifikasi tujuan yang ingin dicapai oleh sistem dibayangkan, operasionalisasi tersebut tujuan ke layanan dan kendala, dan tugas tanggung jawab yang dihasilkan persyaratan untuk bahan sebagai manusia, perangkat, dan perangkat lunak ". Dalam pandangan ini yang sebagian besar dimiliki oleh masyarakat RE, tujuan mendorong proses RE yang berfokus kegiatan berorientasi tujuan seperti elisitasi tujuan, pemodelan tujuan, operasionalisasi tujuan dan tujuan pemetaan ke obyek perangkat lunak, peristiwa dan operasi. Bagian ini memberikan gambaran tentang upaya penelitian yang dilakukan di baris ini. Hal ini diatur dalam tiga bagian. Yang pertama memberikan "gambaran besar", yang kedua ikhtisar kontribusi pemodelan tujuan pendekatan dan yang ketiga membahas kelemahan mereka..

9.1 The Big Picture Bagian ini menyajikan motivasi untuk tujuan-driven RE, secara singkat mendefinisikan apa tujuan adalah dan memperkenalkan peran gol dalam proses RE dan kesulitan yang dihadapi dalam penggunaannya.

9.2 Motivasi untuk Goal Berbasis Pendekatan RE RE pendekatan goal-driven telah muncul sebagai sarana untuk mengatasi utama. Kelemahan dari pendekatan tradisional, yaitu, untuk mengarah pada sistem teknis yang baik tetapi tidak mampu merespon kebutuhan pengguna dengan cara yang tepat. Memang, beberapa studi lapangan menunjukkan bahwa kesalah pahaman persyaratan adalah penyebab utama dari sistem kegagalan. Sebagai contoh, sebuah survei dari 800 proyek yang dilakukan oleh 350 perusahaan AS mengungkapkan bahwa sepertiga dari proyek tidak pernah selesai dan satu setengah berhasil hanya sebagian; persyaratan yang buruk diidentifikasi sebagai sumber utama masalah [81].

9.2.1 Apakah Tujuan? Menurut Axel van Lamsweerde [43] "tujuan sesuai dengan tujuan yang sistem harus dicapai melalui kerja sama agen dalam perangkat lunak untuk menjadi dan dalam lingkungan ". Tujuan mengacu dimaksudkan atau optative [32] sifat dibayangkan sistem atau lingkungannya. Mereka adalah ekspresi dari maksud dan dengan demikian deklaratif dengan sifat preskriptif, oleh oposisi terhadap pernyataan deskriptif [32] yang menggambarkan fakta-fakta nyata.

9.2.2 Peran Tujuan Persyaratan elisitasi: pemodelan gol terbukti menjadi cara yang efektif untuk memperoleh persyaratan Eksplorasi pilihan desain: RE mengasumsikan bahwa sistem dibayangkan mungkin berfungsi dan berinteraksi dengan lingkungannya dalam banyak cara alternatif. Persyaratan kelengkapan adalah masalah RE besar. Yue [91] mungkin adalah pertama yang menyatakan bahwa tujuan memberikan kriteria untuk persyaratan kelengkapan Persyaratan traceability: tujuan menyediakan sarana untuk memastikan persyaratan pretraceability Persyaratan negosiasi: Stakeholder memberikan sudut pandang yang berguna dan realistis tentang sistem untuk terbentuk.

9.3 Contributions of Goal Modeling Approaches Untuk tujuan untuk memainkan peran tersebut, seluruh aliran penelitian menyebabkan kontribusi pada tujuan pemodelan, perumusan tujuan dan penalaran berbasis tujuan meninjau secara bergantian.

9.3.1 Pemodelan Tujuan Pemodelan Goal merupakan pusat RE pendekatan Goal-driven; manfaatnya adalah untuk mendukung heuristik, skema penalaran kualitatif atau formal selama proses RE. Tujuan dimodelkan dengan fitur intrinsik seperti jenis dan oleh hubungan dengan tujuan-tujuan lain atau unsur-unsur lain dalam model persyaratan.

9.3.2 Tujuan Merumuskan Formulasi Goal diperlukan untuk mendokumentasikan tujuan model dan mendukung beberapa bentuk penalaran. Perumusan tujuan dapat bersifat informal, semi formal atau formal. Pernyataan tujuan seringkali teks dalam bahasa alami [7, 13] dan dapat ditambah seperti yang disarankan oleh [92] dengan spesifikasi informal untuk membuat tepat apa nama tujuan menunjuk.

9.2.3.3 Penalaran dengan Tujuan: Tujuan utama dari pemodelan tujuannya adalah untuk mendukung beberapa bentuk penalaran tujuan untuk RE sub-proses seperti persyaratan elisitasi, konsistensi dan kelengkapan pemeriksaan, penemuan kendala, konflik resolusi dan sebagainya. Kami mempertimbangkan beberapa ini di bawah ini.

Title Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Vivamus et magna. Fusce sed sem sed magna suscipit egestas.

Title Lorem ipsum dolor sit amet, consectetuer adipiscing elit. Vivamus et magna. Fusce sed sem sed magna suscipit egestas.