A coordination model to specify systems including mobile agents
Paolo Ciancarini, Francesco Franzè, Cecilia Mascolo · UCL Discovery (University College London) · 1998
A coordination model provides a formal framework in which the interaction of active entities that we call agents can be expressed. A coordination model deals with the creation and destruction of agents, their communication activities, their distribution and mobility in space, as well as the synchronization and distribution of their actions over time. We show how a coordination model called PoliS offers a flexible basis for the description and the analysis of architectures of systems including mobile agents. We have developed a model checking technique for the automatic analysis of PoliS specifications. 1 Introduction New computing paradigms based on code mobility need specification methods able to deal with the features of agent-based architectures [15]. For instance, since the original WWW architecture supports very limited forms of distributed programming, it is being extended with specific programming languages, like Java, which extend the functionality of WWW browsers to deal with...