Hal-hal yang terkait dengan ABS dapat dilihat di sini.

Perkenalan ABS

Abstract Behavioral Specification (ABS) merupakan bahasa pemodelan berbasis object oriented
yang dikembangkan oleh salah satu bagian inti dari proyek HATS. ABS didesain agar spesifikasi
formal dapat dilakukan pada concurrent, component-based systems pada level abstraksi di luar
detail implementasi, tetapi memelihara inti dari properti perilaku sistem, seperti concurrency model,
component structure, execution histories, dan datatypes. ABS memiliki struktur berbasiskan objek
sehingga cocok dengan bahasa pemodelan berorientasi objek seperti UML.

ABS didefinisikan dalam beberapa bahasa, antara lain Core ABS, Micro Textual Variablity Language
(?TVL), Delta Modeling Language (DML), Product Line Configuration Language (CL), dan Product Selection
Language
(PSL). ABS dan memodelkan setiap object dalam sebuah class dan mengatur concurency antar
objek dengan mekanisme COGs (Concurrent Object Groups). Setiap class memiliki variabel dan fungsi yang
merepresentasikan properti dari sistem. ABS juga dilengkapi dengan compiler framework sehingga dapat
dieksekusi dengan menggunakan Java atau Maude. Proses eksekusi ABS dapat dijalankan dengan menggunakan
ABS Tools yang berbentuk eclipse plugin. Pada tools tersebut juga terdapat UML sequence diagram
generator
yang menggambarkan proses eksekusi dalam sequence diagram. Penjelasan lebih lanjut tentang
ABS dapat dilihat pada ABS Language Specification yang menjelaskan struktur dan spesifikasi ABS dengan
rinci.

Materi Tentang ABS

Hasil Pertemuan Mingguan

UML_profile.pdf (207 KB) 0706165936 MAYA RETNO AYU S, 01/05/2013 14:37