A formal framework of multi-agent systems with requirement/service cooperative style

Adopting three kinds of speech acts: request, promise, and inform, this paper analyses the interaction among aents in a kind of multi-agent systems with requirements/services cooperation style (MASr-s). The paper gives the objective model the theoretic satisfaction conditions of three kinds of speech acts in MASr-s. The formal definition of MASr-s has been presented. To evaluate concrete implementation architecture and mechanism of the variant MASr-s, including client/server computing architecture and mechanism, a spectrum of MASr-s has been proposed, which capturesdirect request/passive service mechanism,direct request/active service mechanism,indirect request/active service mechanism, and peerto-peer request/service mechanism. The spectrum shows a thread to improve traditional client/server computing.