Zuohua Ding Jianming Dong Wei Han Formal architectural models for agent-based service systems. 45-63 2008 31 IJCAT 1/2 http://dx.doi.org/10.1504/IJCAT.2008.017718 db/journals/ijcat/ijcat31.html#DingDH08