A Language for Modeling Network Availability

Forskningsoutput: Kapitel i bok/konferenshandlingKonferensbidragVetenskapligPeer review

Sammanfattning

Computer networks have become ubiquitous in our society and thus, the various types
of resources hosted by them are becoming increasingly important. In this paper we
study the resource availability in networks by defining a dedicated middleware
language. This language is a conservative extension of the action system formalism,
a general state-based approach to modeling and analyzing distributed systems. Our
language formally treats aspects such as resource accessibility, replicated and homonym resources, their mobility, as well as node failure and maintenance in networks. The middleware approach motivates the separation of the views and formalisms used by the various roles such as the network user, the application developer, and the network manager.
OriginalspråkEngelska
Titel på gästpublikationProceedings of the 8th International Conference on Formal Methods (ICFEM06)
FörlagSpringer
Sidor639-659
Volym4260
StatusPublicerad - 2006
MoE-publikationstypA4 Artikel i en konferenspublikation

Publikationsserier

NamnLecture Notes in Computer Science
FörlagSpringer
Volym4260

Fingeravtryck

Fördjupa i forskningsämnen för ”A Language for Modeling Network Availability”. Tillsammans bildar de ett unikt fingeravtryck.

Citera det här