Model Formal Negosiasi dalam Sistem Penjadwalan Rapat Berbasis Agen