Review Jurnal (1)

GENERALIZATION/SPECIALIZAT ION AND ROLE IN OBJECT ORIENTED CONCEPTUAL MODELING

(Monique Snoeck, Guido Dedene)

Tugas: Analisa, Pemodelan dan Desain

(Ruli Utami Ruli Utami 5112202006

5112202006)

GENERALIZATION/SPECIALIZATION AND ROLE IN OBJECT ORIENTED CONCEPTUAL MODELING (Monique Snoeck, Guido Dedene)
Katholieke Universiteit Leuven Dept. of Applied Economic Sciences Naamsestraat 69, 3000 Leuven, Belgium Tel. 32 16 32.68.83, Fax. 32 16 32.67.32 Email: {Monique.Snoeck, Guido.Dedene@econ.kuleuven.ac.be

1. PENDAHULUAN a. Latar Belakang Hubungan "IS A" dan mekanisme pewarisan adalah konsep kuat yang membantu untuk mengurangi kompleksitas model dan redundansi dalam spesifikasi. Selain itu, mereka memungkinkan untuk peningkatan penggunaan kembali spesifikasi dan kode. Namun, seperti yang ditunjukkan oleh berbagai penulis (misalnya [1, 14]), sering dipertanyakan alasan mengapa dan dalam situasi seperti apa para pemodel dan programer menggunakan konsep ini. Maka untuk meningkatkan penggunaan generalisasi / spesialisasi dan pewarisan relasi pemodelan "IS A" yang valid harus terlebih dahulu didefinisikan.

b. Penelitian Sebelumnya dan yang akan dilakukan Penelitian sebelumnya memanfaatkan Proses Aljabar untuk pengembangan M.E.R.O.D.E dalam menghitung perilaku keseluruhan sebuah sistem yang diimplementasikan dari deskripsi perilaku tipe obyek individual. Dalam [7] juga telah di sebutkan penelitian tentang bagaimana perhitungan yang dapat dilakukan untuk skema konseptual yang tidak menggunakan konsep Generalisasi / Spesialisasi dan Role. Penelitian dalam jurnal ini adalah pengembangan dari apa yang telah di sajikan dalam [7], yaitu menentukan perilaku sistem yang terdiri dari tipe objek dengan spesialisasi dan Role. Perilaku global suatu jenis objek ditulis sebagai (P) dan didefinisikan.

Ruli Utami 5112202006

c. Permasalahan Permasalahan yang diangkat dalam jurnal ini adalah bagaimana membuktikan definisi logis dan formal untuk hubungan konseptual IS-A yang menjamin Substitutivity universal, hirarki pembagian atribut, pembagian perilaku, dan subset pada generalisasi / spesialisasi dan Role serta pada kapan para pemodel dan programmer menggunakan konsep ini. d. Kontribusi Penelitian Kontribusi yang diberikan oleh Penulis Jurnal ini adalah pembuktian dasar formal pendefinisian melalui proses aljabar untuk menginvestigasi konsekuensi opsi pemodelan tertentu dengan efektif.

2. PEMBAHASAN a. Teori Yang Digunakan Generalisasi / spesialisasi adalah prinsip abstraksi yang memungkinkan untuk mendefinisikan kelas sebagai penyempurna kelas lainnya. Kelas yang lebih umum disebut juga supertype dan kelas khusus kemudian disebut subtype. Sebuah metode Object Oriented Analisis (OOA) yang lengkap harus mencakup baik aspek statis dan dinamis dari sebuah obyek sebaik obyek tersebut berinteraksi satu sama lain dengan penekanan yang sama. Aspek ini umumnya didukung oleh teknik yang lain.

Penggunaan Hirarki Generalisasi / Speialisasi Berikut adalah notasi yang digunakan untuk menunjukkan hirarki generalisasi / spesialisasi:

Gambar 2.1 Skema Hirarki Generalisasi / Spesialisasi

Ruli Utami 5112202006

Untuk skema ER, digunakan notasi dari [5, 23]. Jenis hubungan yang lemah ditunjukkan dengan cara garis ganda di sisi tipe entitas lemah dan jenis hubungan yang wajib ditunjukkan dengan cara titik hitam di sisi tipe entitas yang membutuhkan partisipasi wajib. Bagian ini menyelidiki cara yang berbeda di mana kelas dasar dapat dipartisi dalam subclass dan apakah yang tepat untuk mengidentifikasi subclass sebagai jenis objek baru. Tiga jenis subclass yaitu: Attribute defined subclass, existence defined subclass dan state defined subclasses [10]. Panduan untuk Menggunakan Generalisasi dan Spesialisasi Konsep Peran dan Konsep

Untuk mendapatkan satu set lengkap kriteria untuk memutuskan penggunaan generalisasi / spesialisasi atau konsep Role, di mulai dari komponen-komponen definisi tipe obyek. Aspek statis tipe objek memuat definisi atribut. Subclass dapat memiliki atribut tambahan dan dapat memiliki lebih khhusus atau additional constrain pada atribut yang diwariskan. Aspek dinamis dari suatu jenis objek dijelaskan melalui metode dan urutan pembatasan. Metode adalah reaksi dari suatu obyek untuk event tertentu. Sebuah subclass bisa merespon event lebih dari induknya, dapat menimpa mewarisi metode dan dapat menimpa kendala urutan pada metode diwariskan. Semula, aturan keputusan berikut yang diusulkan adalah sebagai berikut: Aturan 1: Role digunakan untuk memodelkan aspek semtemporer sedangkan hirarki generalisasi / spesialisasi digunakan untuk memodelkan aspek permanen. Aturan 2: Jika A memiliki metode lain selain B untuk jenis event yang sama, maka A adalah jenis spesialisasi B. Aturan 3: Jika A memiliki kendala atribut selain B, maka A adalah jenis spesialisasi B. Aturan 4: Jika A hanya memiliki jenis event tambahan dan / atau sequence Constrain lainnya, A dapat dimodelkan sebagai jenis Role B.

Ruli Utami 5112202006

Aturan ini telah diteliti dengan cara PROLOGA [25]. Tabel keputusan workbech ini mengungkapkan kondisi yang tidak diperlukan, ketidaklengkapan spesifikasi dan kontradiksi. Tabel keputusan akhir dengan panduan untuk penggunaan konsep Role dan konsep generalisasi / spesialisasi ditunjukkan pada Gambar 2.2 kondisi tercantum dalam kuadran kiri atas; tindakan tercantum di kuadran kiri bawah. Kuadran kanan atas menunjukkan alternatif yang mungkin untuk kondisi baris yang sesuai. Untuk lima kondisi pertama 'Y' singkatan dari 'Ya', dan 'N' adalah singkatan dari 'Tidak'. Untuk kondisi keenam (Apa karakter dari subtype?), 'P' merupakan singkatan dari 'Permanent' dan 'T' untuk 'Temporal'.

Gambar 2.2 Petunjuk Penggunaan Konsep Role dan Konsep Generalisasi dan Spesialisasi

b. Teknik Pemodelan yang digunakan Jurnal ini menggunakan Finite State Machines (FSMs) untuk teknik pemodelan perilaku, seperti kebanyakan metode-OOA. Dengan memformalkan konsep FSMs dengan Proses Aljabar, jurnal ini menjelaskan secara eksplisit bagaimana mengatasi konsep perilaku pewarisan dan merumuskan aturan yang memastikan konsistensi antara pewarisan aspek statis dan pewarisan aspek dinamis.

Ruli Utami 5112202006

Hirarki generalisasi / spesialisasi dapat dianggap sebagai bagian dari skema statis sedangkan urutan pembatasan merupakan bagian dari skema yang dinamis [7, 23]. Sebuah subtype Si mewarisi pembatasan urutan dari supertype G. Dalam kebanyakan metode, subtype diperbolehkan untuk membatasi atau mendefinisi ulang perilaku induknya. Sebuah analisis matematis menunjukkan pembatasan yang bersama-sama dengan prinsip substitutivity mensyaratkan bahwa subtype harus meninggalkan urutan pembatasan yang dibebankan pada pewarisan tipe event yang tidak berubah. Agar dapat membandingkan pembatasan urutan generalisasi dan jenis objek spesialisasi, ekspresi regular didefinisikan sebagai berikut: e, e ' R * (A) mendefinisikan e e' e + e '= e' Note: adalah urutan parsial pada R * (A)

Bukti e, e ', e " R * (A): 1. e e karena e + e = e 2. e e' dan e' e e = e 'karena e e' e + e' = e' dan e' e e'+ e = e Jadi e = e '+ e = e + e' = e ' 3. e e 'dan e' e " e e" karena e e ' e + e' = e 'dan e' e " e '+ e" = e " Jadi e + e "= e + (e '+ e") = (e + e') + e "= e '+ e" = e "n

Ekspresi reguler jenis objek menentukan seperangkat skenario (urutan event) yang diterima oleh jenis objek ini. Secara intuitif, e e' berarti bahwa himpunan skenario yang didefinisikan oleh e' mencakup serangkaian skenario yang didefinisikan oleh e. Secara umum, jenis spesialisasi memiliki jenis acara tambahan di samping jenis acara mewarisi ( (G) (S)). Untuk menganalisis pembatasan yang diberlakukan oleh jenis spesialisasi hanya pada pewarisan jenis event, dibutuhkan sebuah operator proyeksi yang menurunkan jenis event yang tidak relevan dari deskripsi perilaku sebagai berikut: Ruli Utami 5112202006

Biarkan B A, a A, e, e ' R * (A). kemudian mendefinisikan 1\B=1 (a \ B = a a B) dan (a \ B = 1 a B) (e + e') \ B = e \ B + e' \ B, (e.e') \ B = e \ B. e'\ B ((e) *) \ B = (e \ B) * Urutan parsial pada ekspresi biasa ini dapat digunakan untuk menentukan urutan parsial (taksonomi) pada proses: Misalkan P, Q <P(A), R*(A)> kemudian menentukan P 'Q (P) (Q) dan SRP (SRQ) \ (P) note: 'adalah urutan parsial pada jenis objek. Bukti Ini mengikuti fakta bahwa adalah urutan parsial pada ekspresi reguler dan fakta bahwa adalah urutan parsial pada set.

