Universitas Indonesia ABSTRAK Nama : Rangga Hadisurya Program Studi : Magister Ilmu Komputer Judul : Translasi UML Statecharts Diagram ke Abstract Behavioral Specification Salah satu metode pemodelan kebutuhan sistem yang cukup umum digunakan saat ini adalah Unified Modeling Language (UML). Bahasa yang bersifat design-oriented seperti UML mampu memberikan visualisasi yang baik akan pemodelan sebuah sistem namun masih kurang mampu menggambarkan beberapa aspek perilaku sebuah sistem secara tepat salah satunya yaitu aspek konkurensi sistem. Hal ini merupakan salah satu kekurangan yang berusaha ditangani oleh Abstract Behavioral Specification (ABS). Selain memodelkan kebutuhan sistem, ABS juga dapat dieksekusi dan menyajikan visualisasi sequence diagram dari program sehingga dapat membantu pengembang perangkat lunak untuk memeriksa ketepatan penerapan konkurensi dalam sistem. Oleh sebab itu muncul lah ide translasi dari UML ke ABS. Dengan adanya translasi dari UML ke ABS, pengembang tidak hanya dapat memodelkan kebutuhan sistem secara visual dengan UML tetapi juga dapat memeriksa ketepatan berbagai aspek perilaku sistem dengan menggunakan ABS. Pada penelitian ini dilakukan translasi aspek dinamis atau perilaku sebuah sistem yang dimodelkan oleh UML Statecharts Diagram ke bahasa pemodelan ABS. Proses translasi ini menghasilkan kode program dalam bahasa ABS yang executable. Kode program hasil translasi statecharts telah dievaluasi dengan cara dibandingkan struktur kode program serta