Ciancarini, P.;
Franze, F.;
Mascolo, C.;
(1998)
A coordination model to specify systems including mobile agents.
In:
Proceedings 9th IEEE International Workshop on Software Specification and Design (IWSSD).
(pp. pp. 96-105).
IEEE Computer Society Press
![[thumbnail of coordination.pdf]](https://discovery.ucl.ac.uk/style/images/fileicons/application_pdf.png) Preview |
PDF
coordination.pdf Download (222kB) |
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 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.
| Type: | Proceedings paper |
|---|---|
| Title: | A coordination model to specify systems including mobile agents |
| Open access status: | An open access version is available from UCL Discovery |
| DOI: | 10.1109/IWSSD.1998.667924 |
| Publisher version: | http://doi.ieeecomputersociety.org/10.1109/IWSSD.1... |
| Language: | English |
| Additional information: | ©1998 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE. |
| URI: | https://discovery.ucl.ac.uk/id/eprint/729 |
Archive Staff Only
 |
View Item |
