![\"Objct](\"https:\/\/blog.visual-paradigm.com\/wp-content\/uploads\/2026\/07\/img_6a63134535ef7.png\")
<\/p>\nBerdasarkan bahan kuliah yang disediakan, panduan ini mencakup konsep dasar, sintaks, dan aplikasi praktis Bahasa Kendala Objek (OCL) dalam konteks pemodelan UML.<\/p>\n
<\/p>\n
Meskipun diagram UML (seperti diagram kelas) sangat baik untuk memvisualisasikan struktur, mereka tidak dapat mengekspresikan semua aspek yang relevan dari suatu spesifikasi.<\/p>\n
Bahasa alami<\/strong>\u00a0bersifat ambigu.<\/p>\n<\/li>\n Bahasa formal tradisional<\/strong>\u00a0tidak ambigu tetapi terlalu sulit bagi modeler sistem rata-rata untuk dibaca dan ditulis.<\/p>\n<\/li>\n OCL<\/strong>\u00a0menjembatani kesenjangan ini: ini adalah\u00a0bahasa formal<\/strong>\u00a0yang digunakan untuk mengekspresikan kendala yang tepat, namun tetap\u00a0mudah dibaca dan ditulis<\/strong>.<\/p>\n<\/li>\n<\/ul>\n Bahasa Ekspresi Murni:<\/strong>\u00a0Ekspresi tidak memiliki efek samping. Menilai ekspresi OCL mengembalikan nilai tetapi\u00a0tidak dapat<\/em>\u00a0mengubah keadaan sistem. Namun, dapat\u00a0menggambarkan<\/em>\u00a0perubahan keadaan (misalnya, dalam kondisi post).<\/p>\n<\/li>\n Bukan Bahasa Pemrograman:<\/strong>\u00a0Anda tidak dapat menulis logika program, alur kontrol, atau memanggil proses\/operasi yang mengubah keadaan.<\/p>\n<\/li>\n Bahasa Bertipe:<\/strong>\u00a0Setiap ekspresi memiliki tipe. Ekspresi yang sah harus mematuhi aturan kesesuaian tipe. Setiap klasifikasi UML adalah tipe OCL.<\/p>\n<\/li>\n Penilaian Sesaat:<\/strong>\u00a0Keadaan objek tidak dapat berubah\u00a0selama<\/em>\u00a0penilaian ekspresi OCL.<\/p>\n<\/li>\n<\/ol>\n Setiap ekspresi OCL dievaluasi dalam konteks klasifier UML tertentu (kelas, antarmuka, dll.).<\/p>\n Komentar:<\/strong>\u00a0Ditandai dengan\u00a0 Operator Infix:<\/strong>\u00a0Anda dapat menggunakan operator matematika\/logika standar ( Gunakan notasi titik untuk mengakses atribut atau operasi. Tanda kurung wajib digunakan untuk operasi, bahkan jika tidak memiliki parameter.<\/p>\n OCL mencakup tipe standar dengan operasi tertentu:<\/p>\n Boolean:<\/strong>\u00a0 Integer \/ Real:<\/strong>\u00a0Bilangan (Operasi:\u00a0 String:<\/strong>\u00a0Teks (Operasi:\u00a0 Koleksi adalah tipe abstrak yang digunakan untuk menyimpan beberapa elemen. Mereka diakses menggunakan\u00a0 Set:<\/strong>\u00a0Himpunan matematika (tidak ada duplikat, tidak berurutan).\u00a0 OrderedSet:<\/strong>\u00a0Tidak ada duplikat, tetapi diurutkan berdasarkan posisi.\u00a0 Kantong:<\/strong>\u00a0Memungkinkan duplikat, tidak berurutan.\u00a0 Urutan:<\/strong>\u00a0Memungkinkan duplikat, berurutan.\u00a0 Catatan:<\/em>\u00a0The\u00a0 Umum:<\/strong>\u00a0 Iterator (Penting untuk OCL):<\/strong><\/p>\n Variasi Sintaks Iterator:<\/em><\/p>\n OCL banyak digunakan sebagai bahasa navigasi untuk menelusuri asosiasi.<\/p>\n Navigasi menggunakan nama peran yang berlawanan. Tipe kembalian tergantung pada kelipatan:<\/p>\n Kelipatan\u00a0 Kelipatan\u00a0 Jika nama peran tidak tersedia, gunakan nama huruf kecil dari kelas di ujung lainnya (misalnya\u00a0 Navigasi ke kelas asosiasi menggunakan nama huruf kecil dari kelas asosiasi.<\/p>\n Ketika suatu asosiasi kembali ke kelas yang sama (misalnya, pernikahan antara dua orang), Anda harus menentukan arah menggunakan tanda kurung siku\u00a0 Gunakan atribut penentu dalam tanda kurung siku untuk memilih objek tertentu.<\/p>\n Gunakan\u00a0 Kondisi yang harus\u00a0selalu<\/strong>\u00a0benar untuk semua contoh kelas.<\/p>\n Kendala yang terkait dengan operasi.<\/p>\n Jika suatu sub-ekspresi tidak terdefinisi (misalnya, menavigasi asosiasi null), maka seluruh ekspresi menjadi tidak terdefinisi. Namun, operator Boolean memiliki pengecualian short-circuit:<\/p>\nKarakteristik Utama OCL<\/h3>\n
\n
\n2. Sintaksis dan Semantik Dasar<\/h2>\n
Konteks dan Self<\/h3>\n
\n
konteks<\/code><\/strong>: Menentukan kelas yang dikenakan batasan.<\/p>\n<\/li>\nself<\/code><\/strong>: Kata cadangan yang mengacu pada contoh khusus dari kelas konteks yang dievaluasi.<\/p>\n<\/li>\n<\/ul>\nkonteks Person\r\n-- 'self' mengacu pada contoh khusus dari Person\r\n<\/code><\/pre>\nKomentar dan Operator<\/h3>\n
\n
--<\/code>\u00a0(contoh,\u00a0-- ini adalah komentar<\/code>).<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0=<\/code>,\u00a0<<\/code>). Secara konseptual,\u00a0a + b<\/code>\u00a0identik dengan\u00a0a.+(b)<\/code>.<\/p>\n<\/li>\n<\/ul>\nMengakses Properti<\/h3>\n
konteks Person\r\nself.age -- Mengakses atribut 'age'\r\nself.stockPrice() -- Memanggil operasi 'stockPrice'\r\n<\/code><\/pre>\n
\n3. Tipe dan Koleksi<\/h2>\n
Tipe yang Didefinisikan Secara Prima<\/h3>\n
\n
benar<\/code>,\u00a0salah<\/code>\u00a0(Operasi:\u00a0dan<\/code>,\u00a0atau<\/code>,\u00a0tidak<\/code>,\u00a0mengimplikasikan<\/code>,\u00a0xor<\/code>)<\/p>\n<\/li>\n+<\/code>,\u00a0-<\/code>,\u00a0*<\/code>,\u00a0\/<\/code>,\u00a0abs<\/code>,\u00a0max<\/code>,\u00a0min<\/code>,\u00a0div<\/code>,\u00a0mod<\/code>)<\/p>\n<\/li>\nukuran<\/code>,\u00a0concat<\/code>,\u00a0substring<\/code>,\u00a0keInteger<\/code>)<\/p>\n<\/li>\n<\/ul>\nKoleksi<\/h3>\n
-><\/code>\u00a0notasi.<\/p>\n\n
Set {1, 2, 5}<\/code><\/p>\n<\/li>\nOrderedSet {5, 4, 3}<\/code><\/p>\n<\/li>\nKantong {1, 2, 2, 5}<\/code><\/p>\n<\/li>\nUrutan {1, 2, 5, 10}<\/code><\/p>\n\n
..<\/code>\u00a0notasi membuat urutan bilangan bulat berurutan:\u00a0Urutan {1..5}<\/code>.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ol>\nOperasi Kumpulan Kunci<\/h3>\n
\n
ukuran()<\/code>,\u00a0kosong()<\/code>,\u00a0tidakKosong()<\/code>,\u00a0mencakup(v)<\/code>,\u00a0tidakMencakup(v)<\/code>,\u00a0hitung(v)<\/code>,\u00a0jumlah()<\/code>.<\/p>\n<\/li>\n\n
pilih(expr)<\/code>: Mengembalikan elemen-elemen di mana\u00a0expr<\/code>\u00a0adalah benar.<\/p>\n<\/li>\nreject(expr)<\/code>: Mengembalikan elemen-elemen di mana\u00a0expr<\/code>\u00a0adalah salah.<\/p>\n<\/li>\ncollect(expr)<\/code>: Mengekstrak properti tertentu dari semua elemen ke dalam koleksi baru.<\/p>\n<\/li>\nforAll(expr)<\/code>: Mengembalikan\u00a0benar<\/code>\u00a0jika\u00a0expr<\/code>\u00a0adalah benar untuk\u00a0semua<\/em>\u00a0elemen.<\/p>\n<\/li>\nexists(expr)<\/code>: Mengembalikan\u00a0benar<\/code>\u00a0jika\u00a0expr<\/code>\u00a0adalah benar untuk\u00a0setidaknya satu<\/em>\u00a0elemen.<\/p>\n<\/li>\niterate(elem; acc = init | expr)<\/code>: Dasar umum untuk semua iterator.<\/p>\n<\/li>\n<\/ul>\n<\/li>\n<\/ul>\nself.employee->select(age > 50)\r\nself.employee->select(p | p.age > 50)\r\nself.employee->select(p: Person | p.age > 50)\r\n<\/code><\/pre>\n
\n4. Menjelajahi Model UML<\/h2>\n
Navigasi Standar<\/h3>\n
\n
1<\/code>\u00a0atau\u00a00..1<\/code>:<\/strong>\u00a0Mengembalikan satu objek.<\/p>\n<\/li>\n*<\/code>:<\/strong>\u00a0Mengembalikan\u00a0Set<\/code>\u00a0(atau\u00a0OrderedSet<\/code>\u00a0jika ditandai\u00a0{ordered}<\/code>).<\/p>\n<\/li>\n<\/ul>\nkonteks Company\r\nself.manager.age > 40 -- manager adalah 0..1, mengembalikan objek Person\r\nself.employee->notEmpty() -- employee adalah 0..*, mengembalikan Set\r\n<\/code><\/pre>\nself.bank<\/code>).<\/em><\/p>\nKelas Asosiasi<\/h3>\n
konteks Person\r\nself.job->size() >= 1 -- 'job' adalah kelas asosiasi antara Person dan Company\r\n<\/code><\/pre>\nAsosiasi Rekursif<\/h3>\n
[namaPeran]<\/code>.<\/p>\nkonteks Person\r\nself.perkawinan[wife]->select(m | m.berakhir = false)->size() = 1\r\n<\/code><\/pre>\nAsosiasi yang Dikualifikasi<\/h3>\n
konteks Bank\r\nself.customer[12345] -- Mengembalikan orang tertentu dengan accountNo 12345\r\nself.customer -- Mengembalikan Himpunan semua pelanggan\r\n<\/code><\/pre>\nPengubahan Tipe (Pengubahan Tipe)<\/h3>\n
oclAsType()<\/code>\u00a0untuk mengakses properti dari subjenis atau properti kelas induk yang tersembunyi.<\/p>\nself.oclAsType(Sub).p -- Mengakses properti 'p' yang didefinisikan dalam Subjenis\r\nself.oclAsType(Super).p -- Mengakses properti 'p' yang didefinisikan dalam Kelas Induk\r\n<\/code><\/pre>\n
\n5. Menulis Kendala<\/h2>\n
1. Invarian (
inv<\/code>)<\/h3>\nkonteks Perusahaan \r\ninv: self.jumlahKaryawan <= 50\r\ninv SME: self.hargaSaham() > 0 -- 'SME' adalah nama opsional untuk kendala<\/code><\/pre>\n2. Kondisi Pra dan Pasca (
pre<\/code>,\u00a0post<\/code>)<\/h3>\n\n
pre<\/code><\/strong>: Harus benar\u00a0sebelum<\/em>\u00a0eksekusi.<\/p>\n<\/li>\npost<\/code><\/strong>: Harus benar\u00a0setelah<\/em>\u00a0eksekusi. Gunakan\u00a0hasil<\/code>\u00a0untuk nilai kembalian.<\/p>\n<\/li>\n@pre<\/code><\/strong>: Digunakan dalam kondisi pasca untuk merujuk nilai suatu properti\u00a0sebelum<\/em>\u00a0operasi dimulai.<\/p>\n<\/li>\n<\/ul>\nkonteks Person::income(): Integer\r\npre dewasa: self.usia >= 18\r\npost hasilOK: hasil < 5000\r\n\r\nkonteks Company::rekrutKaryawan(p: Person)\r\npost: karyawan = karyawan@pre->termasuk(p)\r\n<\/code><\/pre>\n3. Ekspresi Body, Awal, dan Turunan<\/h3>\n
\n
body<\/code><\/strong>: Menentukan hasil dari operasi kueri (dapat bersifat rekursif).<\/p>\n<\/li>\ninit<\/code><\/strong>: Menentukan nilai awal dari suatu atribut.<\/p>\n<\/li>\nturunkan<\/code><\/strong>: Menentukan atribut turunan.<\/p>\n<\/li>\n<\/ul>\nkonteks Person::income(): Integer\r\nbody: self.pekerjaan.gaji->jumlah()\r\n\r\nkonteks Person::menikah: Boolean\r\ninit: salah\r\n\r\nkonteks Company::jumlahKaryawan: Integer\r\nturunkan: self.karyawan->ukuran()\r\n<\/code><\/pre>\n
\n6. Fitur OCL Lanjutan<\/h2>\n
Ekspresi Let dan Def<\/h3>\n
\n
let<\/code><\/strong>: Menentukan variabel lokal dalam satu ekspresi tunggal.<\/p>\nlet totJam: Integer = self.bekerjaPada->kumpulkan(jam)->jumlah() dalam totJam >= 30\r\n<\/code><\/pre>\n<\/li>\ndef<\/code><\/strong>: Menentukan variabel atau operasi yang dapat digunakan kembali dan terkait dengan sebuah klasifikasi.<\/p>\ndef: memilikiJabatan(t: String): Boolean = self.pekerjaan->ada(jabatan = t)\r\n<\/code><\/pre>\n<\/li>\n<\/ul>\nNilai Tidak Terdefinisi (Logika 3 Nilai)<\/h3>\n
\n
benar atau <tidak terdefinisi><\/code>\u00a0=\u00a0benar<\/strong><\/p>\n<\/li>\n