UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

A coordination model to specify systems including mobile agents

Ciancarini, P; Franze, F; Mascolo, C; (1998) A coordination model to specify systems including mobile agents. In: UNSPECIFIED (96 - 105). IEEE COMPUTER SOC

Full text not available from this repository.

Abstract

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 lime. 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.

Type:Book chapter
Title:A coordination model to specify systems including mobile agents
ISBN:0-8186-8439-9
UCL classification:UCL > School of BEAMS > Faculty of Engineering Science > Computer Science

Archive Staff Only: edit this record