Taksonomi Dan Formalisasi Relasi Antar Model Proses Bisnis Berbasis Anotasi Efek - Tri Astoto Kurniawan (Jurnal Teknologi Informasi dan Ilmu Komputer)