一個行動代理人系統之塑模與驗證方法—以網路買方召募為例

Abstract

聯合議價乃是凝聚多數人之購買力，形成 強大之買方，藉其優勢與賣方進行議價，以創 造優惠之價格。而以代理人為機制之聯合議價 乃是利用軟體代理人(software agents)代表買 賣雙方進行議價，其過程是先由買方的軟體代 理人在網路上凝聚購買力，然後再與賣方的軟 體代理人進行議價，以此方式為個別買方創造 較低的購買價格。以此為例，我們提出了一個 包含五個步驟、由上而下(top-down)的方法， 有系統地利用物件導向塑模語言UML 及其延 伸版本Agent-based UML (AUML)，從不同的 面向描繪此設計的概念，而且我們提出以“狀 態為基礎的模擬”方式來驗證此系統模型，此 法對整個系統的開發時程、成本與品質相信會 有相當大的影響。