%I Jurusan Pendidikan Matematika FMIPA UNY %A Bandung Arry Sanjoyo %A Subiono %A Riyanarto Sarno %T Pemodelan Komposisi Web Service Dengan Menggunakan Petri Net %D 2011 %X Web engineering dapat dipandang sebagai penerapan software engineering pada lingkungan web yang memiliki aspek utama orientasi menuju sistem terdistribusi. Saat ini, aplikasi lingkungan web menjadi andalan beberapa instansi/perusahaan dalam mengelola proses bisnis. Dalam automasi berbasis Internet, proses binis merupakan sekumpulan / penggabungan dari web service. Komposisi web service membutuhkan suatu mekanisme penggabungan agar bisa membentuk sebuah workflow untuk merepresentasikan bisnis proses. Dibahas suatu metoda untuk mengkaji semantic web service agar sesuai dengan kebutuhan pengguna. Model matematika graf bentuk Petri Net akan dipakai untuk memodelkan komposisi web service dan dipakai untuk melakukan verifikasi dan evaluasi kinerja sistem melalui matriks incidence. Kata kunci : web service, komposisi web service, Petri net, matriks incidence %K web service, komposisi web service, Petri net, matriks incidence %J Matematika dan Pedidikan Karakter dalam Pembelajaran %L UNY7341