Tolong jelaskan mengenai Aktivitas Pemodelan dari Knowledge Acquisition in automated specification

Secara keseluruhan, spesifikasi KAOS adalah kumpulan dari model inti berikut:

Pemodelan tujuan (goal modelling) di mana tujuan diwakili, dan ditugaskan ke agen.

Pemodelan objek (object modelling), yang merupakan model UML yang dapat diturunkan dari spesifikasi formal tujuan karena merujuk ke objek atau propertinya. Model objek digunakan untuk mendefinisikan dan mendokumentasikan konsep-konsep domain aplikasi yang relevan sehubungan dengan kebutuhan yang diketahui dan untuk memberikan kendala statis pada sistem operasional yang akan memenuhi kebutuhan tersebut. Sebagai bagian dari model objek, akan terdapat objek yang berkaitan dengan domain pemangku kepentingan dan objek lain yang diperkenalkan dengan tujuan untuk mengungkapkan kebutuhan atau kendala pada sistem operasional. Apa pun jenis objeknya, para pemangku kepentingan harus memahami apa artinya dan mengapa itu dibuat dalam model. Tiga jenis objek dapat hidup berdampingan dalam model objek:

Entitas: mewakili objek pasif dan independen. Misalnya, pintu lift, tombol, dll ... 'Independen' berarti deskripsi objek itu tidak perlu merujuk ke objek lain dari model. Objek tersebut mungkin memiliki atribut yang nilainya menentukan seperangkat status yang dapat ditransisikan oleh entitas. Objek 'pasif' berarti mereka tidak dapat melakukan operasi.

Agen: mewakili objek independen dan aktif. Misalnya, perusahaan lift, penumpang, dan pengontrol lift adalah agen. Objek aktif artinya mereka dapat melakukan operasi. Operasi biasanya menyiratkan transisi status pada entitas (misalnya, operasi "CloseDoor" menyiratkan transisi status berikut pada entitas "Door": atribut status berubah dari "Open" ke "Close").

Asosiasi: bergantung (dependent), objek pasif. 'Dependent' karena deskripsi objek tersebut merujuk ke objek lain. Misalnya, asosiasi 'At' menautkan 'Cage' ke 'Floor. Sebuah perumpamaan dari asosiasi itu (katakanlah antara Cage ‘c’ dan Floor ‘f ') akan berlaku jika Cage‘ c ’saat ini terletak di Floor‘ f ’. Objek-objek itu dapat memiliki atribut yang nilainya menentukan set status yang dapat ditransisikan oleh entitas. Objek pasif sehingga mereka tidak dapat melakukan operasi. Tetapi agen dapat membuat perumpaan asosiasi mengubah status dengan melakukan operasi. Misalnya, operasi "LeaveFloor" menyiratkan transisi berikut: At (c, f) -> not At (c, f)

Model objek KAOS sesuai dengan diagram kelas UML di mana entitas KAOS sesuai dengan kelas dalam UML; dan asosiasi KAOS terkait dengan tautan asosiasi biner UML atau kelas asosiasi n-ary. Inheritance tersedia untuk semua jenis objek (termasuk asosiasi). Objek dapat dikualifikasikan dengan atribut.Pemodelan operasi (operation model), m'''''odel operasi KAOS menggambarkan semua perilaku yang diperlukan agen untuk memenuhi kebutuhan mereka. Perilaku dinyatakan dalam operasi yang dilakukan oleh agen. Operasi bekerja pada objek (didefinisikan dalam model objek): mereka dapat membuat objek, memicu transisi status objek dan mengaktifkan operasi lain (dengan mengirimkan suatu peristiwa). Ada dua sumber untuk mengidentifikasi operasi, antara lain dapat langsung diungkapkan oleh para pemangku kepentingan selama wawancara dan dapat diidentifikasi dengan melihat semua persyaratan yang ada.