Computer File
Perangkat lunak konversi sequence diagram menjadi coloured petri-net
Pemodelan adalah representasi suatu hal ke dalam bentuk medium lain. Pemodelan perangkat lunak akan membantu proses pemahaman perangkat lunak tersebut. Pemodelan perangkat lunak biasa menggunakan diagram UML. Kendala yang dihadapi dengan pemodelan menggunakan diagram UML adalah tidak tersedianya verifikasi. Oleh sebab itu, digunakan Petri-Net sebagai alternatif pemodelan. Petri-Net yang digunakan adalah Coloured Petri-Net yang memiliki teknik analisis model untuk kebutuhan verifikasi. Aditya Bagoes Saputra [1] telah berhasil merumuskan aturan transformasi sequence diagram menjadi Coloured Petri-Net. Pada penelitian ini dibangun sebuah perangkat lunak yang dapat mengaplikasikan aturan transformasi sequence diagram menjadi Coloured Petri-Net. Perangkat lunak akan menerima masukan file XML sequence diagram dan menghasilkan file XML Coloured Petri-Net. Keluaran dapat divisualisasikan dengan bantuan kakas CPN Tools. Perangkat lunak juga mampu menangani sequence diagram dengan fragmen loop, alt, dan opt.
Kata-kata kunci: konversi, perangkat lunak konversi, pemodelan, diagram sekuens, coloured petri-net, diagram uml, petri-net
Barcode | Tipe Koleksi | Nomor Panggil | Lokasi | Status | |
---|---|---|---|---|---|
skp33037 | DIG - FTIS | Skripsi | INFO HER p/16 | Perpustakaan | Tersedia namun tidak untuk dipinjamkan - Missing |
Tidak tersedia versi lain