An Adaptive Casteship Mechanism for Developing Multi-Agent Systems

In this paper, we propose an adaptive casteship mechanism for modelling anddesigning adaptive Multi-Agent Systems (MAS). In our approach, caste is the modular unit andabstraction that specify agents’ behaviour. Adaptive behaviours of agents are captured as the change of castes during their lifecycles by executing ‘join’, ‘quit’, ‘activate’ and ‘deactivate’operations on castes. The formal semantics of caste operations are rigorously defined. The properties of agent’s adaptive behaviours are formally specified and proved. A graphicalnotation of caste transition diagrams and a number of rules for check consistency are designed. An example is also presented throughout the paper