Substitutivity mensyaratkan bahwa operasi berlaku untuk supertype selalu berlaku untuk subtype dalam segala situasi. Dengan kata lain, subtype harus memiliki prasyarat yang lemah dan postconditions yang lebih kuat dari supertype nya [15]. Untuk urutan pembatasan, ini berarti bahwa subtype harus menerima semua skenario supertype dan dengan demikian SRG SRS \ (G). Seperti (G) (S) untuk setiap G dan S dengan G <S, membutuhkan substitutivity adalah sama dengan mensyaratkan bahwa G 'S untuk setiap G dan S dengan G <S. Akibatnya urutan parsial ' pada jenis objek dapat dianggap sebagai ketergantungan resmi dari hirarki generalisasi / spesialisasi.

3. KESIMPULAN Dalam Jurnal ini mengembangkan definisi logis dan formal untuk hubungan konseptual IS-A, mengintegrasikan pemikiran pembagian struktur, pembagian perilaku, pewarisan yang tegas dan stitutability universal.

Ruli Utami 5112202006

Penggunaan relasi ini pada tingkat konseptual akan membantu penggunaan mekanisme pewarisan yang lebih baik pada level pemrograman. Dasar formal pendefinisian melalui proses aljabar menunjukkan bagaimana formalisms pemodelan yang kontradiktif dapat direkonsiliasi dan bagaimana analisis matematis dapat membantu untuk menginvestigasi konsekuensi opsi pemodelan tertentu dengan efektif. Formalisasi disajikan di sini didasarkan pada penggunaan ER-modeling sebagai teknik untuk pemodelan aspek statis dan penggunaan FSMs (atau setara formalism) untuk model aspek dinamis. Pada prinsipnya, itu berlaku untuk semua metode yang menggunakan teknik ini.

4. FURTHER WORKS (SARAN) Pengembangan penelitian lebih lanjut yang dapat dilakukan adalah meliputi penanganan multiple inheritance dan aspek pewarisan dari atribut pada umumnya. Yang pertama tampaknya mudah dengan definisi yang tepat tentang sintaks dan semantik. Yang terakhir ini membutuhkan pendekatan aljabar untuk tipe data abstrak.

Ruli Utami 5112202006