We present TKLAIM (Topological KLAIM), a process description language that retains the main features of KLAIM (process distribution and mobility, remote and asynchronous communication through distributed data spaces), but extends it with new constructs to flexibly model the interconnection structure underlying a network and its evolution in time. We show how TKLAIM can be used to model a number of interesting distributed applications and how systems correctness can be guaranteed, also in the presence of failures, by exploiting observational equivalences to study the relationships between descriptions of systems at different levels of abstraction.
Global computing in a dynamic network of tuple spaces / R. DE NICOLA; D. GORLA; R. PUGLIESE. - In: SCIENCE OF COMPUTER PROGRAMMING. - ISSN 0167-6423. - STAMPA. - 64:(2007), pp. 187-204. [10.1016/j.scico.2006.06.004]
Global computing in a dynamic network of tuple spaces
PUGLIESE, ROSARIO
2007
Abstract
We present TKLAIM (Topological KLAIM), a process description language that retains the main features of KLAIM (process distribution and mobility, remote and asynchronous communication through distributed data spaces), but extends it with new constructs to flexibly model the interconnection structure underlying a network and its evolution in time. We show how TKLAIM can be used to model a number of interesting distributed applications and how systems correctness can be guaranteed, also in the presence of failures, by exploiting observational equivalences to study the relationships between descriptions of systems at different levels of abstraction.File | Dimensione | Formato | |
---|---|---|---|
07SCP-Global computing in a dynamic network of tuple spaces.pdf
Accesso chiuso
Tipologia:
Versione finale referata (Postprint, Accepted manuscript)
Licenza:
Tutti i diritti riservati
Dimensione
405.43 kB
Formato
Adobe PDF
|
405.43 kB | Adobe PDF | Richiedi una copia |
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.