Claim Missing Document
Check
Articles

Found 2 Documents
Search

Implementation of Structured Object-Oriented Formal Language for Warehouse Management System Irfin Afifudin; Inge Martina
CommIT (Communication and Information Technology) Journal Vol. 14 No. 1 (2020): CommIT Journal
Publisher : Bina Nusantara University

Show Abstract | Download Original | Original Source | Check in Google Scholar | DOI: 10.21512/commit.v14i1.5942

Abstract

Designing process is inseparable from software development. Like other software development processes, designing process faces many problems, such as improper and ambiguous specifications. These problems may be overcome by applying formal engineering methods. One of which is Structured Object-Oriented Formal Language (SOFL). The analysis and formation of the design and implementation of SOFL are carried out as a solution to the problem. The application of SOFL is divided into three parts according to SOFL rules, namely informal specification, semi-formal specification, and formal specification. The design and implementation are measured and tested using rigorous review and maintainability index. This research uses a warehouse management system, a safety-critical system, as a case study. Rigorous analysis shows that SOFL in warehouse management system increases the maintainability index of 56.94%. It means that it is easier to develop.
Penerapan Algoritma Genetika pada Optimalisasi Tim Pengerja Musik Gereja Alwin Rengku; Inge Martina
Jurnal Telematika Vol 11, No 2 (2016)
Publisher : Institut Teknologi Harapan Bangsa

Show Abstract | Download Original | Original Source | Check in Google Scholar

Abstract

Gereja memiliki sejumlah pengerja musik yang dijadwalkan setiap pekan secara bergilir pada lokasi yang berbeda-beda. Pengerja terpisah kedalam beberapa kelompok, selain itu pengerja juga memiliki tingkat kemampuan yang berbeda-beda, sehingga solusi optimasi harus bisa menghasilkan susunan tim yang memenuhi ketentuan. Tidak hanya pengerja, setiap lokasi juga memiliki tingkatan karakteristik yang berbeda sehingga sebagian lokasi membutuhkan konfigurasi tim yang khusus. Algoritma genetika digunakan dengan menjadikan pengerja sebagai alel, waktu ibadah dalam setiap lokasi sebagai gen, dan alokasi pengerja pada setiap waktu ibadah dalam setiap lokasi sebagai kromosom. Setiap kromosom mewakili sebuah solusi. Kromosom akan melewati sejumlah tahapan seleksi, persilangan, dan mutasi, sehingga pada akhirnya dihasilkan sejumlah alternatif solusi terbaik. Solusi terbaik dipilih berdasarkan nilai fitness kromosom yang lebih mendekati 0, yang dalam hal ini berarti sangat optimal. Populasi akan mengalami regenerasi sejumlah ukuran generasi yang ditetapkan. Proses regenerasi akan berakhir jika fitness kromosom terbaik tidak mengalami perubahan selama jumlah generasi yang ditetapkan juga. Rata-rata generasi yang dibutuhkan untuk menghasilkan solusi dari 200 pengerja pada 9 lokasi adalah 12, dengan probabilitas persilangan 0,167 dan probabilitas mutasi 0,125.  A church generally employs some music servants whom scheduled every week sequentially to some distributed locations. Each of them is divided into several different groups. They also have different level of expertise, so then the optimization solution should propose a desired team configuration. Every location has their own characteristic level, so it may require special team configuration. Genetic algorithm define servant as allele, service time slot in each location as gene, and servant allocation to each location as chromosome. Each chromosome proposed an alternative solution. Chromosome will be processed through some selection, crossover, and motation steps, so then the best solution will be acquired. Best solution will be chosen from a chromosome that has fitness value near to 0, which means it is the most optimum solution. Population will be regenerated as long as the provided generation size. The regeneration process will be terminated if the best chromosome fitness does not change in a provided generation count. The average required generation to acquire solution from 200 servants in 9 locations is 12, with the crossover probability of 0.167 and mutation probability of 0.125.