Hasil Pencarian  ::  Simpan CSV :: Kembali

"This book provides foundations for software specification and formal software development from the perspective of work on algebraic specification, concentrating on developing basic concepts and studying their fundamental properties. This book contains five kinds of material: the requisite mathematical foundations; traditional algebraic specifications; elements of the theory of institutions; formal specification and development; and proof methods. "

"Skripsi ini membahas tentang melakukan konversi sistem berorientasi objek menjadi sofware product line dengan menggunakan konsep pemodelan delta yang dimiliki oleh Abstract Behavioral Specification (ABS). ABS merupakan bahasa pemodelan yang ditargetkan untuk mengembangkan sistem dengan tingkat variasi yang tinggi dan mendukung pengembangan Software Product Line (SPL) melalui pemodelan delta. Sistem berorientasi objek yang ingin dikonversi menjadi SPL adalah sistem perpustakaan digital di lingkungan Universitas Indonesia yaitu LONTAR. Selama ini, LONTAR hanya menggunakan layanan web berbasis SOAP. Dengan menggunakan ABS, penulis mencoba mengonversi LONTAR menjadi SPL sehingga dapat menggunakan SOAP dan juga layanan web lainnya dalam hal ini REST. Latar belakang ingin dikonversinya LONTAR dari orientasi objek menjadi SPL dengan menggunakan ABS adalah karena lebih mudah untuk mengembangkan sistem dengan ABS dibandingkan dengan pendekatan orientasi objek biasa. Pendefinisian produk baru di ABS relatif lebih mudah dibandingkan harus membuat class baru dan melakukan kustomisasi agar class baru tersebut dapat bekerja dengan baik.

---

This thesis contains the system conversion from object oriented system into software product line using delta modeling of Abstract Behavioral Specification (ABS). ABS is a modeling language which targets system with high level of variety and supports Software Product Line (SPL) development with delta modeling. The case study of this thesis is digital library system in University of Indonesia called LONTAR. Originally, LONTAR only uses SOAP-based web service. With ABS, the author tries to convert LONTAR into SPL, so it can use SOAP and another web service in this case REST. The background of this conversion of LONTAR from object oriented into SPL is because it is easier to develop system with ABS rather than regular object oriented. Product definition in ABS is relatively easier than creating new class and do customization with this new class to make it works well."